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.22"/>
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>
788