gui: Factor out duplicated code for executing and pasting syntax.
[pspp] / src / ui / gui / output-viewer.ui
1 <?xml version="1.0"?>
2 <interface>
3   <object class="GtkUIManager" id="uimanager1">
4     <child>
5       <object class="GtkActionGroup" id="actiongroup1">
6         <child>
7           <object class="GtkAction" id="menuitem1">
8             <property name="name">menuitem1</property>
9             <property name="label" translatable="yes">_File</property>
10           </object>
11         </child>
12         <child>
13           <object class="GtkAction" id="file_print">
14             <property name="name">file_print</property>
15             <property name="stock-id">gtk-print</property>
16           </object>
17         </child>
18         <child>
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>
23           </object>
24         </child>
25         <child>
26           <object class="GtkAction" id="menuitem2">
27             <property name="name">menuitem2</property>
28             <property name="label" translatable="yes">_Edit</property>
29           </object>
30         </child>
31         <child>
32           <object class="GtkAction" id="edit_select-all">
33             <property name="name">edit_select-all</property>
34             <property name="stock-id">gtk-select-all</property>
35           </object>
36         </child>
37         <child>
38           <object class="GtkAction" id="edit_copy">
39             <property name="stock-id">gtk-copy</property>
40             <property name="name">edit_copy</property>
41           </object>
42         </child>
43         <child>
44           <object class="GtkAction" id="windows_menuitem">
45             <property name="name">windows_menuitem</property>
46             <property name="label" translatable="yes">_Windows</property>
47           </object>
48         </child>
49         <child>
50           <object class="GtkAction" id="windows_minimise-all">
51             <property name="name">windows_minimise-all</property>
52             <property name="label" translatable="yes">_Minimize All Windows</property>
53           </object>
54         </child>
55       </object>
56     </child>
57     <ui>
58       <menubar name="menubar">
59         <menu action="menuitem1">
60           <menuitem action="file_export"/>
61           <menuitem action="file_print"/>
62         </menu>
63         <menu action="menuitem2">
64           <menuitem action="edit_copy"/>
65           <menuitem action="edit_select-all"/>
66         </menu>
67         <menu action="windows_menuitem">
68           <menuitem action="windows_minimise-all"/>
69         </menu>
70       </menubar>
71     </ui>
72   </object>
73   <!-- interface-requires gtk+ 2.16 -->
74   <!-- interface-naming-policy toplevel-contextual -->
75   <object class="GtkWindow" id="output-viewer-window">
76     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
77     <property name="default_width">600</property>
78     <property name="default_height">400</property>
79     <child>
80       <object class="GtkVBox" id="vbox1">
81         <property name="visible">True</property>
82         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
83         <child>
84           <object class="GtkMenuBar" constructor="uimanager1" id="menubar">
85             <property name="visible">True</property>
86             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
87           </object>
88           <packing>
89             <property name="expand">False</property>
90             <property name="position">0</property>
91           </packing>
92         </child>
93         <child>
94           <object class="GtkHPaned" id="hpaned1">
95             <property name="visible">True</property>
96             <property name="can_focus">True</property>
97             <property name="position">112</property>
98             <property name="position_set">True</property>
99             <child>
100               <object class="GtkScrolledWindow" id="scrolledwindow2">
101                 <property name="visible">True</property>
102                 <property name="can_focus">True</property>
103                 <property name="hscrollbar_policy">automatic</property>
104                 <property name="vscrollbar_policy">automatic</property>
105                 <child>
106                   <object class="GtkTreeView" id="overview">
107                     <property name="visible">True</property>
108                     <property name="can_focus">True</property>
109                     <property name="headers_visible">False</property>
110                   </object>
111                 </child>
112               </object>
113               <packing>
114                 <property name="resize">False</property>
115                 <property name="shrink">True</property>
116               </packing>
117             </child>
118             <child>
119               <object class="GtkScrolledWindow" id="scrolledwindow1">
120                 <property name="visible">True</property>
121                 <property name="can_focus">True</property>
122                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
123                 <property name="hscrollbar_policy">automatic</property>
124                 <property name="vscrollbar_policy">automatic</property>
125                 <child>
126                   <object class="GtkLayout" id="output">
127                     <property name="visible">True</property>
128                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
129                   </object>
130                 </child>
131               </object>
132               <packing>
133                 <property name="resize">True</property>
134                 <property name="shrink">True</property>
135               </packing>
136             </child>
137           </object>
138           <packing>
139             <property name="position">1</property>
140           </packing>
141         </child>
142       </object>
143     </child>
144   </object>
145 </interface>