PsppireSelector: new properties: "source-widget" and "dest-widget".
[pspp-builds.git] / src / ui / gui / psppire.ui
1 <?xml version="1.0"?>
2 <interface>
3   <requires lib="psppire" version="2054.17080"/>
4   <!-- interface-requires gtk+ 2.12 -->
5   <!-- interface-naming-policy project-wide -->
6   <object class="PsppireDialog" id="weight-cases-dialog">
7     <property name="title">Weight Cases</property>
8     <property name="modal">True</property>
9     <child internal-child="hbox">
10       <object class="GtkHBox" id="dialog-hbox2">
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 | GDK_ENTER_NOTIFY_MASK</property>
13         <property name="spacing">2</property>
14         <child>
15           <object class="GtkHBox" id="hbox4">
16             <property name="visible">True</property>
17             <child>
18               <object class="GtkScrolledWindow" id="scrolledwindow1">
19                 <property name="visible">True</property>
20                 <property name="can_focus">False</property>
21                 <property name="hscrollbar_policy">never</property>
22                 <property name="vscrollbar_policy">automatic</property>
23                 <property name="shadow_type">etched-in</property>
24                 <child>
25                   <object class="PsppireDictView" id="weight-cases-treeview">
26                     <property name="visible">True</property>
27                     <property name="headers_visible">False</property>
28                     <property name="fixed_height_mode">True</property>
29                   </object>
30                 </child>
31               </object>
32               <packing>
33                 <property name="position">0</property>
34               </packing>
35             </child>
36             <child>
37               <object class="GtkVBox" id="vbox4">
38                 <property name="visible">True</property>
39                 <property name="orientation">vertical</property>
40                 <child>
41                   <object class="GtkFrame" id="frame1">
42                     <property name="visible">True</property>
43                     <property name="border_width">5</property>
44                     <property name="label_xalign">0</property>
45                     <child>
46                       <object class="GtkVBox" id="vbox2">
47                         <property name="visible">True</property>
48                         <property name="border_width">5</property>
49                         <property name="orientation">vertical</property>
50                         <child>
51                           <object class="GtkRadioButton" id="weight-cases-radiobutton1">
52                             <property name="label" translatable="yes">Do not weight cases</property>
53                             <property name="visible">True</property>
54                             <property name="can_focus">False</property>
55                             <property name="receives_default">False</property>
56                             <property name="focus_on_click">False</property>
57                             <property name="active">True</property>
58                             <property name="draw_indicator">True</property>
59                           </object>
60                           <packing>
61                             <property name="position">0</property>
62                           </packing>
63                         </child>
64                         <child>
65                           <object class="GtkRadioButton" id="radiobutton2">
66                             <property name="label" translatable="yes">Weight cases by</property>
67                             <property name="visible">True</property>
68                             <property name="sensitive">False</property>
69                             <property name="can_focus">False</property>
70                             <property name="receives_default">False</property>
71                             <property name="focus_on_click">False</property>
72                             <property name="draw_indicator">True</property>
73                             <property name="group">weight-cases-radiobutton1</property>
74                           </object>
75                           <packing>
76                             <property name="position">1</property>
77                           </packing>
78                         </child>
79                         <child>
80                           <object class="GtkHBox" id="hbox3">
81                             <property name="visible">True</property>
82                             <child>
83                               <object class="PsppireSelector" id="weight-cases-selector">
84                                 <property name="visible">True</property>
85                                 <property name="can_focus">False</property>
86                                 <property name="receives_default">False</property>
87                                 <property name="border_width">5</property>
88                                 <property name="source_widget">weight-cases-treeview</property>
89                                 <property name="dest_widget">weight-cases-entry</property>
90                               </object>
91                               <packing>
92                                 <property name="position">0</property>
93                               </packing>
94                             </child>
95                             <child>
96                               <object class="GtkVBox" id="vbox3">
97                                 <property name="visible">True</property>
98                                 <property name="orientation">vertical</property>
99                                 <child>
100                                   <object class="GtkLabel" id="label3">
101                                     <property name="visible">True</property>
102                                     <property name="label" translatable="yes">Frequency Variable</property>
103                                   </object>
104                                   <packing>
105                                     <property name="position">0</property>
106                                   </packing>
107                                 </child>
108                                 <child>
109                                   <object class="GtkEntry" id="weight-cases-entry">
110                                     <property name="visible">True</property>
111                                   </object>
112                                   <packing>
113                                     <property name="position">1</property>
114                                   </packing>
115                                 </child>
116                               </object>
117                               <packing>
118                                 <property name="position">1</property>
119                               </packing>
120                             </child>
121                           </object>
122                           <packing>
123                             <property name="expand">False</property>
124                             <property name="fill">False</property>
125                             <property name="position">2</property>
126                           </packing>
127                         </child>
128                       </object>
129                     </child>
130                     <child type="label_item">
131                       <placeholder/>
132                     </child>
133                   </object>
134                   <packing>
135                     <property name="position">0</property>
136                   </packing>
137                 </child>
138                 <child>
139                   <object class="GtkHBox" id="hbox2">
140                     <property name="visible">True</property>
141                     <child>
142                       <object class="GtkLabel" id="label2">
143                         <property name="visible">True</property>
144                         <property name="xalign">1</property>
145                         <property name="label" translatable="yes">Current Status: </property>
146                       </object>
147                       <packing>
148                         <property name="position">0</property>
149                       </packing>
150                     </child>
151                     <child>
152                       <object class="GtkLabel" id="weight-status-label">
153                         <property name="visible">True</property>
154                         <property name="xalign">0</property>
155                         <property name="label" translatable="yes">Do not weight cases</property>
156                       </object>
157                       <packing>
158                         <property name="position">1</property>
159                       </packing>
160                     </child>
161                   </object>
162                   <packing>
163                     <property name="position">1</property>
164                   </packing>
165                 </child>
166               </object>
167               <packing>
168                 <property name="expand">False</property>
169                 <property name="fill">False</property>
170                 <property name="position">1</property>
171               </packing>
172             </child>
173           </object>
174           <packing>
175             <property name="padding">5</property>
176             <property name="position">0</property>
177           </packing>
178         </child>
179         <child>
180           <object class="PsppireVButtonBox" id="psppire-buttonbox1">
181             <property name="visible">True</property>
182             <property name="border_width">5</property>
183           </object>
184           <packing>
185             <property name="expand">False</property>
186             <property name="fill">False</property>
187             <property name="pack_type">end</property>
188             <property name="position">1</property>
189           </packing>
190         </child>
191       </object>
192     </child>
193   </object>
194   <object class="PsppireDialog" id="transpose-dialog">
195     <property name="title">Transpose</property>
196     <property name="modal">True</property>
197     <child internal-child="hbox">
198       <object class="GtkHBox" id="dialog-hbox1">
199         <property name="visible">True</property>
200         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK | GDK_ENTER_NOTIFY_MASK</property>
201         <property name="spacing">2</property>
202         <child>
203           <object class="GtkHBox" id="hbox1">
204             <property name="visible">True</property>
205             <child>
206               <object class="GtkFrame" id="frame3">
207                 <property name="visible">True</property>
208                 <property name="label_xalign">0</property>
209                 <property name="shadow_type">in</property>
210                 <child>
211                   <object class="GtkScrolledWindow" id="scrolledwindow3">
212                     <property name="visible">True</property>
213                     <property name="can_focus">False</property>
214                     <property name="hscrollbar_policy">never</property>
215                     <property name="vscrollbar_policy">automatic</property>
216                     <child>
217                       <object class="PsppireDictView" id="source-treeview">
218                         <property name="visible">True</property>
219                         <property name="headers_visible">False</property>
220                       </object>
221                     </child>
222                   </object>
223                 </child>
224                 <child type="label_item">
225                   <placeholder/>
226                 </child>
227               </object>
228               <packing>
229                 <property name="position">0</property>
230               </packing>
231             </child>
232             <child>
233               <object class="GtkTable" id="table2">
234                 <property name="visible">True</property>
235                 <property name="n_rows">2</property>
236                 <property name="n_columns">2</property>
237                 <property name="column_spacing">5</property>
238                 <property name="row_spacing">5</property>
239                 <child>
240                   <object class="GtkVBox" id="vbox5">
241                     <property name="visible">True</property>
242                     <property name="orientation">vertical</property>
243                     <child>
244                       <object class="GtkLabel" id="label4">
245                         <property name="visible">True</property>
246                         <property name="xalign">0</property>
247                         <property name="label" translatable="yes">Name Variable:</property>
248                       </object>
249                       <packing>
250                         <property name="expand">False</property>
251                         <property name="fill">False</property>
252                         <property name="position">0</property>
253                       </packing>
254                     </child>
255                     <child>
256                       <object class="GtkEntry" id="new-name-entry">
257                         <property name="visible">True</property>
258                       </object>
259                       <packing>
260                         <property name="expand">False</property>
261                         <property name="fill">False</property>
262                         <property name="position">1</property>
263                       </packing>
264                     </child>
265                   </object>
266                   <packing>
267                     <property name="left_attach">1</property>
268                     <property name="right_attach">2</property>
269                     <property name="top_attach">1</property>
270                     <property name="bottom_attach">2</property>
271                     <property name="y_options"></property>
272                   </packing>
273                 </child>
274                 <child>
275                   <object class="GtkVBox" id="vbox1">
276                     <property name="visible">True</property>
277                     <property name="orientation">vertical</property>
278                     <child>
279                       <object class="GtkLabel" id="label1">
280                         <property name="visible">True</property>
281                         <property name="xalign">0</property>
282                         <property name="label" translatable="yes">Variable(s):</property>
283                       </object>
284                       <packing>
285                         <property name="expand">False</property>
286                         <property name="fill">False</property>
287                         <property name="position">0</property>
288                       </packing>
289                     </child>
290                     <child>
291                       <object class="GtkFrame" id="frame2">
292                         <property name="visible">True</property>
293                         <property name="label_xalign">0</property>
294                         <property name="shadow_type">in</property>
295                         <child>
296                           <object class="GtkScrolledWindow" id="scrolledwindow2">
297                             <property name="visible">True</property>
298                             <property name="can_focus">False</property>
299                             <property name="hscrollbar_policy">never</property>
300                             <property name="vscrollbar_policy">automatic</property>
301                             <child>
302                               <object class="GtkTreeView" id="variables-treeview">
303                                 <property name="visible">True</property>
304                                 <property name="headers_visible">False</property>
305                               </object>
306                             </child>
307                           </object>
308                         </child>
309                         <child type="label_item">
310                           <placeholder/>
311                         </child>
312                       </object>
313                       <packing>
314                         <property name="position">1</property>
315                       </packing>
316                     </child>
317                   </object>
318                   <packing>
319                     <property name="left_attach">1</property>
320                     <property name="right_attach">2</property>
321                   </packing>
322                 </child>
323                 <child>
324                   <object class="PsppireSelector" id="psppire-selector3">
325                     <property name="visible">True</property>
326                     <property name="can_focus">False</property>
327                     <property name="receives_default">False</property>
328                     <property name="border_width">5</property>
329                     <property name="source_widget">source-treeview</property>
330                     <property name="dest_widget">new-name-entry</property>
331                   </object>
332                   <packing>
333                     <property name="top_attach">1</property>
334                     <property name="bottom_attach">2</property>
335                     <property name="x_options"></property>
336                     <property name="y_options">GTK_FILL</property>
337                   </packing>
338                 </child>
339                 <child>
340                   <object class="PsppireSelector" id="psppire-selector2">
341                     <property name="visible">True</property>
342                     <property name="can_focus">False</property>
343                     <property name="receives_default">False</property>
344                     <property name="border_width">5</property>
345                     <property name="source_widget">source-treeview</property>
346                     <property name="dest_widget">variables-treeview</property>
347                   </object>
348                   <packing>
349                     <property name="x_options"></property>
350                     <property name="y_options"></property>
351                   </packing>
352                 </child>
353               </object>
354               <packing>
355                 <property name="padding">5</property>
356                 <property name="position">1</property>
357               </packing>
358             </child>
359           </object>
360           <packing>
361             <property name="padding">5</property>
362             <property name="position">0</property>
363           </packing>
364         </child>
365         <child>
366           <object class="PsppireVButtonBox" id="psppire-buttonbox2">
367             <property name="visible">True</property>
368             <property name="border_width">5</property>
369           </object>
370           <packing>
371             <property name="expand">False</property>
372             <property name="fill">False</property>
373             <property name="pack_type">end</property>
374             <property name="position">1</property>
375           </packing>
376         </child>
377       </object>
378     </child>
379   </object>
380   <object class="PsppireDialog" id="split-file-dialog">
381     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
382     <property name="title">Split File</property>
383     <property name="modal">True</property>
384     <child internal-child="hbox">
385       <object class="GtkHBox" id="dialog-hbox3">
386         <property name="visible">True</property>
387         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
388         <property name="spacing">2</property>
389         <child>
390           <object class="GtkVBox" id="vbox6">
391             <property name="visible">True</property>
392             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
393             <property name="orientation">vertical</property>
394             <child>
395               <object class="GtkHBox" id="hbox5">
396                 <property name="visible">True</property>
397                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
398                 <child>
399                   <object class="GtkFrame" id="frame5">
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="label_xalign">0</property>
403                     <property name="shadow_type">in</property>
404                     <child>
405                       <object class="GtkScrolledWindow" id="scrolledwindow4">
406                         <property name="visible">True</property>
407                         <property name="can_focus">True</property>
408                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
409                         <property name="hscrollbar_policy">never</property>
410                         <property name="vscrollbar_policy">automatic</property>
411                         <child>
412                           <object class="PsppireDictView" id="split-file-dict-treeview">
413                             <property name="visible">True</property>
414                             <property name="can_focus">True</property>
415                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
416                             <property name="headers_visible">False</property>
417                             <property name="fixed_height_mode">True</property>
418                           </object>
419                         </child>
420                       </object>
421                     </child>
422                     <child type="label_item">
423                       <placeholder/>
424                     </child>
425                   </object>
426                   <packing>
427                     <property name="position">0</property>
428                   </packing>
429                 </child>
430                 <child>
431                   <object class="GtkVBox" id="vbox7">
432                     <property name="visible">True</property>
433                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
434                     <property name="orientation">vertical</property>
435                     <child>
436                       <object class="GtkVButtonBox" id="vbuttonbox2">
437                         <property name="visible">True</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="layout_style">spread</property>
440                         <child>
441                           <object class="GtkRadioButton" id="split-radiobutton0">
442                             <property name="label" translatable="yes">Analyze all cases.  Do not create groups.</property>
443                             <property name="visible">True</property>
444                             <property name="can_focus">True</property>
445                             <property name="receives_default">False</property>
446                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
447                             <property name="active">True</property>
448                             <property name="draw_indicator">True</property>
449                           </object>
450                           <packing>
451                             <property name="expand">False</property>
452                             <property name="fill">False</property>
453                             <property name="position">0</property>
454                           </packing>
455                         </child>
456                         <child>
457                           <object class="GtkRadioButton" id="split-radiobutton1">
458                             <property name="label" translatable="yes">Compare groups.</property>
459                             <property name="visible">True</property>
460                             <property name="can_focus">True</property>
461                             <property name="receives_default">False</property>
462                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
463                             <property name="draw_indicator">True</property>
464                             <property name="group">split-radiobutton0</property>
465                           </object>
466                           <packing>
467                             <property name="expand">False</property>
468                             <property name="fill">False</property>
469                             <property name="position">1</property>
470                           </packing>
471                         </child>
472                         <child>
473                           <object class="GtkRadioButton" id="split-radiobutton2">
474                             <property name="label" translatable="yes">Organize output by groups.</property>
475                             <property name="visible">True</property>
476                             <property name="can_focus">True</property>
477                             <property name="receives_default">False</property>
478                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
479                             <property name="draw_indicator">True</property>
480                             <property name="group">split-radiobutton0</property>
481                           </object>
482                           <packing>
483                             <property name="expand">False</property>
484                             <property name="fill">False</property>
485                             <property name="position">2</property>
486                           </packing>
487                         </child>
488                       </object>
489                       <packing>
490                         <property name="expand">False</property>
491                         <property name="position">0</property>
492                       </packing>
493                     </child>
494                     <child>
495                       <object class="GtkHBox" id="hbox6">
496                         <property name="visible">True</property>
497                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
498                         <child>
499                           <object class="GtkAlignment" id="alignment2">
500                             <property name="visible">True</property>
501                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
502                             <property name="yscale">0.5</property>
503                             <child>
504                               <object class="PsppireSelector" id="split-file-selector">
505                                 <property name="visible">True</property>
506                                 <property name="can_focus">True</property>
507                                 <property name="receives_default">True</property>
508                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
509                                 <property name="border_width">5</property>
510                                 <property name="source_widget">split-file-dict-treeview</property>
511                                 <property name="dest_widget">split-file-grouping-vars</property>
512                               </object>
513                             </child>
514                           </object>
515                           <packing>
516                             <property name="expand">False</property>
517                             <property name="fill">False</property>
518                             <property name="padding">18</property>
519                             <property name="position">0</property>
520                           </packing>
521                         </child>
522                         <child>
523                           <object class="GtkVBox" id="vbox8">
524                             <property name="visible">True</property>
525                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
526                             <property name="orientation">vertical</property>
527                             <child>
528                               <object class="GtkLabel" id="label5">
529                                 <property name="visible">True</property>
530                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
531                                 <property name="xalign">0</property>
532                                 <property name="label" translatable="yes">Groups based on:</property>
533                               </object>
534                               <packing>
535                                 <property name="expand">False</property>
536                                 <property name="fill">False</property>
537                                 <property name="position">0</property>
538                               </packing>
539                             </child>
540                             <child>
541                               <object class="GtkFrame" id="frame4">
542                                 <property name="visible">True</property>
543                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
544                                 <property name="label_xalign">0</property>
545                                 <property name="label_yalign">0</property>
546                                 <property name="shadow_type">in</property>
547                                 <child>
548                                   <object class="GtkScrolledWindow" id="scrolledwindow5">
549                                     <property name="visible">True</property>
550                                     <property name="can_focus">True</property>
551                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
552                                     <property name="hscrollbar_policy">never</property>
553                                     <property name="vscrollbar_policy">automatic</property>
554                                     <child>
555                                       <object class="GtkTreeView" id="split-file-grouping-vars">
556                                         <property name="visible">True</property>
557                                         <property name="can_focus">True</property>
558                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
559                                         <property name="headers_visible">False</property>
560                                         <property name="fixed_height_mode">True</property>
561                                       </object>
562                                     </child>
563                                   </object>
564                                 </child>
565                                 <child type="label_item">
566                                   <placeholder/>
567                                 </child>
568                               </object>
569                               <packing>
570                                 <property name="position">1</property>
571                               </packing>
572                             </child>
573                           </object>
574                           <packing>
575                             <property name="position">1</property>
576                           </packing>
577                         </child>
578                       </object>
579                       <packing>
580                         <property name="position">1</property>
581                       </packing>
582                     </child>
583                     <child>
584                       <object class="GtkVButtonBox" id="vbuttonbox1">
585                         <property name="visible">True</property>
586                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
587                         <property name="homogeneous">True</property>
588                         <property name="layout_style">spread</property>
589                         <child>
590                           <object class="GtkRadioButton" id="split-radiobutton3">
591                             <property name="label" translatable="yes">Sort the file by grouping variables.</property>
592                             <property name="visible">True</property>
593                             <property name="can_focus">True</property>
594                             <property name="receives_default">False</property>
595                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
596                             <property name="use_underline">True</property>
597                             <property name="active">True</property>
598                             <property name="draw_indicator">True</property>
599                           </object>
600                           <packing>
601                             <property name="expand">False</property>
602                             <property name="fill">False</property>
603                             <property name="position">0</property>
604                           </packing>
605                         </child>
606                         <child>
607                           <object class="GtkRadioButton" id="split-radiobutton4">
608                             <property name="label" translatable="yes">File is already sorted.</property>
609                             <property name="visible">True</property>
610                             <property name="can_focus">True</property>
611                             <property name="receives_default">False</property>
612                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
613                             <property name="use_underline">True</property>
614                             <property name="draw_indicator">True</property>
615                             <property name="group">split-radiobutton3</property>
616                           </object>
617                           <packing>
618                             <property name="expand">False</property>
619                             <property name="fill">False</property>
620                             <property name="position">1</property>
621                           </packing>
622                         </child>
623                       </object>
624                       <packing>
625                         <property name="expand">False</property>
626                         <property name="fill">False</property>
627                         <property name="position">2</property>
628                       </packing>
629                     </child>
630                   </object>
631                   <packing>
632                     <property name="padding">5</property>
633                     <property name="position">1</property>
634                   </packing>
635                 </child>
636               </object>
637               <packing>
638                 <property name="position">0</property>
639               </packing>
640             </child>
641             <child>
642               <object class="GtkHSeparator" id="hseparator1">
643                 <property name="visible">True</property>
644                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
645               </object>
646               <packing>
647                 <property name="expand">False</property>
648                 <property name="fill">False</property>
649                 <property name="position">1</property>
650               </packing>
651             </child>
652             <child>
653               <object class="GtkHBox" id="hbox7">
654                 <property name="visible">True</property>
655                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
656                 <child>
657                   <object class="GtkLabel" id="label6">
658                     <property name="visible">True</property>
659                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
660                     <property name="xalign">1</property>
661                     <property name="label" translatable="yes">Current Status : </property>
662                   </object>
663                   <packing>
664                     <property name="position">0</property>
665                   </packing>
666                 </child>
667                 <child>
668                   <object class="GtkLabel" id="label7">
669                     <property name="visible">True</property>
670                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
671                     <property name="xalign">0</property>
672                     <property name="label" translatable="yes">Analysis by groups is off</property>
673                   </object>
674                   <packing>
675                     <property name="position">1</property>
676                   </packing>
677                 </child>
678               </object>
679               <packing>
680                 <property name="expand">False</property>
681                 <property name="fill">False</property>
682                 <property name="position">2</property>
683               </packing>
684             </child>
685           </object>
686           <packing>
687             <property name="position">0</property>
688           </packing>
689         </child>
690         <child>
691           <object class="PsppireVButtonBox" id="psppire-buttonbox3">
692             <property name="visible">True</property>
693             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
694             <property name="border_width">5</property>
695           </object>
696           <packing>
697             <property name="expand">False</property>
698             <property name="fill">False</property>
699             <property name="pack_type">end</property>
700             <property name="position">1</property>
701           </packing>
702         </child>
703       </object>
704     </child>
705   </object>
706   <object class="PsppireDialog" id="compute-variable-dialog">
707     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
708     <property name="title">Compute Variable</property>
709     <property name="modal">True</property>
710     <child internal-child="hbox">
711       <object class="GtkHBox" id="dialog-hbox5">
712         <property name="visible">True</property>
713         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
714         <property name="spacing">2</property>
715         <child>
716           <object class="GtkAlignment" id="alignment8">
717             <property name="visible">True</property>
718             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
719             <property name="bottom_padding">5</property>
720             <property name="left_padding">5</property>
721             <child>
722               <object class="GtkHBox" id="hbox15">
723                 <property name="visible">True</property>
724                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
725                 <child>
726                   <object class="GtkVBox" id="vbox19">
727                     <property name="visible">True</property>
728                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
729                     <property name="orientation">vertical</property>
730                     <property name="spacing">5</property>
731                     <child>
732                       <object class="GtkVBox" id="vbox20">
733                         <property name="visible">True</property>
734                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
735                         <property name="orientation">vertical</property>
736                         <child>
737                           <object class="GtkLabel" id="label20">
738                             <property name="visible">True</property>
739                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
740                             <property name="xalign">0</property>
741                             <property name="label" translatable="yes">Target Variable:</property>
742                           </object>
743                           <packing>
744                             <property name="expand">False</property>
745                             <property name="fill">False</property>
746                             <property name="position">0</property>
747                           </packing>
748                         </child>
749                         <child>
750                           <object class="GtkEntry" id="compute-entry1">
751                             <property name="visible">True</property>
752                             <property name="can_focus">True</property>
753                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
754                           </object>
755                           <packing>
756                             <property name="expand">False</property>
757                             <property name="fill">False</property>
758                             <property name="position">1</property>
759                           </packing>
760                         </child>
761                       </object>
762                       <packing>
763                         <property name="expand">False</property>
764                         <property name="fill">False</property>
765                         <property name="position">0</property>
766                       </packing>
767                     </child>
768                     <child>
769                       <object class="GtkButton" id="compute-button1">
770                         <property name="label" translatable="yes">Type &amp; Label</property>
771                         <property name="visible">True</property>
772                         <property name="can_focus">True</property>
773                         <property name="receives_default">True</property>
774                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
775                       </object>
776                       <packing>
777                         <property name="expand">False</property>
778                         <property name="fill">False</property>
779                         <property name="position">1</property>
780                       </packing>
781                     </child>
782                     <child>
783                       <object class="GtkScrolledWindow" id="scrolledwindow9">
784                         <property name="visible">True</property>
785                         <property name="can_focus">True</property>
786                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
787                         <property name="hscrollbar_policy">automatic</property>
788                         <property name="vscrollbar_policy">automatic</property>
789                         <property name="shadow_type">in</property>
790                         <child>
791                           <object class="PsppireDictView" id="compute-treeview1">
792                             <property name="visible">True</property>
793                             <property name="can_focus">True</property>
794                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
795                             <property name="headers_visible">False</property>
796                           </object>
797                         </child>
798                       </object>
799                       <packing>
800                         <property name="position">2</property>
801                       </packing>
802                     </child>
803                   </object>
804                   <packing>
805                     <property name="position">0</property>
806                   </packing>
807                 </child>
808                 <child>
809                   <object class="GtkVBox" id="vbox21">
810                     <property name="visible">True</property>
811                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
812                     <property name="orientation">vertical</property>
813                     <child>
814                       <object class="GtkLabel" id="label21">
815                         <property name="visible">True</property>
816                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
817                         <property name="label" translatable="yes">=</property>
818                       </object>
819                       <packing>
820                         <property name="expand">False</property>
821                         <property name="fill">False</property>
822                         <property name="position">0</property>
823                       </packing>
824                     </child>
825                     <child>
826                       <object class="PsppireSelector" id="compute-selector1">
827                         <property name="visible">True</property>
828                         <property name="can_focus">True</property>
829                         <property name="receives_default">True</property>
830                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
831                         <property name="border_width">5</property>
832                         <property name="source_widget">compute-treeview1</property>
833                         <property name="dest_widget">compute-textview1</property>
834                       </object>
835                       <packing>
836                         <property name="expand">False</property>
837                         <property name="fill">False</property>
838                         <property name="position">1</property>
839                       </packing>
840                     </child>
841                   </object>
842                   <packing>
843                     <property name="expand">False</property>
844                     <property name="fill">False</property>
845                     <property name="position">1</property>
846                   </packing>
847                 </child>
848               </object>
849             </child>
850           </object>
851           <packing>
852             <property name="position">0</property>
853           </packing>
854         </child>
855         <child>
856           <object class="GtkVBox" id="vbox17">
857             <property name="visible">True</property>
858             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
859             <property name="orientation">vertical</property>
860             <property name="spacing">5</property>
861             <child>
862               <object class="GtkVBox" id="vbox18">
863                 <property name="visible">True</property>
864                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
865                 <property name="orientation">vertical</property>
866                 <child>
867                   <object class="GtkLabel" id="label19">
868                     <property name="visible">True</property>
869                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
870                     <property name="xalign">0</property>
871                     <property name="label" translatable="yes">Numeric Expressions:</property>
872                   </object>
873                   <packing>
874                     <property name="expand">False</property>
875                     <property name="fill">False</property>
876                     <property name="position">0</property>
877                   </packing>
878                 </child>
879                 <child>
880                   <object class="GtkScrolledWindow" id="scrolledwindow8">
881                     <property name="visible">True</property>
882                     <property name="can_focus">True</property>
883                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
884                     <property name="hscrollbar_policy">automatic</property>
885                     <property name="vscrollbar_policy">automatic</property>
886                     <property name="shadow_type">in</property>
887                     <child>
888                       <object class="GtkTextView" id="compute-textview1">
889                         <property name="visible">True</property>
890                         <property name="can_focus">True</property>
891                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
892                       </object>
893                     </child>
894                   </object>
895                   <packing>
896                     <property name="position">1</property>
897                   </packing>
898                 </child>
899               </object>
900               <packing>
901                 <property name="position">0</property>
902               </packing>
903             </child>
904             <child>
905               <object class="GtkHBox" id="hbox16">
906                 <property name="visible">True</property>
907                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
908                 <property name="spacing">5</property>
909                 <child>
910                   <object class="PsppireKeypad" id="psppire-keypad1">
911                     <property name="visible">True</property>
912                     <property name="can_focus">True</property>
913                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK | GDK_KEY_RELEASE_MASK | GDK_ENTER_NOTIFY_MASK | GDK_LEAVE_NOTIFY_MASK | GDK_FOCUS_CHANGE_MASK</property>
914                   </object>
915                   <packing>
916                     <property name="position">0</property>
917                   </packing>
918                 </child>
919                 <child>
920                   <object class="GtkVBox" id="vbox22">
921                     <property name="visible">True</property>
922                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
923                     <property name="orientation">vertical</property>
924                     <child>
925                       <object class="GtkHBox" id="hbox17">
926                         <property name="visible">True</property>
927                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
928                         <child>
929                           <object class="GtkLabel" id="label22">
930                             <property name="visible">True</property>
931                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
932                             <property name="xalign">0</property>
933                             <property name="label" translatable="yes">Functions:</property>
934                           </object>
935                           <packing>
936                             <property name="position">0</property>
937                           </packing>
938                         </child>
939                         <child>
940                           <object class="PsppireSelector" id="compute-selector2">
941                             <property name="visible">True</property>
942                             <property name="can_focus">True</property>
943                             <property name="receives_default">True</property>
944                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
945                             <property name="border_width">5</property>
946                             <property name="orientation">source below destination</property>
947                             <property name="source_widget">compute-treeview2</property>
948                             <property name="dest_widget">compute-textview1</property>
949                           </object>
950                           <packing>
951                             <property name="fill">False</property>
952                             <property name="position">1</property>
953                           </packing>
954                         </child>
955                       </object>
956                       <packing>
957                         <property name="expand">False</property>
958                         <property name="fill">False</property>
959                         <property name="position">0</property>
960                       </packing>
961                     </child>
962                     <child>
963                       <object class="GtkScrolledWindow" id="scrolledwindow10">
964                         <property name="visible">True</property>
965                         <property name="can_focus">True</property>
966                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
967                         <property name="hscrollbar_policy">never</property>
968                         <property name="shadow_type">in</property>
969                         <child>
970                           <object class="GtkTreeView" id="compute-treeview2">
971                             <property name="visible">True</property>
972                             <property name="can_focus">True</property>
973                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
974                             <property name="headers_visible">False</property>
975                           </object>
976                         </child>
977                       </object>
978                       <packing>
979                         <property name="position">1</property>
980                       </packing>
981                     </child>
982                   </object>
983                   <packing>
984                     <property name="position">1</property>
985                   </packing>
986                 </child>
987               </object>
988               <packing>
989                 <property name="position">1</property>
990               </packing>
991             </child>
992             <child>
993               <object class="GtkHBox" id="hbox18">
994                 <property name="visible">True</property>
995                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
996                 <child>
997                   <object class="GtkButton" id="button4">
998                     <property name="label" translatable="yes">If...</property>
999                     <property name="sensitive">False</property>
1000                     <property name="can_focus">True</property>
1001                     <property name="receives_default">True</property>
1002                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1003                   </object>
1004                   <packing>
1005                     <property name="expand">False</property>
1006                     <property name="fill">False</property>
1007                     <property name="position">0</property>
1008                   </packing>
1009                 </child>
1010                 <child>
1011                   <object class="GtkLabel" id="label23">
1012                     <property name="visible">True</property>
1013                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1014                   </object>
1015                   <packing>
1016                     <property name="position">1</property>
1017                   </packing>
1018                 </child>
1019               </object>
1020               <packing>
1021                 <property name="expand">False</property>
1022                 <property name="fill">False</property>
1023                 <property name="position">2</property>
1024               </packing>
1025             </child>
1026             <child>
1027               <object class="PsppireHButtonBox" id="psppire-hbuttonbox1">
1028                 <property name="visible">True</property>
1029                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1030                 <property name="border_width">5</property>
1031                 <property name="layout_style">spread</property>
1032               </object>
1033               <packing>
1034                 <property name="expand">False</property>
1035                 <property name="fill">False</property>
1036                 <property name="pack_type">end</property>
1037                 <property name="position">3</property>
1038               </packing>
1039             </child>
1040           </object>
1041           <packing>
1042             <property name="padding">5</property>
1043             <property name="position">1</property>
1044           </packing>
1045         </child>
1046       </object>
1047     </child>
1048   </object>
1049   <object class="PsppireDialog" id="select-cases-dialog">
1050     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1051     <property name="title">Select Cases</property>
1052     <property name="modal">True</property>
1053     <property name="orientation">Vertical</property>
1054     <child internal-child="hbox">
1055       <object class="GtkVBox" id="dialog-hbox6">
1056         <property name="visible">True</property>
1057         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1058         <property name="spacing">2</property>
1059         <child>
1060           <object class="GtkAlignment" id="alignment1">
1061             <property name="visible">True</property>
1062             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1063             <property name="top_padding">5</property>
1064             <property name="left_padding">5</property>
1065             <property name="right_padding">5</property>
1066             <child>
1067               <object class="GtkHBox" id="hbox8">
1068                 <property name="visible">True</property>
1069                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1070                 <property name="spacing">5</property>
1071                 <child>
1072                   <object class="GtkScrolledWindow" id="scrolledwindow11">
1073                     <property name="visible">True</property>
1074                     <property name="can_focus">True</property>
1075                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1076                     <property name="hscrollbar_policy">automatic</property>
1077                     <property name="vscrollbar_policy">automatic</property>
1078                     <property name="shadow_type">in</property>
1079                     <child>
1080                       <object class="PsppireDictView" id="select-cases-treeview">
1081                         <property name="visible">True</property>
1082                         <property name="can_focus">True</property>
1083                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1084                         <property name="headers_visible">False</property>
1085                         <property name="fixed_height_mode">True</property>
1086                       </object>
1087                     </child>
1088                   </object>
1089                   <packing>
1090                     <property name="position">0</property>
1091                   </packing>
1092                 </child>
1093                 <child>
1094                   <object class="GtkVBox" id="vbox13">
1095                     <property name="visible">True</property>
1096                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1097                     <child>
1098                       <object class="GtkFrame" id="Select5">
1099                         <property name="visible">True</property>
1100                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1101                         <property name="label_xalign">0</property>
1102                         <child>
1103                           <object class="GtkAlignment" id="alignment11">
1104                             <property name="visible">True</property>
1105                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1106                             <property name="xscale">0</property>
1107                             <property name="left_padding">12</property>
1108                             <property name="right_padding">5</property>
1109                             <child>
1110                               <object class="GtkTable" id="table1">
1111                                 <property name="visible">True</property>
1112                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1113                                 <property name="n_rows">5</property>
1114                                 <property name="n_columns">2</property>
1115                                 <property name="row_spacing">5</property>
1116                                 <child>
1117                                   <object class="GtkRadioButton" id="radiobutton-all">
1118                                     <property name="visible">True</property>
1119                                     <property name="can_focus">True</property>
1120                                     <property name="receives_default">False</property>
1121                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1122                                     <property name="active">True</property>
1123                                     <property name="draw_indicator">True</property>
1124                                   </object>
1125                                 </child>
1126                                 <child>
1127                                   <object class="GtkAlignment" id="alignment18">
1128                                     <property name="visible">True</property>
1129                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1130                                     <property name="xalign">0</property>
1131                                     <property name="yalign">0</property>
1132                                     <property name="xscale">0</property>
1133                                     <property name="yscale">0</property>
1134                                     <child>
1135                                       <object class="GtkRadioButton" id="radiobutton-filter-variable">
1136                                         <property name="visible">True</property>
1137                                         <property name="can_focus">True</property>
1138                                         <property name="receives_default">False</property>
1139                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1140                                         <property name="active">True</property>
1141                                         <property name="draw_indicator">True</property>
1142                                         <property name="group">radiobutton-all</property>
1143                                       </object>
1144                                     </child>
1145                                   </object>
1146                                   <packing>
1147                                     <property name="top_attach">4</property>
1148                                     <property name="bottom_attach">5</property>
1149                                     <property name="x_options"></property>
1150                                   </packing>
1151                                 </child>
1152                                 <child>
1153                                   <object class="GtkAlignment" id="alignment17">
1154                                     <property name="visible">True</property>
1155                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1156                                     <property name="xalign">0</property>
1157                                     <property name="yalign">0</property>
1158                                     <property name="xscale">0</property>
1159                                     <property name="yscale">0</property>
1160                                     <child>
1161                                       <object class="GtkRadioButton" id="radiobutton-range">
1162                                         <property name="visible">True</property>
1163                                         <property name="can_focus">True</property>
1164                                         <property name="receives_default">False</property>
1165                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1166                                         <property name="active">True</property>
1167                                         <property name="draw_indicator">True</property>
1168                                         <property name="group">radiobutton-all</property>
1169                                       </object>
1170                                     </child>
1171                                   </object>
1172                                   <packing>
1173                                     <property name="top_attach">3</property>
1174                                     <property name="bottom_attach">4</property>
1175                                     <property name="x_options"></property>
1176                                   </packing>
1177                                 </child>
1178                                 <child>
1179                                   <object class="GtkAlignment" id="alignment16">
1180                                     <property name="visible">True</property>
1181                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1182                                     <property name="xalign">0</property>
1183                                     <property name="yalign">0</property>
1184                                     <property name="xscale">0</property>
1185                                     <property name="yscale">0</property>
1186                                     <child>
1187                                       <object class="GtkRadioButton" id="radiobutton-sample">
1188                                         <property name="visible">True</property>
1189                                         <property name="can_focus">True</property>
1190                                         <property name="receives_default">False</property>
1191                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1192                                         <property name="active">True</property>
1193                                         <property name="draw_indicator">True</property>
1194                                         <property name="group">radiobutton-all</property>
1195                                       </object>
1196                                     </child>
1197                                   </object>
1198                                   <packing>
1199                                     <property name="top_attach">2</property>
1200                                     <property name="bottom_attach">3</property>
1201                                     <property name="x_options"></property>
1202                                   </packing>
1203                                 </child>
1204                                 <child>
1205                                   <object class="GtkAlignment" id="alignment13">
1206                                     <property name="visible">True</property>
1207                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1208                                     <property name="xalign">0</property>
1209                                     <property name="yalign">0</property>
1210                                     <property name="xscale">0</property>
1211                                     <property name="yscale">0</property>
1212                                     <child>
1213                                       <object class="GtkRadioButton" id="radiobutton-if">
1214                                         <property name="sensitive">False</property>
1215                                         <property name="can_focus">True</property>
1216                                         <property name="receives_default">False</property>
1217                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1218                                         <property name="active">True</property>
1219                                         <property name="draw_indicator">True</property>
1220                                         <property name="group">radiobutton-all</property>
1221                                       </object>
1222                                     </child>
1223                                   </object>
1224                                   <packing>
1225                                     <property name="top_attach">1</property>
1226                                     <property name="bottom_attach">2</property>
1227                                     <property name="x_options"></property>
1228                                   </packing>
1229                                 </child>
1230                                 <child>
1231                                   <object class="GtkVBox" id="vbox26">
1232                                     <property name="visible">True</property>
1233                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1234                                     <child>
1235                                       <object class="GtkLabel" id="label25">
1236                                         <property name="visible">True</property>
1237                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1238                                         <property name="xalign">0</property>
1239                                         <property name="label" translatable="yes">Use filter variable</property>
1240                                       </object>
1241                                       <packing>
1242                                         <property name="position">0</property>
1243                                       </packing>
1244                                     </child>
1245                                     <child>
1246                                       <object class="GtkHBox" id="hbox19">
1247                                         <property name="visible">True</property>
1248                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1249                                         <child>
1250                                           <object class="PsppireSelector" id="psppire-selector-filter">
1251                                             <property name="visible">True</property>
1252                                             <property name="can_focus">True</property>
1253                                             <property name="receives_default">True</property>
1254                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1255                                             <property name="border_width">5</property>
1256                                             <property name="source_widget">select-cases-treeview</property>
1257                                             <property name="dest_widget">filter-variable-entry</property>
1258                                           </object>
1259                                           <packing>
1260                                             <property name="expand">False</property>
1261                                             <property name="fill">False</property>
1262                                             <property name="position">0</property>
1263                                           </packing>
1264                                         </child>
1265                                         <child>
1266                                           <object class="GtkEntry" id="filter-variable-entry">
1267                                             <property name="visible">True</property>
1268                                             <property name="sensitive">False</property>
1269                                             <property name="can_focus">True</property>
1270                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1271                                           </object>
1272                                           <packing>
1273                                             <property name="position">1</property>
1274                                           </packing>
1275                                         </child>
1276                                       </object>
1277                                       <packing>
1278                                         <property name="position">1</property>
1279                                       </packing>
1280                                     </child>
1281                                   </object>
1282                                   <packing>
1283                                     <property name="left_attach">1</property>
1284                                     <property name="right_attach">2</property>
1285                                     <property name="top_attach">4</property>
1286                                     <property name="bottom_attach">5</property>
1287                                   </packing>
1288                                 </child>
1289                                 <child>
1290                                   <object class="GtkVBox" id="vbox25">
1291                                     <property name="visible">True</property>
1292                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1293                                     <child>
1294                                       <object class="GtkLabel" id="label15">
1295                                         <property name="visible">True</property>
1296                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1297                                         <property name="xalign">0</property>
1298                                         <property name="label" translatable="yes">Based on time or case range</property>
1299                                       </object>
1300                                       <packing>
1301                                         <property name="position">0</property>
1302                                       </packing>
1303                                     </child>
1304                                     <child>
1305                                       <object class="GtkHBox" id="hbox12">
1306                                         <property name="visible">True</property>
1307                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1308                                         <child>
1309                                           <object class="GtkButton" id="button-range">
1310                                             <property name="label" translatable="yes">Range...</property>
1311                                             <property name="visible">True</property>
1312                                             <property name="can_focus">True</property>
1313                                             <property name="receives_default">True</property>
1314                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1315                                           </object>
1316                                           <packing>
1317                                             <property name="expand">False</property>
1318                                             <property name="fill">False</property>
1319                                             <property name="position">0</property>
1320                                           </packing>
1321                                         </child>
1322                                         <child>
1323                                           <object class="GtkLabel" id="range-sample-label">
1324                                             <property name="visible">True</property>
1325                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1326                                           </object>
1327                                           <packing>
1328                                             <property name="position">1</property>
1329                                           </packing>
1330                                         </child>
1331                                       </object>
1332                                       <packing>
1333                                         <property name="position">1</property>
1334                                       </packing>
1335                                     </child>
1336                                   </object>
1337                                   <packing>
1338                                     <property name="left_attach">1</property>
1339                                     <property name="right_attach">2</property>
1340                                     <property name="top_attach">3</property>
1341                                     <property name="bottom_attach">4</property>
1342                                   </packing>
1343                                 </child>
1344                                 <child>
1345                                   <object class="GtkVBox" id="vbox24">
1346                                     <property name="visible">True</property>
1347                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1348                                     <property name="orientation">vertical</property>
1349                                     <child>
1350                                       <object class="GtkLabel" id="label13">
1351                                         <property name="visible">True</property>
1352                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1353                                         <property name="xalign">0</property>
1354                                         <property name="label" translatable="yes">Random sample of cases</property>
1355                                       </object>
1356                                       <packing>
1357                                         <property name="position">0</property>
1358                                       </packing>
1359                                     </child>
1360                                     <child>
1361                                       <object class="GtkHBox" id="hbox11">
1362                                         <property name="visible">True</property>
1363                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1364                                         <property name="spacing">5</property>
1365                                         <child>
1366                                           <object class="GtkButton" id="button-sample">
1367                                             <property name="label" translatable="yes">Sample...</property>
1368                                             <property name="visible">True</property>
1369                                             <property name="can_focus">True</property>
1370                                             <property name="receives_default">True</property>
1371                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1372                                           </object>
1373                                           <packing>
1374                                             <property name="expand">False</property>
1375                                             <property name="fill">False</property>
1376                                             <property name="position">0</property>
1377                                           </packing>
1378                                         </child>
1379                                         <child>
1380                                           <object class="GtkLabel" id="random-sample-label">
1381                                             <property name="visible">True</property>
1382                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1383                                           </object>
1384                                           <packing>
1385                                             <property name="position">1</property>
1386                                           </packing>
1387                                         </child>
1388                                       </object>
1389                                       <packing>
1390                                         <property name="position">1</property>
1391                                       </packing>
1392                                     </child>
1393                                   </object>
1394                                   <packing>
1395                                     <property name="left_attach">1</property>
1396                                     <property name="right_attach">2</property>
1397                                     <property name="top_attach">2</property>
1398                                     <property name="bottom_attach">3</property>
1399                                   </packing>
1400                                 </child>
1401                                 <child>
1402                                   <object class="GtkVBox" id="vbox14">
1403                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1404                                     <child>
1405                                       <object class="GtkLabel" id="label11">
1406                                         <property name="visible">True</property>
1407                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1408                                         <property name="xalign">0</property>
1409                                         <property name="label" translatable="yes">If condition is satisfied</property>
1410                                       </object>
1411                                       <packing>
1412                                         <property name="position">0</property>
1413                                       </packing>
1414                                     </child>
1415                                     <child>
1416                                       <object class="GtkHBox" id="hbox9">
1417                                         <property name="visible">True</property>
1418                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1419                                         <child>
1420                                           <object class="GtkButton" id="button-if">
1421                                             <property name="label" translatable="yes">If...</property>
1422                                             <property name="visible">True</property>
1423                                             <property name="sensitive">False</property>
1424                                             <property name="can_focus">True</property>
1425                                             <property name="receives_default">True</property>
1426                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1427                                           </object>
1428                                           <packing>
1429                                             <property name="expand">False</property>
1430                                             <property name="fill">False</property>
1431                                             <property name="position">0</property>
1432                                           </packing>
1433                                         </child>
1434                                         <child>
1435                                           <object class="GtkLabel" id="label26">
1436                                             <property name="visible">True</property>
1437                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1438                                           </object>
1439                                           <packing>
1440                                             <property name="position">1</property>
1441                                           </packing>
1442                                         </child>
1443                                       </object>
1444                                       <packing>
1445                                         <property name="position">1</property>
1446                                       </packing>
1447                                     </child>
1448                                   </object>
1449                                   <packing>
1450                                     <property name="left_attach">1</property>
1451                                     <property name="right_attach">2</property>
1452                                     <property name="top_attach">1</property>
1453                                     <property name="bottom_attach">2</property>
1454                                   </packing>
1455                                 </child>
1456                                 <child>
1457                                   <object class="GtkLabel" id="label10">
1458                                     <property name="visible">True</property>
1459                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1460                                     <property name="xalign">0</property>
1461                                     <property name="label" translatable="yes">All Cases</property>
1462                                   </object>
1463                                   <packing>
1464                                     <property name="left_attach">1</property>
1465                                     <property name="right_attach">2</property>
1466                                   </packing>
1467                                 </child>
1468                               </object>
1469                             </child>
1470                           </object>
1471                         </child>
1472                         <child type="label">
1473                           <object class="GtkLabel" id="Select6">
1474                             <property name="visible">True</property>
1475                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1476                             <property name="label" translatable="yes">Select</property>
1477                             <property name="use_markup">True</property>
1478                           </object>
1479                         </child>
1480                       </object>
1481                       <packing>
1482                         <property name="position">0</property>
1483                       </packing>
1484                     </child>
1485                     <child>
1486                       <object class="GtkFrame" id="frame8">
1487                         <property name="visible">True</property>
1488                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1489                         <property name="label_xalign">0</property>
1490                         <child>
1491                           <object class="GtkAlignment" id="alignment12">
1492                             <property name="visible">True</property>
1493                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1494                             <property name="left_padding">12</property>
1495                             <child>
1496                               <object class="GtkHButtonBox" id="filter-delete-button-box">
1497                                 <property name="visible">True</property>
1498                                 <property name="sensitive">False</property>
1499                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1500                                 <property name="layout_style">spread</property>
1501                                 <child>
1502                                   <object class="GtkRadioButton" id="radiobutton-filter">
1503                                     <property name="label" translatable="yes">Filtered</property>
1504                                     <property name="visible">True</property>
1505                                     <property name="can_focus">True</property>
1506                                     <property name="receives_default">False</property>
1507                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1508                                     <property name="active">True</property>
1509                                     <property name="draw_indicator">True</property>
1510                                   </object>
1511                                   <packing>
1512                                     <property name="expand">False</property>
1513                                     <property name="fill">False</property>
1514                                     <property name="position">0</property>
1515                                   </packing>
1516                                 </child>
1517                                 <child>
1518                                   <object class="GtkRadioButton" id="radiobutton-delete">
1519                                     <property name="label" translatable="yes">Deleted</property>
1520                                     <property name="visible">True</property>
1521                                     <property name="can_focus">True</property>
1522                                     <property name="receives_default">False</property>
1523                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1524                                     <property name="active">True</property>
1525                                     <property name="draw_indicator">True</property>
1526                                     <property name="group">radiobutton-filter</property>
1527                                   </object>
1528                                   <packing>
1529                                     <property name="expand">False</property>
1530                                     <property name="fill">False</property>
1531                                     <property name="position">1</property>
1532                                   </packing>
1533                                 </child>
1534                               </object>
1535                             </child>
1536                           </object>
1537                         </child>
1538                         <child type="label">
1539                           <object class="GtkLabel" id="label9">
1540                             <property name="visible">True</property>
1541                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1542                             <property name="label" translatable="yes">Unselected Cases Are</property>
1543                             <property name="use_markup">True</property>
1544                           </object>
1545                         </child>
1546                       </object>
1547                       <packing>
1548                         <property name="position">1</property>
1549                       </packing>
1550                     </child>
1551                   </object>
1552                   <packing>
1553                     <property name="expand">False</property>
1554                     <property name="fill">False</property>
1555                     <property name="pack_type">end</property>
1556                     <property name="position">1</property>
1557                   </packing>
1558                 </child>
1559               </object>
1560             </child>
1561           </object>
1562           <packing>
1563             <property name="position">0</property>
1564           </packing>
1565         </child>
1566         <child>
1567           <object class="PsppireHButtonBox" id="psppire-hbuttonbox3">
1568             <property name="visible">True</property>
1569             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1570             <property name="border_width">5</property>
1571           </object>
1572           <packing>
1573             <property name="expand">False</property>
1574             <property name="fill">False</property>
1575             <property name="pack_type">end</property>
1576             <property name="position">1</property>
1577           </packing>
1578         </child>
1579       </object>
1580     </child>
1581   </object>
1582   <object class="PsppireDialog" id="comments-dialog">
1583     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1584     <property name="title">Data File Comments</property>
1585     <property name="modal">True</property>
1586     <property name="orientation">Vertical</property>
1587     <child internal-child="hbox">
1588       <object class="GtkVBox" id="dialog-hbox7">
1589         <property name="visible">True</property>
1590         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1591         <property name="spacing">2</property>
1592         <child>
1593           <object class="GtkAlignment" id="alignment7">
1594             <property name="visible">True</property>
1595             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1596             <property name="left_padding">5</property>
1597             <property name="right_padding">5</property>
1598             <child>
1599               <object class="GtkVBox" id="vbox9">
1600                 <property name="visible">True</property>
1601                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1602                 <property name="orientation">vertical</property>
1603                 <child>
1604                   <object class="GtkLabel" id="label16">
1605                     <property name="visible">True</property>
1606                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1607                     <property name="xalign">0</property>
1608                     <property name="label" translatable="yes">Comments:</property>
1609                   </object>
1610                   <packing>
1611                     <property name="expand">False</property>
1612                     <property name="fill">False</property>
1613                     <property name="position">0</property>
1614                   </packing>
1615                 </child>
1616                 <child>
1617                   <object class="GtkScrolledWindow" id="scrolledwindow12">
1618                     <property name="visible">True</property>
1619                     <property name="can_focus">True</property>
1620                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1621                     <property name="hscrollbar_policy">automatic</property>
1622                     <property name="vscrollbar_policy">automatic</property>
1623                     <property name="shadow_type">in</property>
1624                     <child>
1625                       <object class="GtkTextView" id="comments-textview1">
1626                         <property name="visible">True</property>
1627                         <property name="can_focus">True</property>
1628                       </object>
1629                     </child>
1630                   </object>
1631                   <packing>
1632                     <property name="position">1</property>
1633                   </packing>
1634                 </child>
1635               </object>
1636             </child>
1637           </object>
1638           <packing>
1639             <property name="padding">5</property>
1640             <property name="position">0</property>
1641           </packing>
1642         </child>
1643         <child>
1644           <object class="GtkHBox" id="hbox13">
1645             <property name="visible">True</property>
1646             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1647             <child>
1648               <object class="GtkCheckButton" id="comments-checkbutton1">
1649                 <property name="label" translatable="yes">Display comments in output</property>
1650                 <property name="visible">True</property>
1651                 <property name="can_focus">True</property>
1652                 <property name="receives_default">False</property>
1653                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1654                 <property name="draw_indicator">True</property>
1655               </object>
1656               <packing>
1657                 <property name="expand">False</property>
1658                 <property name="fill">False</property>
1659                 <property name="padding">5</property>
1660                 <property name="position">0</property>
1661               </packing>
1662             </child>
1663             <child>
1664               <object class="GtkLabel" id="column-number-label">
1665                 <property name="visible">True</property>
1666                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1667                 <property name="xalign">1</property>
1668                 <property name="label" translatable="yes">Column Number: 0</property>
1669               </object>
1670               <packing>
1671                 <property name="padding">5</property>
1672                 <property name="pack_type">end</property>
1673                 <property name="position">1</property>
1674               </packing>
1675             </child>
1676           </object>
1677           <packing>
1678             <property name="expand">False</property>
1679             <property name="fill">False</property>
1680             <property name="pack_type">end</property>
1681             <property name="position">2</property>
1682           </packing>
1683         </child>
1684         <child>
1685           <object class="PsppireHButtonBox" id="psppire-hbuttonbox2">
1686             <property name="visible">True</property>
1687             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1688             <property name="border_width">5</property>
1689           </object>
1690           <packing>
1691             <property name="expand">False</property>
1692             <property name="fill">False</property>
1693             <property name="pack_type">end</property>
1694             <property name="position">1</property>
1695           </packing>
1696         </child>
1697       </object>
1698     </child>
1699   </object>
1700   <object class="PsppireDialog" id="select-cases-range-dialog">
1701     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1702     <property name="title">Select Cases: Range</property>
1703     <property name="modal">True</property>
1704     <property name="orientation">Vertical</property>
1705     <child internal-child="hbox">
1706       <object class="GtkVBox" id="dialog-hbox10">
1707         <property name="visible">True</property>
1708         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1709         <property name="spacing">2</property>
1710         <child>
1711           <object class="GtkTable" id="table3">
1712             <property name="visible">True</property>
1713             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1714             <property name="n_rows">2</property>
1715             <property name="n_columns">3</property>
1716             <property name="column_spacing">5</property>
1717             <child>
1718               <object class="GtkSpinButton" id="range-dialog-last">
1719                 <property name="visible">True</property>
1720                 <property name="can_focus">True</property>
1721                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1722                 <property name="truncate_multiline">True</property>
1723                 <property name="adjustment">adjustment4</property>
1724               </object>
1725               <packing>
1726                 <property name="left_attach">2</property>
1727                 <property name="right_attach">3</property>
1728                 <property name="top_attach">1</property>
1729                 <property name="bottom_attach">2</property>
1730               </packing>
1731             </child>
1732             <child>
1733               <object class="GtkSpinButton" id="range-dialog-first">
1734                 <property name="visible">True</property>
1735                 <property name="can_focus">True</property>
1736                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1737                 <property name="truncate_multiline">True</property>
1738                 <property name="adjustment">adjustment3</property>
1739               </object>
1740               <packing>
1741                 <property name="left_attach">1</property>
1742                 <property name="right_attach">2</property>
1743                 <property name="top_attach">1</property>
1744                 <property name="bottom_attach">2</property>
1745               </packing>
1746             </child>
1747             <child>
1748               <object class="GtkLabel" id="label8">
1749                 <property name="visible">True</property>
1750                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1751                 <property name="label" translatable="yes">First case</property>
1752               </object>
1753               <packing>
1754                 <property name="left_attach">1</property>
1755                 <property name="right_attach">2</property>
1756                 <property name="x_options"></property>
1757                 <property name="y_options"></property>
1758               </packing>
1759             </child>
1760             <child>
1761               <object class="GtkLabel" id="label12">
1762                 <property name="visible">True</property>
1763                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1764                 <property name="label" translatable="yes">Last case</property>
1765               </object>
1766               <packing>
1767                 <property name="left_attach">2</property>
1768                 <property name="right_attach">3</property>
1769                 <property name="x_options"></property>
1770                 <property name="y_options"></property>
1771               </packing>
1772             </child>
1773             <child>
1774               <object class="GtkLabel" id="label14">
1775                 <property name="visible">True</property>
1776                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1777                 <property name="label" translatable="yes">Observation</property>
1778               </object>
1779               <packing>
1780                 <property name="bottom_attach">2</property>
1781               </packing>
1782             </child>
1783           </object>
1784           <packing>
1785             <property name="fill">False</property>
1786             <property name="padding">5</property>
1787             <property name="position">0</property>
1788           </packing>
1789         </child>
1790         <child>
1791           <object class="PsppireHButtonBox" id="psppire-hbuttonbox4">
1792             <property name="visible">True</property>
1793             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1794             <property name="border_width">5</property>
1795             <property name="buttons">PSPPIRE_BUTTON_CONTINUE_MASK | PSPPIRE_BUTTON_CANCEL_MASK | PSPPIRE_BUTTON_HELP_MASK</property>
1796           </object>
1797           <packing>
1798             <property name="expand">False</property>
1799             <property name="fill">False</property>
1800             <property name="pack_type">end</property>
1801             <property name="position">1</property>
1802           </packing>
1803         </child>
1804       </object>
1805     </child>
1806   </object>
1807   <object class="PsppireDialog" id="type-and-label-dialog">
1808     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1809     <property name="title">Compute Variable: Type and Label</property>
1810     <property name="modal">True</property>
1811     <child internal-child="hbox">
1812       <object class="GtkHBox" id="dialog-hbox9">
1813         <property name="visible">True</property>
1814         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1815         <property name="spacing">2</property>
1816         <child>
1817           <object class="GtkVBox" id="vbox10">
1818             <property name="visible">True</property>
1819             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1820             <property name="orientation">vertical</property>
1821             <child>
1822               <object class="GtkFrame" id="Label">
1823                 <property name="visible">True</property>
1824                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1825                 <property name="border_width">5</property>
1826                 <property name="label_xalign">0</property>
1827                 <child>
1828                   <object class="GtkAlignment" id="alignment3">
1829                     <property name="visible">True</property>
1830                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1831                     <property name="left_padding">12</property>
1832                     <child>
1833                       <object class="GtkTable" id="table4">
1834                         <property name="visible">True</property>
1835                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1836                         <property name="border_width">5</property>
1837                         <property name="n_rows">2</property>
1838                         <property name="n_columns">2</property>
1839                         <child>
1840                           <object class="GtkLabel" id="label27">
1841                             <property name="visible">True</property>
1842                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1843                             <property name="xalign">0</property>
1844                             <property name="label" translatable="yes">Use expression as label</property>
1845                           </object>
1846                           <packing>
1847                             <property name="left_attach">1</property>
1848                             <property name="right_attach">2</property>
1849                             <property name="top_attach">1</property>
1850                             <property name="bottom_attach">2</property>
1851                             <property name="y_options"></property>
1852                           </packing>
1853                         </child>
1854                         <child>
1855                           <object class="GtkHBox" id="hbox10">
1856                             <property name="visible">True</property>
1857                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1858                             <property name="spacing">5</property>
1859                             <child>
1860                               <object class="GtkLabel" id="label24">
1861                                 <property name="visible">True</property>
1862                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1863                                 <property name="label" translatable="yes">Label:</property>
1864                               </object>
1865                               <packing>
1866                                 <property name="expand">False</property>
1867                                 <property name="position">0</property>
1868                               </packing>
1869                             </child>
1870                             <child>
1871                               <object class="GtkEntry" id="type-and-label-label-entry">
1872                                 <property name="visible">True</property>
1873                                 <property name="can_focus">True</property>
1874                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1875                               </object>
1876                               <packing>
1877                                 <property name="pack_type">end</property>
1878                                 <property name="position">1</property>
1879                               </packing>
1880                             </child>
1881                           </object>
1882                           <packing>
1883                             <property name="left_attach">1</property>
1884                             <property name="right_attach">2</property>
1885                             <property name="y_options"></property>
1886                           </packing>
1887                         </child>
1888                         <child>
1889                           <object class="GtkRadioButton" id="radio-button-expression-label">
1890                             <property name="visible">True</property>
1891                             <property name="can_focus">True</property>
1892                             <property name="receives_default">False</property>
1893                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1894                             <property name="active">True</property>
1895                             <property name="draw_indicator">True</property>
1896                             <property name="group">radio-button-user-label</property>
1897                           </object>
1898                           <packing>
1899                             <property name="top_attach">1</property>
1900                             <property name="bottom_attach">2</property>
1901                             <property name="x_options"></property>
1902                           </packing>
1903                         </child>
1904                         <child>
1905                           <object class="GtkRadioButton" id="radio-button-user-label">
1906                             <property name="visible">True</property>
1907                             <property name="can_focus">True</property>
1908                             <property name="receives_default">False</property>
1909                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1910                             <property name="active">True</property>
1911                             <property name="draw_indicator">True</property>
1912                           </object>
1913                           <packing>
1914                             <property name="x_options"></property>
1915                           </packing>
1916                         </child>
1917                       </object>
1918                     </child>
1919                   </object>
1920                 </child>
1921                 <child type="label">
1922                   <object class="GtkLabel" id="label28">
1923                     <property name="visible">True</property>
1924                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1925                     <property name="label" translatable="yes">Label</property>
1926                     <property name="use_markup">True</property>
1927                   </object>
1928                 </child>
1929               </object>
1930               <packing>
1931                 <property name="position">0</property>
1932               </packing>
1933             </child>
1934             <child>
1935               <object class="GtkFrame" id="frame7">
1936                 <property name="visible">True</property>
1937                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1938                 <property name="border_width">5</property>
1939                 <property name="label_xalign">0</property>
1940                 <child>
1941                   <object class="GtkAlignment" id="alignment10">
1942                     <property name="visible">True</property>
1943                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1944                     <property name="left_padding">12</property>
1945                     <child>
1946                       <object class="GtkTable" id="table5">
1947                         <property name="visible">True</property>
1948                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1949                         <property name="border_width">5</property>
1950                         <property name="n_rows">2</property>
1951                         <property name="n_columns">2</property>
1952                         <child>
1953                           <object class="GtkHBox" id="hbox20">
1954                             <property name="visible">True</property>
1955                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1956                             <child>
1957                               <object class="GtkLabel" id="label29">
1958                                 <property name="visible">True</property>
1959                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1960                                 <property name="xalign">0</property>
1961                                 <property name="label" translatable="yes">String</property>
1962                               </object>
1963                               <packing>
1964                                 <property name="position">0</property>
1965                               </packing>
1966                             </child>
1967                             <child>
1968                               <object class="GtkHBox" id="hbox21">
1969                                 <property name="visible">True</property>
1970                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1971                                 <child>
1972                                   <object class="GtkLabel" id="label30">
1973                                     <property name="visible">True</property>
1974                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1975                                     <property name="label" translatable="yes">Width</property>
1976                                   </object>
1977                                   <packing>
1978                                     <property name="position">0</property>
1979                                   </packing>
1980                                 </child>
1981                                 <child>
1982                                   <object class="GtkSpinButton" id="type-and-label-width">
1983                                     <property name="visible">True</property>
1984                                     <property name="can_focus">True</property>
1985                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1986                                     <property name="adjustment">adjustment2</property>
1987                                   </object>
1988                                   <packing>
1989                                     <property name="position">1</property>
1990                                   </packing>
1991                                 </child>
1992                               </object>
1993                               <packing>
1994                                 <property name="position">1</property>
1995                               </packing>
1996                             </child>
1997                           </object>
1998                           <packing>
1999                             <property name="left_attach">1</property>
2000                             <property name="right_attach">2</property>
2001                             <property name="top_attach">1</property>
2002                             <property name="bottom_attach">2</property>
2003                             <property name="x_options">GTK_FILL</property>
2004                           </packing>
2005                         </child>
2006                         <child>
2007                           <object class="GtkRadioButton" id="radio-button-string">
2008                             <property name="visible">True</property>
2009                             <property name="can_focus">True</property>
2010                             <property name="receives_default">False</property>
2011                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2012                             <property name="active">True</property>
2013                             <property name="draw_indicator">True</property>
2014                           </object>
2015                           <packing>
2016                             <property name="top_attach">1</property>
2017                             <property name="bottom_attach">2</property>
2018                             <property name="x_options"></property>
2019                             <property name="y_options"></property>
2020                           </packing>
2021                         </child>
2022                         <child>
2023                           <object class="GtkRadioButton" id="radio-button-numeric">
2024                             <property name="visible">True</property>
2025                             <property name="can_focus">True</property>
2026                             <property name="receives_default">False</property>
2027                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2028                             <property name="active">True</property>
2029                             <property name="draw_indicator">True</property>
2030                             <property name="group">radio-button-string</property>
2031                           </object>
2032                           <packing>
2033                             <property name="x_options"></property>
2034                             <property name="y_options"></property>
2035                           </packing>
2036                         </child>
2037                         <child>
2038                           <object class="GtkLabel" id="label31">
2039                             <property name="visible">True</property>
2040                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2041                             <property name="xalign">0</property>
2042                             <property name="label" translatable="yes">Numeric</property>
2043                           </object>
2044                           <packing>
2045                             <property name="left_attach">1</property>
2046                             <property name="right_attach">2</property>
2047                           </packing>
2048                         </child>
2049                       </object>
2050                     </child>
2051                   </object>
2052                 </child>
2053                 <child type="label">
2054                   <object class="GtkLabel" id="label32">
2055                     <property name="visible">True</property>
2056                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2057                     <property name="label" translatable="yes">Type</property>
2058                     <property name="use_markup">True</property>
2059                   </object>
2060                 </child>
2061               </object>
2062               <packing>
2063                 <property name="position">1</property>
2064               </packing>
2065             </child>
2066           </object>
2067           <packing>
2068             <property name="position">0</property>
2069           </packing>
2070         </child>
2071         <child>
2072           <object class="PsppireVButtonBox" id="psppire-vbuttonbox1">
2073             <property name="visible">True</property>
2074             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2075             <property name="border_width">5</property>
2076             <property name="buttons">PSPPIRE_BUTTON_CONTINUE_MASK | PSPPIRE_BUTTON_CANCEL_MASK | PSPPIRE_BUTTON_HELP_MASK</property>
2077           </object>
2078           <packing>
2079             <property name="expand">False</property>
2080             <property name="fill">False</property>
2081             <property name="pack_type">end</property>
2082             <property name="position">1</property>
2083           </packing>
2084         </child>
2085       </object>
2086     </child>
2087   </object>
2088   <object class="PsppireDialog" id="goto-case-dialog">
2089     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2090     <property name="title">Goto Case</property>
2091     <property name="modal">True</property>
2092     <property name="orientation">Vertical</property>
2093     <child internal-child="hbox">
2094       <object class="GtkVBox" id="dialog-hbox8">
2095         <property name="visible">True</property>
2096         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2097         <property name="spacing">5</property>
2098         <child>
2099           <object class="GtkHBox" id="hbox22">
2100             <property name="visible">True</property>
2101             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2102             <property name="spacing">5</property>
2103             <child>
2104               <object class="GtkLabel" id="label33">
2105                 <property name="visible">True</property>
2106                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2107                 <property name="xalign">1</property>
2108                 <property name="label" translatable="yes">Goto Case Number:</property>
2109               </object>
2110               <packing>
2111                 <property name="position">0</property>
2112               </packing>
2113             </child>
2114             <child>
2115               <object class="GtkSpinButton" id="goto-case-case-num-entry">
2116                 <property name="visible">True</property>
2117                 <property name="can_focus">True</property>
2118                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2119                 <property name="adjustment">adjustment1</property>
2120               </object>
2121               <packing>
2122                 <property name="position">1</property>
2123               </packing>
2124             </child>
2125           </object>
2126           <packing>
2127             <property name="fill">False</property>
2128             <property name="padding">5</property>
2129             <property name="position">0</property>
2130           </packing>
2131         </child>
2132         <child>
2133           <object class="PsppireHButtonBox" id="psppire-hbuttonbox5">
2134             <property name="visible">True</property>
2135             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2136             <property name="border_width">5</property>
2137             <property name="layout_style">spread</property>
2138             <property name="buttons">PSPPIRE_BUTTON_GOTO_MASK | PSPPIRE_BUTTON_CANCEL_MASK</property>
2139           </object>
2140           <packing>
2141             <property name="expand">False</property>
2142             <property name="fill">False</property>
2143             <property name="pack_type">end</property>
2144             <property name="position">1</property>
2145           </packing>
2146         </child>
2147       </object>
2148     </child>
2149   </object>
2150   <object class="PsppireDialog" id="select-cases-random-sample-dialog">
2151     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2152     <property name="title">Select Cases: Random Sample</property>
2153     <property name="modal">True</property>
2154     <property name="orientation">Vertical</property>
2155     <child internal-child="hbox">
2156       <object class="GtkVBox" id="dialog-hbox13">
2157         <property name="visible">True</property>
2158         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2159         <property name="spacing">2</property>
2160         <child>
2161           <object class="GtkFrame" id="frame6">
2162             <property name="visible">True</property>
2163             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2164             <property name="label_xalign">0</property>
2165             <child>
2166               <object class="GtkAlignment" id="alignment4">
2167                 <property name="visible">True</property>
2168                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2169                 <property name="top_padding">5</property>
2170                 <property name="bottom_padding">5</property>
2171                 <property name="left_padding">5</property>
2172                 <property name="right_padding">5</property>
2173                 <child>
2174                   <object class="GtkTable" id="select-cases-random-sample-table">
2175                     <property name="visible">True</property>
2176                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2177                     <property name="n_rows">2</property>
2178                     <property name="n_columns">2</property>
2179                     <property name="column_spacing">5</property>
2180                     <property name="row_spacing">5</property>
2181                     <child>
2182                       <object class="GtkRadioButton" id="radiobutton-sample-percent">
2183                         <property name="visible">True</property>
2184                         <property name="can_focus">True</property>
2185                         <property name="receives_default">False</property>
2186                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2187                         <property name="active">True</property>
2188                         <property name="draw_indicator">True</property>
2189                       </object>
2190                       <packing>
2191                         <property name="x_options"></property>
2192                       </packing>
2193                     </child>
2194                     <child>
2195                       <object class="GtkRadioButton" id="radiobutton-sample-n-cases">
2196                         <property name="visible">True</property>
2197                         <property name="can_focus">True</property>
2198                         <property name="receives_default">False</property>
2199                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2200                         <property name="active">True</property>
2201                         <property name="draw_indicator">True</property>
2202                         <property name="group">radiobutton-sample-percent</property>
2203                       </object>
2204                       <packing>
2205                         <property name="top_attach">1</property>
2206                         <property name="bottom_attach">2</property>
2207                         <property name="x_options"></property>
2208                       </packing>
2209                     </child>
2210                     <child>
2211                       <object class="GtkAlignment" id="alignment9">
2212                         <property name="visible">True</property>
2213                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2214                         <property name="xalign">0</property>
2215                         <property name="xscale">0</property>
2216                         <child>
2217                           <placeholder/>
2218                         </child>
2219                       </object>
2220                       <packing>
2221                         <property name="left_attach">1</property>
2222                         <property name="right_attach">2</property>
2223                       </packing>
2224                     </child>
2225                     <child>
2226                       <object class="GtkAlignment" id="alignment14">
2227                         <property name="visible">True</property>
2228                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2229                         <property name="xalign">0</property>
2230                         <property name="xscale">0</property>
2231                         <child>
2232                           <placeholder/>
2233                         </child>
2234                       </object>
2235                       <packing>
2236                         <property name="left_attach">1</property>
2237                         <property name="right_attach">2</property>
2238                         <property name="top_attach">1</property>
2239                         <property name="bottom_attach">2</property>
2240                       </packing>
2241                     </child>
2242                   </object>
2243                 </child>
2244               </object>
2245             </child>
2246             <child type="label">
2247               <object class="GtkLabel" id="label34">
2248                 <property name="visible">True</property>
2249                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2250                 <property name="label" translatable="yes">Sample Size</property>
2251                 <property name="use_markup">True</property>
2252               </object>
2253             </child>
2254           </object>
2255           <packing>
2256             <property name="padding">5</property>
2257             <property name="position">0</property>
2258           </packing>
2259         </child>
2260         <child>
2261           <object class="PsppireHButtonBox" id="psppire-hbuttonbox6">
2262             <property name="visible">True</property>
2263             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2264             <property name="border_width">5</property>
2265             <property name="buttons">PSPPIRE_BUTTON_CONTINUE_MASK | PSPPIRE_BUTTON_CANCEL_MASK | PSPPIRE_BUTTON_HELP_MASK</property>
2266           </object>
2267           <packing>
2268             <property name="expand">False</property>
2269             <property name="fill">False</property>
2270             <property name="pack_type">end</property>
2271             <property name="position">1</property>
2272           </packing>
2273         </child>
2274       </object>
2275     </child>
2276   </object>
2277   <object class="GtkAdjustment" id="adjustment1">
2278     <property name="value">1</property>
2279     <property name="lower">1</property>
2280     <property name="upper">100</property>
2281     <property name="step_increment">1</property>
2282     <property name="page_increment">10</property>
2283     <property name="page_size">10</property>
2284   </object>
2285   <object class="GtkAdjustment" id="adjustment2">
2286     <property name="value">8</property>
2287     <property name="lower">1</property>
2288     <property name="upper">32767</property>
2289     <property name="step_increment">1</property>
2290     <property name="page_increment">10</property>
2291     <property name="page_size">10</property>
2292   </object>
2293   <object class="GtkAdjustment" id="adjustment3">
2294     <property name="lower">1</property>
2295     <property name="step_increment">1</property>
2296     <property name="page_increment">10</property>
2297     <property name="page_size">10</property>
2298   </object>
2299   <object class="GtkAdjustment" id="adjustment4">
2300     <property name="value">1</property>
2301     <property name="lower">1</property>
2302     <property name="upper">100</property>
2303     <property name="step_increment">1</property>
2304     <property name="page_increment">10</property>
2305     <property name="page_size">10</property>
2306   </object>
2307 </interface>