3 <object class="GtkUIManager" id="uimanager1">
5 <object class="GtkActionGroup" id="actiongroup1">
7 <object class="GtkAction" id="menuitem1">
8 <property name="name">menuitem1</property>
9 <property name="label" translatable="yes">_File</property>
13 <object class="GtkAction" id="file_print">
14 <property name="name">file_print</property>
15 <property name="stock-id">file-print</property>
16 <property name="label" translatable="yes">_Print...</property>
20 <object class="GtkAction" id="file_export">
21 <property name="name">file_export</property>
22 <property name="stock-id">file-export-data</property>
23 <property name="label" translatable="yes">_Export...</property>
27 <object class="GtkAction" id="menuitem2">
28 <property name="name">menuitem2</property>
29 <property name="label" translatable="yes">_Edit</property>
33 <object class="GtkAction" id="edit_select-all">
34 <property name="name">edit_select-all</property>
35 <property name="stock-id">edit-select-all</property>
39 <object class="GtkAction" id="edit_copy">
40 <property name="stock-id">edit-copy</property>
41 <property name="name">edit_copy</property>
45 <object class="GtkAction" id="windows_menuitem">
46 <property name="name">windows_menuitem</property>
47 <property name="label" translatable="yes">_Windows</property>
51 <object class="GtkAction" id="windows_minimise-all">
52 <property name="stock-id">windows-minimize-all</property>
53 <property name="name">windows_minimise-all</property>
54 <property name="label" translatable="yes">_Minimize All Windows</property>
60 <menubar name="menubar">
61 <menu action="menuitem1">
62 <menuitem action="file_export"/>
63 <menuitem action="file_print"/>
65 <menu action="menuitem2">
66 <menuitem action="edit_copy"/>
67 <menuitem action="edit_select-all"/>
69 <menu action="windows_menuitem">
70 <menuitem action="windows_minimise-all"/>
75 <!-- interface-requires gtk+ 2.16 -->
76 <!-- interface-naming-policy toplevel-contextual -->
77 <object class="GtkWindow" id="output-viewer-window">
78 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
79 <property name="default_width">600</property>
80 <property name="default_height">400</property>
82 <object class="GtkVBox" id="vbox1">
83 <property name="visible">True</property>
84 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
86 <object class="GtkMenuBar" constructor="uimanager1" id="menubar">
87 <property name="visible">True</property>
88 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
91 <property name="expand">False</property>
92 <property name="position">0</property>
96 <object class="GtkHPaned" id="hpaned1">
97 <property name="visible">True</property>
98 <property name="can_focus">True</property>
99 <property name="position">112</property>
100 <property name="position_set">True</property>
102 <object class="GtkScrolledWindow" id="scrolledwindow2">
103 <property name="visible">True</property>
104 <property name="can_focus">True</property>
105 <property name="hscrollbar_policy">automatic</property>
106 <property name="vscrollbar_policy">automatic</property>
108 <object class="GtkTreeView" id="overview">
109 <property name="visible">True</property>
110 <property name="can_focus">True</property>
111 <property name="headers_visible">False</property>
116 <property name="resize">False</property>
117 <property name="shrink">True</property>
121 <object class="GtkScrolledWindow" id="scrolledwindow1">
122 <property name="visible">True</property>
123 <property name="can_focus">True</property>
124 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
125 <property name="hscrollbar_policy">automatic</property>
126 <property name="vscrollbar_policy">automatic</property>
128 <object class="GtkLayout" id="output">
129 <property name="visible">True</property>
130 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
135 <property name="resize">True</property>
136 <property name="shrink">True</property>
141 <property name="position">1</property>