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