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