3 <!-- interface-requires gtk+ 2.16 -->
4 <!-- interface-naming-policy toplevel-contextual -->
5 <widget class="GtkWindow" id="output-viewer-window">
6 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
7 <property name="default_width">600</property>
8 <property name="default_height">400</property>
10 <widget class="GtkVBox" id="vbox1">
11 <property name="visible">True</property>
12 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
14 <widget class="GtkMenuBar" id="menubar1">
15 <property name="visible">True</property>
16 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
18 <widget class="GtkMenuItem" id="menuitem1">
19 <property name="sensitive">False</property>
20 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
21 <property name="label" translatable="yes">_File</property>
22 <property name="use_underline">True</property>
24 <widget class="GtkMenu" id="menu1">
25 <property name="visible">True</property>
26 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
28 <widget class="GtkMenuItem" id="file_export">
29 <property name="visible">True</property>
30 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
31 <property name="label" translatable="yes">_Export</property>
32 <property name="use_underline">True</property>
40 <widget class="GtkMenuItem" id="menuitem2">
41 <property name="sensitive">False</property>
42 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
43 <property name="label" translatable="yes">_Edit</property>
44 <property name="use_underline">True</property>
46 <widget class="GtkMenu" id="menu2">
47 <property name="visible">True</property>
48 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
50 <widget class="GtkImageMenuItem" id="imagemenuitem7">
51 <property name="label">gtk-copy</property>
52 <property name="visible">True</property>
53 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
54 <property name="use_underline">True</property>
55 <property name="use_stock">True</property>
63 <widget class="GtkMenuItem" id="windows_menuitem">
64 <property name="visible">True</property>
65 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
66 <property name="label" translatable="yes">_Windows</property>
67 <property name="use_underline">True</property>
69 <widget class="GtkMenu" id="windows_menu">
70 <property name="visible">True</property>
71 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
73 <widget class="GtkMenuItem" id="windows_minimise-all">
74 <property name="visible">True</property>
75 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
76 <property name="label" translatable="yes">_Minimize All Windows</property>
77 <property name="use_underline">True</property>
85 <widget class="GtkMenuItem" id="menuitem9">
86 <property name="visible">True</property>
87 <property name="label" translatable="yes">_Help</property>
88 <property name="use_underline">True</property>
90 <widget class="GtkMenu" id="menuitem9_menu">
92 <widget class="GtkMenuItem" id="help_reference">
93 <property name="visible">True</property>
94 <property name="label" translatable="yes">_Reference Manual</property>
95 <property name="use_underline">True</property>
99 <widget class="GtkMenuItem" id="help_about">
100 <property name="visible">True</property>
101 <property name="label" translatable="yes">_About</property>
102 <property name="use_underline">True</property>
111 <property name="expand">False</property>
112 <property name="position">0</property>
116 <widget class="GtkHPaned" id="hpaned1">
117 <property name="visible">True</property>
118 <property name="can_focus">True</property>
119 <property name="position">112</property>
120 <property name="position_set">True</property>
122 <widget class="GtkScrolledWindow" id="scrolledwindow2">
123 <property name="visible">True</property>
124 <property name="can_focus">True</property>
125 <property name="hscrollbar_policy">automatic</property>
126 <property name="vscrollbar_policy">automatic</property>
128 <widget class="GtkTreeView" id="overview">
129 <property name="visible">True</property>
130 <property name="can_focus">True</property>
131 <property name="headers_visible">False</property>
136 <property name="resize">False</property>
137 <property name="shrink">True</property>
141 <widget class="GtkScrolledWindow" id="scrolledwindow1">
142 <property name="visible">True</property>
143 <property name="can_focus">True</property>
144 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
145 <property name="hscrollbar_policy">automatic</property>
146 <property name="vscrollbar_policy">automatic</property>
148 <widget class="GtkLayout" id="output">
149 <property name="visible">True</property>
150 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
155 <property name="resize">True</property>
156 <property name="shrink">True</property>
161 <property name="position">1</property>