Filter file choosers by mimetype instead of file name
[pspp-builds.git] / src / ui / gui / select-cases.ui
1 <?xml version="1.0"?>
2 <interface>
3   <requires lib="psppire" version="2054.17080"/>
4   <!-- interface-requires gtk+ 2.12 -->
5   <!-- interface-naming-policy project-wide -->
6   <object class="PsppireDialog" id="select-cases-dialog">
7     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
8     <property name="title" translatable="yes">Select Cases</property>
9     <property name="modal">True</property>
10     <property name="orientation">Vertical</property>
11     <child internal-child="hbox">
12       <object class="GtkVBox" id="dialog-hbox6">
13         <property name="visible">True</property>
14         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
15         <property name="spacing">2</property>
16         <child>
17           <object class="GtkAlignment" id="alignment1">
18             <property name="visible">True</property>
19             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
20             <property name="top_padding">5</property>
21             <property name="left_padding">5</property>
22             <property name="right_padding">5</property>
23             <child>
24               <object class="GtkHBox" id="hbox8">
25                 <property name="visible">True</property>
26                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
27                 <property name="spacing">5</property>
28                 <child>
29                   <object class="GtkScrolledWindow" id="scrolledwindow11">
30                     <property name="visible">True</property>
31                     <property name="can_focus">True</property>
32                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
33                     <property name="hscrollbar_policy">automatic</property>
34                     <property name="vscrollbar_policy">automatic</property>
35                     <property name="shadow_type">in</property>
36                     <child>
37                       <object class="PsppireDictView" id="select-cases-treeview">
38                         <property name="visible">True</property>
39                         <property name="can_focus">True</property>
40                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
41                         <property name="headers_visible">False</property>
42                         <property name="fixed_height_mode">True</property>
43                       </object>
44                     </child>
45                   </object>
46                   <packing>
47                     <property name="position">0</property>
48                   </packing>
49                 </child>
50                 <child>
51                   <object class="GtkVBox" id="vbox13">
52                     <property name="visible">True</property>
53                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
54                     <child>
55                       <object class="GtkFrame" id="Select5">
56                         <property name="visible">True</property>
57                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
58                         <property name="label_xalign">0</property>
59                         <child>
60                           <object class="GtkAlignment" id="alignment11">
61                             <property name="visible">True</property>
62                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
63                             <property name="xscale">0</property>
64                             <property name="left_padding">12</property>
65                             <property name="right_padding">5</property>
66                             <child>
67                               <object class="GtkTable" id="table1">
68                                 <property name="visible">True</property>
69                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
70                                 <property name="n_rows">5</property>
71                                 <property name="n_columns">2</property>
72                                 <property name="row_spacing">5</property>
73                                 <child>
74                                   <object class="GtkRadioButton" id="radiobutton-all">
75                                     <property name="visible">True</property>
76                                     <property name="can_focus">True</property>
77                                     <property name="receives_default">False</property>
78                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
79                                     <property name="active">True</property>
80                                     <property name="draw_indicator">True</property>
81                                   </object>
82                                 </child>
83                                 <child>
84                                   <object class="GtkAlignment" id="alignment18">
85                                     <property name="visible">True</property>
86                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
87                                     <property name="xalign">0</property>
88                                     <property name="yalign">0</property>
89                                     <property name="xscale">0</property>
90                                     <property name="yscale">0</property>
91                                     <child>
92                                       <object class="GtkRadioButton" id="radiobutton-filter-variable">
93                                         <property name="visible">True</property>
94                                         <property name="can_focus">True</property>
95                                         <property name="receives_default">False</property>
96                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
97                                         <property name="active">True</property>
98                                         <property name="draw_indicator">True</property>
99                                         <property name="group">radiobutton-all</property>
100                                       </object>
101                                     </child>
102                                   </object>
103                                   <packing>
104                                     <property name="top_attach">4</property>
105                                     <property name="bottom_attach">5</property>
106                                     <property name="x_options"></property>
107                                   </packing>
108                                 </child>
109                                 <child>
110                                   <object class="GtkAlignment" id="alignment17">
111                                     <property name="visible">True</property>
112                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
113                                     <property name="xalign">0</property>
114                                     <property name="yalign">0</property>
115                                     <property name="xscale">0</property>
116                                     <property name="yscale">0</property>
117                                     <child>
118                                       <object class="GtkRadioButton" id="radiobutton-range">
119                                         <property name="visible">True</property>
120                                         <property name="can_focus">True</property>
121                                         <property name="receives_default">False</property>
122                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
123                                         <property name="active">True</property>
124                                         <property name="draw_indicator">True</property>
125                                         <property name="group">radiobutton-all</property>
126                                       </object>
127                                     </child>
128                                   </object>
129                                   <packing>
130                                     <property name="top_attach">3</property>
131                                     <property name="bottom_attach">4</property>
132                                     <property name="x_options"></property>
133                                   </packing>
134                                 </child>
135                                 <child>
136                                   <object class="GtkAlignment" id="alignment16">
137                                     <property name="visible">True</property>
138                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
139                                     <property name="xalign">0</property>
140                                     <property name="yalign">0</property>
141                                     <property name="xscale">0</property>
142                                     <property name="yscale">0</property>
143                                     <child>
144                                       <object class="GtkRadioButton" id="radiobutton-sample">
145                                         <property name="visible">True</property>
146                                         <property name="can_focus">True</property>
147                                         <property name="receives_default">False</property>
148                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
149                                         <property name="active">True</property>
150                                         <property name="draw_indicator">True</property>
151                                         <property name="group">radiobutton-all</property>
152                                       </object>
153                                     </child>
154                                   </object>
155                                   <packing>
156                                     <property name="top_attach">2</property>
157                                     <property name="bottom_attach">3</property>
158                                     <property name="x_options"></property>
159                                   </packing>
160                                 </child>
161                                 <child>
162                                   <object class="GtkAlignment" id="alignment13">
163                                     <property name="visible">True</property>
164                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
165                                     <property name="xalign">0</property>
166                                     <property name="yalign">0</property>
167                                     <property name="xscale">0</property>
168                                     <property name="yscale">0</property>
169                                     <child>
170                                       <object class="GtkRadioButton" id="radiobutton-if">
171                                         <property name="sensitive">False</property>
172                                         <property name="can_focus">True</property>
173                                         <property name="receives_default">False</property>
174                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
175                                         <property name="active">True</property>
176                                         <property name="draw_indicator">True</property>
177                                         <property name="group">radiobutton-all</property>
178                                       </object>
179                                     </child>
180                                   </object>
181                                   <packing>
182                                     <property name="top_attach">1</property>
183                                     <property name="bottom_attach">2</property>
184                                     <property name="x_options"></property>
185                                   </packing>
186                                 </child>
187                                 <child>
188                                   <object class="GtkVBox" id="vbox26">
189                                     <property name="visible">True</property>
190                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
191                                     <child>
192                                       <object class="GtkLabel" id="label25">
193                                         <property name="visible">True</property>
194                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
195                                         <property name="xalign">0</property>
196                                         <property name="label" translatable="yes">Use filter variable</property>
197                                       </object>
198                                       <packing>
199                                         <property name="position">0</property>
200                                       </packing>
201                                     </child>
202                                     <child>
203                                       <object class="GtkHBox" id="hbox19">
204                                         <property name="visible">True</property>
205                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
206                                         <child>
207                                           <object class="PsppireSelector" id="psppire-selector-filter">
208                                             <property name="visible">True</property>
209                                             <property name="can_focus">True</property>
210                                             <property name="receives_default">True</property>
211                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
212                                             <property name="border_width">5</property>
213                                             <property name="source_widget">select-cases-treeview</property>
214                                             <property name="dest_widget">filter-variable-entry</property>
215                                           </object>
216                                           <packing>
217                                             <property name="expand">False</property>
218                                             <property name="fill">False</property>
219                                             <property name="position">0</property>
220                                           </packing>
221                                         </child>
222                                         <child>
223                                           <object class="GtkEntry" id="filter-variable-entry">
224                                             <property name="visible">True</property>
225                                             <property name="sensitive">False</property>
226                                             <property name="can_focus">True</property>
227                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
228                                           </object>
229                                           <packing>
230                                             <property name="position">1</property>
231                                           </packing>
232                                         </child>
233                                       </object>
234                                       <packing>
235                                         <property name="position">1</property>
236                                       </packing>
237                                     </child>
238                                   </object>
239                                   <packing>
240                                     <property name="left_attach">1</property>
241                                     <property name="right_attach">2</property>
242                                     <property name="top_attach">4</property>
243                                     <property name="bottom_attach">5</property>
244                                   </packing>
245                                 </child>
246                                 <child>
247                                   <object class="GtkVBox" id="vbox25">
248                                     <property name="visible">True</property>
249                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
250                                     <child>
251                                       <object class="GtkLabel" id="label15">
252                                         <property name="visible">True</property>
253                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
254                                         <property name="xalign">0</property>
255                                         <property name="label" translatable="yes">Based on time or case range</property>
256                                       </object>
257                                       <packing>
258                                         <property name="position">0</property>
259                                       </packing>
260                                     </child>
261                                     <child>
262                                       <object class="GtkHBox" id="hbox12">
263                                         <property name="visible">True</property>
264                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
265                                         <child>
266                                           <object class="GtkButton" id="button-range">
267                                             <property name="label" translatable="yes">Range...</property>
268                                             <property name="visible">True</property>
269                                             <property name="can_focus">True</property>
270                                             <property name="receives_default">True</property>
271                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
272                                           </object>
273                                           <packing>
274                                             <property name="expand">False</property>
275                                             <property name="fill">False</property>
276                                             <property name="position">0</property>
277                                           </packing>
278                                         </child>
279                                         <child>
280                                           <object class="GtkLabel" id="range-sample-label">
281                                             <property name="visible">True</property>
282                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
283                                           </object>
284                                           <packing>
285                                             <property name="position">1</property>
286                                           </packing>
287                                         </child>
288                                       </object>
289                                       <packing>
290                                         <property name="position">1</property>
291                                       </packing>
292                                     </child>
293                                   </object>
294                                   <packing>
295                                     <property name="left_attach">1</property>
296                                     <property name="right_attach">2</property>
297                                     <property name="top_attach">3</property>
298                                     <property name="bottom_attach">4</property>
299                                   </packing>
300                                 </child>
301                                 <child>
302                                   <object class="GtkVBox" id="vbox24">
303                                     <property name="visible">True</property>
304                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
305                                     <property name="orientation">vertical</property>
306                                     <child>
307                                       <object class="GtkLabel" id="label13">
308                                         <property name="visible">True</property>
309                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
310                                         <property name="xalign">0</property>
311                                         <property name="label" translatable="yes">Random sample of cases</property>
312                                       </object>
313                                       <packing>
314                                         <property name="position">0</property>
315                                       </packing>
316                                     </child>
317                                     <child>
318                                       <object class="GtkHBox" id="hbox11">
319                                         <property name="visible">True</property>
320                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
321                                         <property name="spacing">5</property>
322                                         <child>
323                                           <object class="GtkButton" id="button-sample">
324                                             <property name="label" translatable="yes">Sample...</property>
325                                             <property name="visible">True</property>
326                                             <property name="can_focus">True</property>
327                                             <property name="receives_default">True</property>
328                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
329                                           </object>
330                                           <packing>
331                                             <property name="expand">False</property>
332                                             <property name="fill">False</property>
333                                             <property name="position">0</property>
334                                           </packing>
335                                         </child>
336                                         <child>
337                                           <object class="GtkLabel" id="random-sample-label">
338                                             <property name="visible">True</property>
339                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
340                                           </object>
341                                           <packing>
342                                             <property name="position">1</property>
343                                           </packing>
344                                         </child>
345                                       </object>
346                                       <packing>
347                                         <property name="position">1</property>
348                                       </packing>
349                                     </child>
350                                   </object>
351                                   <packing>
352                                     <property name="left_attach">1</property>
353                                     <property name="right_attach">2</property>
354                                     <property name="top_attach">2</property>
355                                     <property name="bottom_attach">3</property>
356                                   </packing>
357                                 </child>
358                                 <child>
359                                   <object class="GtkVBox" id="vbox14">
360                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
361                                     <child>
362                                       <object class="GtkLabel" id="label11">
363                                         <property name="visible">True</property>
364                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
365                                         <property name="xalign">0</property>
366                                         <property name="label" translatable="yes">If condition is satisfied</property>
367                                       </object>
368                                       <packing>
369                                         <property name="position">0</property>
370                                       </packing>
371                                     </child>
372                                     <child>
373                                       <object class="GtkHBox" id="hbox9">
374                                         <property name="visible">True</property>
375                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
376                                         <child>
377                                           <object class="GtkButton" id="button-if">
378                                             <property name="label" translatable="yes">If...</property>
379                                             <property name="visible">True</property>
380                                             <property name="sensitive">False</property>
381                                             <property name="can_focus">True</property>
382                                             <property name="receives_default">True</property>
383                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
384                                           </object>
385                                           <packing>
386                                             <property name="expand">False</property>
387                                             <property name="fill">False</property>
388                                             <property name="position">0</property>
389                                           </packing>
390                                         </child>
391                                         <child>
392                                           <object class="GtkLabel" id="label26">
393                                             <property name="visible">True</property>
394                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
395                                           </object>
396                                           <packing>
397                                             <property name="position">1</property>
398                                           </packing>
399                                         </child>
400                                       </object>
401                                       <packing>
402                                         <property name="position">1</property>
403                                       </packing>
404                                     </child>
405                                   </object>
406                                   <packing>
407                                     <property name="left_attach">1</property>
408                                     <property name="right_attach">2</property>
409                                     <property name="top_attach">1</property>
410                                     <property name="bottom_attach">2</property>
411                                   </packing>
412                                 </child>
413                                 <child>
414                                   <object class="GtkLabel" id="label10">
415                                     <property name="visible">True</property>
416                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
417                                     <property name="xalign">0</property>
418                                     <property name="label" translatable="yes">All Cases</property>
419                                   </object>
420                                   <packing>
421                                     <property name="left_attach">1</property>
422                                     <property name="right_attach">2</property>
423                                   </packing>
424                                 </child>
425                               </object>
426                             </child>
427                           </object>
428                         </child>
429                         <child type="label">
430                           <object class="GtkLabel" id="Select6">
431                             <property name="visible">True</property>
432                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
433                             <property name="label" translatable="yes">Select</property>
434                             <property name="use_markup">True</property>
435                           </object>
436                         </child>
437                       </object>
438                       <packing>
439                         <property name="position">0</property>
440                       </packing>
441                     </child>
442                     <child>
443                       <object class="GtkFrame" id="frame8">
444                         <property name="visible">True</property>
445                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
446                         <property name="label_xalign">0</property>
447                         <child>
448                           <object class="GtkAlignment" id="alignment12">
449                             <property name="visible">True</property>
450                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
451                             <property name="left_padding">12</property>
452                             <child>
453                               <object class="GtkHButtonBox" id="filter-delete-button-box">
454                                 <property name="visible">True</property>
455                                 <property name="sensitive">False</property>
456                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
457                                 <property name="layout_style">spread</property>
458                                 <child>
459                                   <object class="GtkRadioButton" id="radiobutton-filter">
460                                     <property name="label" translatable="yes">Filtered</property>
461                                     <property name="visible">True</property>
462                                     <property name="can_focus">True</property>
463                                     <property name="receives_default">False</property>
464                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
465                                     <property name="active">True</property>
466                                     <property name="draw_indicator">True</property>
467                                   </object>
468                                   <packing>
469                                     <property name="expand">False</property>
470                                     <property name="fill">False</property>
471                                     <property name="position">0</property>
472                                   </packing>
473                                 </child>
474                                 <child>
475                                   <object class="GtkRadioButton" id="radiobutton-delete">
476                                     <property name="label" translatable="yes">Deleted</property>
477                                     <property name="visible">True</property>
478                                     <property name="can_focus">True</property>
479                                     <property name="receives_default">False</property>
480                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
481                                     <property name="active">True</property>
482                                     <property name="draw_indicator">True</property>
483                                     <property name="group">radiobutton-filter</property>
484                                   </object>
485                                   <packing>
486                                     <property name="expand">False</property>
487                                     <property name="fill">False</property>
488                                     <property name="position">1</property>
489                                   </packing>
490                                 </child>
491                               </object>
492                             </child>
493                           </object>
494                         </child>
495                         <child type="label">
496                           <object class="GtkLabel" id="label9">
497                             <property name="visible">True</property>
498                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
499                             <property name="label" translatable="yes">Unselected Cases Are</property>
500                             <property name="use_markup">True</property>
501                           </object>
502                         </child>
503                       </object>
504                       <packing>
505                         <property name="position">1</property>
506                       </packing>
507                     </child>
508                   </object>
509                   <packing>
510                     <property name="expand">False</property>
511                     <property name="fill">False</property>
512                     <property name="pack_type">end</property>
513                     <property name="position">1</property>
514                   </packing>
515                 </child>
516               </object>
517             </child>
518           </object>
519           <packing>
520             <property name="position">0</property>
521           </packing>
522         </child>
523         <child>
524           <object class="PsppireHButtonBox" id="psppire-hbuttonbox3">
525             <property name="visible">True</property>
526             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
527             <property name="border_width">5</property>
528           </object>
529           <packing>
530             <property name="expand">False</property>
531             <property name="fill">False</property>
532             <property name="pack_type">end</property>
533             <property name="position">1</property>
534           </packing>
535         </child>
536       </object>
537     </child>
538   </object>
539   <object class="PsppireDialog" id="select-cases-range-dialog">
540     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
541     <property name="title" translatable="yes">Select Cases: Range</property>
542     <property name="modal">True</property>
543     <property name="orientation">Vertical</property>
544     <child internal-child="hbox">
545       <object class="GtkVBox" id="dialog-hbox10">
546         <property name="visible">True</property>
547         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
548         <property name="spacing">2</property>
549         <child>
550           <object class="GtkTable" id="table3">
551             <property name="visible">True</property>
552             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
553             <property name="n_rows">2</property>
554             <property name="n_columns">3</property>
555             <property name="column_spacing">5</property>
556             <child>
557               <object class="GtkSpinButton" id="range-dialog-last">
558                 <property name="visible">True</property>
559                 <property name="adjustment">adjustment1</property>
560                 <property name="can_focus">True</property>
561                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
562                 <property name="truncate_multiline">True</property>
563               </object>
564               <packing>
565                 <property name="left_attach">2</property>
566                 <property name="right_attach">3</property>
567                 <property name="top_attach">1</property>
568                 <property name="bottom_attach">2</property>
569               </packing>
570             </child>
571             <child>
572               <object class="GtkSpinButton" id="range-dialog-first">
573                 <property name="visible">True</property>
574                 <property name="adjustment">adjustment2</property>
575                 <property name="can_focus">True</property>
576                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
577                 <property name="truncate_multiline">True</property>
578               </object>
579               <packing>
580                 <property name="left_attach">1</property>
581                 <property name="right_attach">2</property>
582                 <property name="top_attach">1</property>
583                 <property name="bottom_attach">2</property>
584               </packing>
585             </child>
586             <child>
587               <object class="GtkLabel" id="label8">
588                 <property name="visible">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">First case</property>
591               </object>
592               <packing>
593                 <property name="left_attach">1</property>
594                 <property name="right_attach">2</property>
595                 <property name="x_options"></property>
596                 <property name="y_options"></property>
597               </packing>
598             </child>
599             <child>
600               <object class="GtkLabel" id="label12">
601                 <property name="visible">True</property>
602                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
603                 <property name="label" translatable="yes">Last case</property>
604               </object>
605               <packing>
606                 <property name="left_attach">2</property>
607                 <property name="right_attach">3</property>
608                 <property name="x_options"></property>
609                 <property name="y_options"></property>
610               </packing>
611             </child>
612             <child>
613               <object class="GtkLabel" id="label14">
614                 <property name="visible">True</property>
615                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
616                 <property name="label" translatable="yes">Observation</property>
617               </object>
618               <packing>
619                 <property name="bottom_attach">2</property>
620               </packing>
621             </child>
622           </object>
623           <packing>
624             <property name="fill">False</property>
625             <property name="padding">5</property>
626             <property name="position">0</property>
627           </packing>
628         </child>
629         <child>
630           <object class="PsppireHButtonBox" id="psppire-hbuttonbox4">
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="border_width">5</property>
634             <property name="buttons">PSPPIRE_BUTTON_CONTINUE_MASK | PSPPIRE_BUTTON_CANCEL_MASK | PSPPIRE_BUTTON_HELP_MASK</property>
635           </object>
636           <packing>
637             <property name="expand">False</property>
638             <property name="fill">False</property>
639             <property name="pack_type">end</property>
640             <property name="position">1</property>
641           </packing>
642         </child>
643       </object>
644     </child>
645   </object>
646   <object class="PsppireDialog" id="select-cases-random-sample-dialog">
647     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
648     <property name="title" translatable="yes">Select Cases: Random Sample</property>
649     <property name="modal">True</property>
650     <property name="orientation">Vertical</property>
651     <child internal-child="hbox">
652       <object class="GtkVBox" id="dialog-hbox13">
653         <property name="visible">True</property>
654         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
655         <property name="spacing">2</property>
656         <child>
657           <object class="GtkFrame" id="frame6">
658             <property name="visible">True</property>
659             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
660             <property name="label_xalign">0</property>
661             <child>
662               <object class="GtkAlignment" id="alignment4">
663                 <property name="visible">True</property>
664                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
665                 <property name="top_padding">5</property>
666                 <property name="bottom_padding">5</property>
667                 <property name="left_padding">5</property>
668                 <property name="right_padding">5</property>
669                 <child>
670                   <object class="GtkTable" id="select-cases-random-sample-table">
671                     <property name="visible">True</property>
672                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
673                     <property name="n_rows">2</property>
674                     <property name="n_columns">2</property>
675                     <property name="column_spacing">5</property>
676                     <property name="row_spacing">5</property>
677                     <child>
678                       <object class="GtkRadioButton" id="radiobutton-sample-percent">
679                         <property name="visible">True</property>
680                         <property name="can_focus">True</property>
681                         <property name="receives_default">False</property>
682                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
683                         <property name="active">True</property>
684                         <property name="draw_indicator">True</property>
685                       </object>
686                       <packing>
687                         <property name="x_options"></property>
688                       </packing>
689                     </child>
690                     <child>
691                       <object class="GtkRadioButton" id="radiobutton-sample-n-cases">
692                         <property name="visible">True</property>
693                         <property name="can_focus">True</property>
694                         <property name="receives_default">False</property>
695                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
696                         <property name="active">True</property>
697                         <property name="draw_indicator">True</property>
698                         <property name="group">radiobutton-sample-percent</property>
699                       </object>
700                       <packing>
701                         <property name="top_attach">1</property>
702                         <property name="bottom_attach">2</property>
703                         <property name="x_options"></property>
704                       </packing>
705                     </child>
706                     <child>
707                       <object class="GtkAlignment" id="alignment9">
708                         <property name="visible">True</property>
709                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
710                         <property name="xalign">0</property>
711                         <property name="xscale">0</property>
712                         <child>
713                           <placeholder/>
714                         </child>
715                       </object>
716                       <packing>
717                         <property name="left_attach">1</property>
718                         <property name="right_attach">2</property>
719                       </packing>
720                     </child>
721                     <child>
722                       <object class="GtkAlignment" id="alignment14">
723                         <property name="visible">True</property>
724                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
725                         <property name="xalign">0</property>
726                         <property name="xscale">0</property>
727                         <child>
728                           <placeholder/>
729                         </child>
730                       </object>
731                       <packing>
732                         <property name="left_attach">1</property>
733                         <property name="right_attach">2</property>
734                         <property name="top_attach">1</property>
735                         <property name="bottom_attach">2</property>
736                       </packing>
737                     </child>
738                   </object>
739                 </child>
740               </object>
741             </child>
742             <child type="label">
743               <object class="GtkLabel" id="label34">
744                 <property name="visible">True</property>
745                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
746                 <property name="label" translatable="yes">Sample Size</property>
747                 <property name="use_markup">True</property>
748               </object>
749             </child>
750           </object>
751           <packing>
752             <property name="padding">5</property>
753             <property name="position">0</property>
754           </packing>
755         </child>
756         <child>
757           <object class="PsppireHButtonBox" id="psppire-hbuttonbox6">
758             <property name="visible">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="border_width">5</property>
761             <property name="buttons">PSPPIRE_BUTTON_CONTINUE_MASK | PSPPIRE_BUTTON_CANCEL_MASK | PSPPIRE_BUTTON_HELP_MASK</property>
762           </object>
763           <packing>
764             <property name="expand">False</property>
765             <property name="fill">False</property>
766             <property name="pack_type">end</property>
767             <property name="position">1</property>
768           </packing>
769         </child>
770       </object>
771     </child>
772   </object>
773   <object class="GtkAdjustment" id="adjustment1">
774     <property name="lower">1</property>
775     <property name="upper">1</property>
776     <property name="step_increment">1</property>
777     <property name="page_increment">10</property>
778   </object>
779   <object class="GtkAdjustment" id="adjustment2">
780     <property name="lower">1</property>
781     <property name="upper">1</property>
782     <property name="step_increment">1</property>
783     <property name="page_increment">10</property>
784   </object>
785 </interface>