gui: Factor out duplicated code for executing and pasting syntax.
[pspp] / src / ui / gui / examine.ui
1 <?xml version="1.0"?>
2 <interface>
3   <!-- interface-requires gtk+ 2.12 -->
4   <requires lib="psppire" version="2054.17080"/>
5   <!-- interface-naming-policy project-wide -->
6   <object class="PsppireDialog" id="examine-dialog">
7     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
8     <property name="title" translatable="yes">Explore</property>
9     <property name="modal">True</property>
10     <child internal-child="hbox">
11       <object class="GtkHBox" id="dialog-hbox1">
12         <property name="visible">True</property>
13         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
14         <property name="spacing">2</property>
15         <child>
16           <object class="GtkVBox" id="vbox1">
17             <property name="visible">True</property>
18             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
19             <property name="orientation">vertical</property>
20             <property name="spacing">5</property>
21             <child>
22               <object class="GtkTable" id="table1">
23                 <property name="visible">True</property>
24                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
25                 <property name="n_rows">3</property>
26                 <property name="n_columns">3</property>
27                 <child>
28                   <object class="GtkFrame" id="frame3">
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_xalign">0</property>
32                     <property name="shadow_type">none</property>
33                     <child>
34                       <object class="GtkAlignment" id="alignment3">
35                         <property name="visible">True</property>
36                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
37                         <property name="left_padding">12</property>
38                         <child>
39                           <object class="GtkEntry" id="entry1">
40                             <property name="visible">True</property>
41                             <property name="can_focus">True</property>
42                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
43                           </object>
44                         </child>
45                       </object>
46                     </child>
47                     <child type="label">
48                       <object class="GtkLabel" id="label3">
49                         <property name="visible">True</property>
50                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
51                         <property name="label" translatable="yes">Label Cases by:</property>
52                         <property name="use_markup">True</property>
53                       </object>
54                     </child>
55                   </object>
56                   <packing>
57                     <property name="left_attach">2</property>
58                     <property name="right_attach">3</property>
59                     <property name="top_attach">2</property>
60                     <property name="bottom_attach">3</property>
61                     <property name="y_options">GTK_FILL</property>
62                   </packing>
63                 </child>
64                 <child>
65                   <object class="GtkFrame" id="frame2">
66                     <property name="visible">True</property>
67                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
68                     <property name="label_xalign">0</property>
69                     <property name="shadow_type">none</property>
70                     <child>
71                       <object class="GtkAlignment" id="alignment2">
72                         <property name="visible">True</property>
73                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
74                         <property name="left_padding">12</property>
75                         <child>
76                           <object class="GtkScrolledWindow" id="scrolledwindow3">
77                             <property name="visible">True</property>
78                             <property name="can_focus">True</property>
79                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
80                             <property name="hscrollbar_policy">never</property>
81                             <property name="vscrollbar_policy">automatic</property>
82                             <property name="shadow_type">etched-in</property>
83                             <child>
84                               <object class="PsppireVarView" id="treeview3">
85                                 <property name="visible">True</property>
86                                 <property name="can_focus">True</property>
87                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
88                                 <property name="headers_visible">False</property>
89                               </object>
90                             </child>
91                           </object>
92                         </child>
93                       </object>
94                     </child>
95                     <child type="label">
96                       <object class="GtkLabel" id="label2">
97                         <property name="visible">True</property>
98                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
99                         <property name="label" translatable="yes">Factor List:</property>
100                         <property name="use_markup">True</property>
101                       </object>
102                     </child>
103                   </object>
104                   <packing>
105                     <property name="left_attach">2</property>
106                     <property name="right_attach">3</property>
107                     <property name="top_attach">1</property>
108                     <property name="bottom_attach">2</property>
109                   </packing>
110                 </child>
111                 <child>
112                   <object class="GtkFrame" id="frame1">
113                     <property name="visible">True</property>
114                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
115                     <property name="label_xalign">0</property>
116                     <property name="shadow_type">none</property>
117                     <child>
118                       <object class="GtkAlignment" id="alignment1">
119                         <property name="visible">True</property>
120                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
121                         <property name="left_padding">12</property>
122                         <child>
123                           <object class="GtkScrolledWindow" id="scrolledwindow2">
124                             <property name="visible">True</property>
125                             <property name="can_focus">True</property>
126                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
127                             <property name="hscrollbar_policy">never</property>
128                             <property name="vscrollbar_policy">automatic</property>
129                             <property name="shadow_type">etched-in</property>
130                             <child>
131                               <object class="PsppireVarView" id="treeview2">
132                                 <property name="visible">True</property>
133                                 <property name="can_focus">True</property>
134                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
135                                 <property name="headers_visible">False</property>
136                               </object>
137                             </child>
138                           </object>
139                         </child>
140                       </object>
141                     </child>
142                     <child type="label">
143                       <object class="GtkLabel" id="label1">
144                         <property name="visible">True</property>
145                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
146                         <property name="label" translatable="yes">Dependent List:</property>
147                         <property name="use_markup">True</property>
148                       </object>
149                     </child>
150                   </object>
151                   <packing>
152                     <property name="left_attach">2</property>
153                     <property name="right_attach">3</property>
154                   </packing>
155                 </child>
156                 <child>
157                   <object class="PsppireSelector" id="psppire-selector3">
158                     <property name="visible">True</property>
159                     <property name="can_focus">True</property>
160                     <property name="receives_default">True</property>
161                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
162                     <property name="border_width">5</property>
163                     <property name="source_widget">treeview1</property>
164                     <property name="dest_widget">entry1</property>
165                   </object>
166                   <packing>
167                     <property name="left_attach">1</property>
168                     <property name="right_attach">2</property>
169                     <property name="top_attach">2</property>
170                     <property name="bottom_attach">3</property>
171                     <property name="x_options"></property>
172                     <property name="y_options"></property>
173                   </packing>
174                 </child>
175                 <child>
176                   <object class="PsppireSelector" id="psppire-selector2">
177                     <property name="visible">True</property>
178                     <property name="can_focus">True</property>
179                     <property name="receives_default">True</property>
180                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
181                     <property name="border_width">5</property>
182                     <property name="source_widget">treeview1</property>
183                     <property name="dest_widget">treeview3</property>
184                   </object>
185                   <packing>
186                     <property name="left_attach">1</property>
187                     <property name="right_attach">2</property>
188                     <property name="top_attach">1</property>
189                     <property name="bottom_attach">2</property>
190                     <property name="x_options"></property>
191                     <property name="y_options"></property>
192                   </packing>
193                 </child>
194                 <child>
195                   <object class="PsppireSelector" id="psppire-selector1">
196                     <property name="visible">True</property>
197                     <property name="can_focus">True</property>
198                     <property name="receives_default">True</property>
199                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
200                     <property name="border_width">5</property>
201                     <property name="primary">True</property>
202                     <property name="source_widget">treeview1</property>
203                     <property name="dest_widget">treeview2</property>
204                   </object>
205                   <packing>
206                     <property name="left_attach">1</property>
207                     <property name="right_attach">2</property>
208                     <property name="x_options"></property>
209                     <property name="y_options"></property>
210                   </packing>
211                 </child>
212                 <child>
213                   <object class="GtkScrolledWindow" id="scrolledwindow1">
214                     <property name="visible">True</property>
215                     <property name="can_focus">True</property>
216                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
217                     <property name="hscrollbar_policy">never</property>
218                     <property name="vscrollbar_policy">automatic</property>
219                     <property name="shadow_type">etched-in</property>
220                     <child>
221                       <object class="PsppireDictView" id="treeview1">
222                         <property name="visible">True</property>
223                         <property name="can_focus">True</property>
224                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
225                         <property name="headers_visible">False</property>
226                       </object>
227                     </child>
228                   </object>
229                   <packing>
230                     <property name="bottom_attach">3</property>
231                   </packing>
232                 </child>
233               </object>
234               <packing>
235                 <property name="position">0</property>
236               </packing>
237             </child>
238             <child>
239               <object class="GtkHButtonBox" id="hbuttonbox1">
240                 <property name="visible">True</property>
241                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
242                 <property name="layout_style">spread</property>
243                 <child>
244                   <object class="GtkButton" id="stats-button">
245                     <property name="label" translatable="yes">Statistics...</property>
246                     <property name="visible">True</property>
247                     <property name="can_focus">True</property>
248                     <property name="receives_default">True</property>
249                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
250                   </object>
251                   <packing>
252                     <property name="expand">False</property>
253                     <property name="fill">False</property>
254                     <property name="position">0</property>
255                   </packing>
256                 </child>
257                 <child>
258                   <object class="GtkButton" id="opts-button">
259                     <property name="label" translatable="yes">Options...</property>
260                     <property name="visible">True</property>
261                     <property name="can_focus">True</property>
262                     <property name="receives_default">True</property>
263                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
264                   </object>
265                   <packing>
266                     <property name="expand">False</property>
267                     <property name="fill">False</property>
268                     <property name="position">1</property>
269                   </packing>
270                 </child>
271               </object>
272               <packing>
273                 <property name="expand">False</property>
274                 <property name="fill">False</property>
275                 <property name="padding">5</property>
276                 <property name="position">1</property>
277               </packing>
278             </child>
279           </object>
280           <packing>
281             <property name="position">0</property>
282           </packing>
283         </child>
284         <child>
285           <object class="PsppireVButtonBox" id="psppire-vbuttonbox1">
286             <property name="visible">True</property>
287             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
288             <property name="border_width">5</property>
289           </object>
290           <packing>
291             <property name="expand">False</property>
292             <property name="fill">False</property>
293             <property name="pack_type">end</property>
294             <property name="position">1</property>
295           </packing>
296         </child>
297       </object>
298     </child>
299   </object>
300   <object class="PsppireDialog" id="statistics-dialog">
301     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
302     <property name="title" translatable="yes">Explore: Statistics</property>
303     <property name="modal">True</property>
304     <property name="orientation">Vertical</property>
305     <child internal-child="hbox">
306       <object class="GtkVBox" id="dialog-hbox2">
307         <property name="visible">True</property>
308         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
309         <property name="orientation">vertical</property>
310         <property name="spacing">2</property>
311         <child>
312           <object class="GtkVBox" id="vbox2">
313             <property name="visible">True</property>
314             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
315             <property name="orientation">vertical</property>
316             <property name="homogeneous">True</property>
317             <child>
318               <object class="GtkCheckButton" id="descriptives-button">
319                 <property name="label" translatable="yes">Descriptives</property>
320                 <property name="visible">True</property>
321                 <property name="can_focus">True</property>
322                 <property name="receives_default">False</property>
323                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
324                 <property name="draw_indicator">True</property>
325               </object>
326               <packing>
327                 <property name="position">0</property>
328               </packing>
329             </child>
330             <child>
331               <object class="GtkCheckButton" id="extremes-button">
332                 <property name="label" translatable="yes">Extremes</property>
333                 <property name="visible">True</property>
334                 <property name="can_focus">True</property>
335                 <property name="receives_default">False</property>
336                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
337                 <property name="draw_indicator">True</property>
338               </object>
339               <packing>
340                 <property name="position">1</property>
341               </packing>
342             </child>
343             <child>
344               <object class="GtkCheckButton" id="percentiles-button">
345                 <property name="label" translatable="yes">Percentiles</property>
346                 <property name="visible">True</property>
347                 <property name="can_focus">True</property>
348                 <property name="receives_default">False</property>
349                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
350                 <property name="draw_indicator">True</property>
351               </object>
352               <packing>
353                 <property name="position">2</property>
354               </packing>
355             </child>
356           </object>
357           <packing>
358             <property name="position">0</property>
359           </packing>
360         </child>
361         <child>
362           <object class="PsppireHButtonBox" id="psppire-hbuttonbox1">
363             <property name="visible">True</property>
364             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
365             <property name="border_width">5</property>
366             <property name="layout_style">spread</property>
367             <property name="buttons">PSPPIRE_BUTTON_CONTINUE_MASK | PSPPIRE_BUTTON_CANCEL_MASK | PSPPIRE_BUTTON_HELP_MASK</property>
368           </object>
369           <packing>
370             <property name="expand">False</property>
371             <property name="fill">False</property>
372             <property name="pack_type">end</property>
373             <property name="position">1</property>
374           </packing>
375         </child>
376       </object>
377     </child>
378   </object>
379   <object class="PsppireDialog" id="options-dialog">
380     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
381     <property name="title" translatable="yes">Explore: Options</property>
382     <property name="modal">True</property>
383     <child internal-child="hbox">
384       <object class="GtkHBox" id="dialog-hbox3">
385         <property name="visible">True</property>
386         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
387         <property name="spacing">2</property>
388         <child>
389           <object class="GtkFrame" id="frame5">
390             <property name="visible">True</property>
391             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
392             <property name="label_xalign">0</property>
393             <child>
394               <object class="GtkAlignment" id="alignment5">
395                 <property name="visible">True</property>
396                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
397                 <property name="left_padding">12</property>
398                 <child>
399                   <object class="GtkVBox" id="vbox4">
400                     <property name="visible">True</property>
401                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
402                     <property name="orientation">vertical</property>
403                     <child>
404                       <object class="GtkRadioButton" id="radiobutton1">
405                         <property name="label" translatable="yes">Exclude cases listwise</property>
406                         <property name="visible">True</property>
407                         <property name="can_focus">True</property>
408                         <property name="receives_default">False</property>
409                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
410                         <property name="active">True</property>
411                         <property name="draw_indicator">True</property>
412                       </object>
413                       <packing>
414                         <property name="position">0</property>
415                       </packing>
416                     </child>
417                     <child>
418                       <object class="GtkRadioButton" id="radiobutton2">
419                         <property name="label" translatable="yes">Exclude cases pairwise</property>
420                         <property name="visible">True</property>
421                         <property name="can_focus">True</property>
422                         <property name="receives_default">False</property>
423                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
424                         <property name="active">True</property>
425                         <property name="draw_indicator">True</property>
426                         <property name="group">radiobutton1</property>
427                       </object>
428                       <packing>
429                         <property name="position">1</property>
430                       </packing>
431                     </child>
432                     <child>
433                       <object class="GtkRadioButton" id="radiobutton3">
434                         <property name="label" translatable="yes">Repeat values</property>
435                         <property name="visible">True</property>
436                         <property name="can_focus">True</property>
437                         <property name="receives_default">False</property>
438                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
439                         <property name="active">True</property>
440                         <property name="draw_indicator">True</property>
441                         <property name="group">radiobutton1</property>
442                       </object>
443                       <packing>
444                         <property name="position">2</property>
445                       </packing>
446                     </child>
447                   </object>
448                 </child>
449               </object>
450             </child>
451             <child type="label">
452               <object class="GtkLabel" id="label5">
453                 <property name="visible">True</property>
454                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
455                 <property name="label" translatable="yes">Missing Values</property>
456                 <property name="use_markup">True</property>
457               </object>
458             </child>
459           </object>
460           <packing>
461             <property name="position">0</property>
462           </packing>
463         </child>
464         <child>
465           <object class="PsppireVButtonBox" id="psppire-vbuttonbox2">
466             <property name="visible">True</property>
467             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
468             <property name="border_width">5</property>
469             <property name="buttons">PSPPIRE_BUTTON_CONTINUE_MASK | PSPPIRE_BUTTON_CANCEL_MASK | PSPPIRE_BUTTON_HELP_MASK</property>
470           </object>
471           <packing>
472             <property name="expand">False</property>
473             <property name="fill">False</property>
474             <property name="pack_type">end</property>
475             <property name="position">1</property>
476           </packing>
477         </child>
478       </object>
479     </child>
480   </object>
481 </interface>