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">gtk-print</property>
19 <object class="GtkAction" id="file_export">
20 <property name="name">file_export</property>
21 <property name="stock-id">gtk-convert</property>
22 <property name="label" translatable="yes">_Export</property>
26 <object class="GtkAction" id="menuitem2">
27 <property name="name">menuitem2</property>
28 <property name="label" translatable="yes">_Edit</property>
32 <object class="GtkAction" id="edit_copy">
33 <property name="stock-id">gtk-copy</property>
34 <property name="name">edit_copy</property>
38 <object class="GtkAction" id="windows_menuitem">
39 <property name="name">windows_menuitem</property>
40 <property name="label" translatable="yes">_Windows</property>
44 <object class="GtkAction" id="windows_minimise-all">
45 <property name="name">windows_minimise-all</property>
46 <property name="label" translatable="yes">_Minimize All Windows</property>
52 <menubar name="menubar">
53 <menu action="menuitem1">
54 <menuitem action="file_export"/>
55 <menuitem action="file_print"/>
57 <menu action="menuitem2">
58 <menuitem action="edit_copy"/>
60 <menu action="windows_menuitem">
61 <menuitem action="windows_minimise-all"/>
66 <!-- interface-requires gtk+ 2.16 -->
67 <!-- interface-naming-policy toplevel-contextual -->
68 <object class="GtkWindow" id="output-viewer-window">
69 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
70 <property name="default_width">600</property>
71 <property name="default_height">400</property>
73 <object class="GtkVBox" id="vbox1">
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>
77 <object class="GtkMenuBar" constructor="uimanager1" id="menubar">
78 <property name="visible">True</property>
79 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
82 <property name="expand">False</property>
83 <property name="position">0</property>
87 <object class="GtkHPaned" id="hpaned1">
88 <property name="visible">True</property>
89 <property name="can_focus">True</property>
90 <property name="position">112</property>
91 <property name="position_set">True</property>
93 <object class="GtkScrolledWindow" id="scrolledwindow2">
94 <property name="visible">True</property>
95 <property name="can_focus">True</property>
96 <property name="hscrollbar_policy">automatic</property>
97 <property name="vscrollbar_policy">automatic</property>
99 <object class="GtkTreeView" id="overview">
100 <property name="visible">True</property>
101 <property name="can_focus">True</property>
102 <property name="headers_visible">False</property>
107 <property name="resize">False</property>
108 <property name="shrink">True</property>
112 <object class="GtkScrolledWindow" id="scrolledwindow1">
113 <property name="visible">True</property>
114 <property name="can_focus">True</property>
115 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
116 <property name="hscrollbar_policy">automatic</property>
117 <property name="vscrollbar_policy">automatic</property>
119 <object class="GtkLayout" id="output">
120 <property name="visible">True</property>
121 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
126 <property name="resize">True</property>
127 <property name="shrink">True</property>
132 <property name="position">1</property>