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