3 <requires lib="psppire" version="2054.17080"/>
4 <!-- interface-requires gtk+ 2.12 -->
5 <!-- interface-naming-policy project-wide -->
6 <object class="PsppireDialog" id="select-cases-dialog">
7 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
8 <property name="title" translatable="yes">Select Cases</property>
9 <property name="modal">True</property>
10 <property name="orientation">Vertical</property>
11 <property name="help-page">SELECT-IF</property>
12 <child internal-child="hbox">
13 <object class="GtkVBox" id="dialog-hbox6">
14 <property name="visible">True</property>
15 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
16 <property name="spacing">2</property>
18 <object class="GtkAlignment" id="alignment1">
19 <property name="visible">True</property>
20 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
21 <property name="top_padding">5</property>
22 <property name="left_padding">5</property>
23 <property name="right_padding">5</property>
25 <object class="GtkHBox" id="hbox8">
26 <property name="visible">True</property>
27 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
28 <property name="spacing">5</property>
30 <object class="GtkScrolledWindow" id="scrolledwindow11">
31 <property name="visible">True</property>
32 <property name="can_focus">True</property>
33 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
34 <property name="hscrollbar_policy">automatic</property>
35 <property name="vscrollbar_policy">automatic</property>
36 <property name="shadow_type">in</property>
38 <object class="PsppireDictView" id="select-cases-treeview">
39 <property name="visible">True</property>
40 <property name="can_focus">True</property>
41 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
42 <property name="headers_visible">False</property>
43 <property name="fixed_height_mode">True</property>
48 <property name="position">0</property>
52 <object class="GtkVBox" id="vbox13">
53 <property name="visible">True</property>
54 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
56 <object class="GtkFrame" id="Select5">
57 <property name="visible">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="label_xalign">0</property>
61 <object class="GtkAlignment" id="alignment11">
62 <property name="visible">True</property>
63 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
64 <property name="xscale">0</property>
65 <property name="left_padding">12</property>
66 <property name="right_padding">5</property>
68 <object class="GtkTable" id="table1">
69 <property name="visible">True</property>
70 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
71 <property name="n_rows">5</property>
72 <property name="n_columns">2</property>
73 <property name="row_spacing">5</property>
75 <object class="GtkRadioButton" id="radiobutton-all">
76 <property name="visible">True</property>
77 <property name="can_focus">True</property>
78 <property name="receives_default">False</property>
79 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
80 <property name="active">True</property>
81 <property name="draw_indicator">True</property>
85 <object class="GtkAlignment" id="alignment18">
86 <property name="visible">True</property>
87 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
88 <property name="xalign">0</property>
89 <property name="yalign">0</property>
90 <property name="xscale">0</property>
91 <property name="yscale">0</property>
93 <object class="GtkRadioButton" id="radiobutton-filter-variable">
94 <property name="visible">True</property>
95 <property name="can_focus">True</property>
96 <property name="receives_default">False</property>
97 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
98 <property name="active">True</property>
99 <property name="draw_indicator">True</property>
100 <property name="group">radiobutton-all</property>
105 <property name="top_attach">4</property>
106 <property name="bottom_attach">5</property>
107 <property name="x_options"></property>
111 <object class="GtkAlignment" id="alignment17">
112 <property name="visible">True</property>
113 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
114 <property name="xalign">0</property>
115 <property name="yalign">0</property>
116 <property name="xscale">0</property>
117 <property name="yscale">0</property>
119 <object class="GtkRadioButton" id="radiobutton-range">
120 <property name="visible">True</property>
121 <property name="can_focus">True</property>
122 <property name="receives_default">False</property>
123 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
124 <property name="active">True</property>
125 <property name="draw_indicator">True</property>
126 <property name="group">radiobutton-all</property>
131 <property name="top_attach">3</property>
132 <property name="bottom_attach">4</property>
133 <property name="x_options"></property>
137 <object class="GtkAlignment" id="alignment16">
138 <property name="visible">True</property>
139 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
140 <property name="xalign">0</property>
141 <property name="yalign">0</property>
142 <property name="xscale">0</property>
143 <property name="yscale">0</property>
145 <object class="GtkRadioButton" id="radiobutton-sample">
146 <property name="visible">True</property>
147 <property name="can_focus">True</property>
148 <property name="receives_default">False</property>
149 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
150 <property name="active">True</property>
151 <property name="draw_indicator">True</property>
152 <property name="group">radiobutton-all</property>
157 <property name="top_attach">2</property>
158 <property name="bottom_attach">3</property>
159 <property name="x_options"></property>
163 <object class="GtkAlignment" id="alignment13">
164 <property name="visible">True</property>
165 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
166 <property name="xalign">0</property>
167 <property name="yalign">0</property>
168 <property name="xscale">0</property>
169 <property name="yscale">0</property>
171 <object class="GtkRadioButton" id="radiobutton-if">
172 <property name="sensitive">False</property>
173 <property name="can_focus">True</property>
174 <property name="receives_default">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="active">True</property>
177 <property name="draw_indicator">True</property>
178 <property name="group">radiobutton-all</property>
183 <property name="top_attach">1</property>
184 <property name="bottom_attach">2</property>
185 <property name="x_options"></property>
189 <object class="GtkVBox" id="vbox26">
190 <property name="visible">True</property>
191 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
193 <object class="GtkLabel" id="label25">
194 <property name="visible">True</property>
195 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
196 <property name="xalign">0</property>
197 <property name="label" translatable="yes">Use filter variable</property>
200 <property name="position">0</property>
204 <object class="GtkHBox" id="hbox19">
205 <property name="visible">True</property>
206 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
208 <object class="PsppireSelector" id="psppire-selector-filter">
209 <property name="visible">True</property>
210 <property name="can_focus">True</property>
211 <property name="receives_default">True</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="border_width">5</property>
214 <property name="source_widget">select-cases-treeview</property>
215 <property name="dest_widget">filter-variable-entry</property>
218 <property name="expand">False</property>
219 <property name="fill">False</property>
220 <property name="position">0</property>
224 <object class="GtkEntry" id="filter-variable-entry">
225 <property name="visible">True</property>
226 <property name="sensitive">False</property>
227 <property name="can_focus">True</property>
228 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
231 <property name="position">1</property>
236 <property name="position">1</property>
241 <property name="left_attach">1</property>
242 <property name="right_attach">2</property>
243 <property name="top_attach">4</property>
244 <property name="bottom_attach">5</property>
248 <object class="GtkVBox" id="vbox25">
249 <property name="visible">True</property>
250 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
252 <object class="GtkLabel" id="label15">
253 <property name="visible">True</property>
254 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
255 <property name="xalign">0</property>
256 <property name="label" translatable="yes">Based on time or case range</property>
259 <property name="position">0</property>
263 <object class="GtkHBox" id="hbox12">
264 <property name="visible">True</property>
265 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
267 <object class="GtkButton" id="button-range">
268 <property name="label" translatable="yes">Range...</property>
269 <property name="visible">True</property>
270 <property name="can_focus">True</property>
271 <property name="receives_default">True</property>
272 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
275 <property name="expand">False</property>
276 <property name="fill">False</property>
277 <property name="position">0</property>
281 <object class="GtkLabel" id="range-sample-label">
282 <property name="visible">True</property>
283 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
286 <property name="position">1</property>
291 <property name="position">1</property>
296 <property name="left_attach">1</property>
297 <property name="right_attach">2</property>
298 <property name="top_attach">3</property>
299 <property name="bottom_attach">4</property>
303 <object class="GtkVBox" id="vbox24">
304 <property name="visible">True</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>
308 <object class="GtkLabel" id="label13">
309 <property name="visible">True</property>
310 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
311 <property name="xalign">0</property>
312 <property name="label" translatable="yes">Random sample of cases</property>
315 <property name="position">0</property>
319 <object class="GtkHBox" id="hbox11">
320 <property name="visible">True</property>
321 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
322 <property name="spacing">5</property>
324 <object class="GtkButton" id="button-sample">
325 <property name="label" translatable="yes">Sample...</property>
326 <property name="visible">True</property>
327 <property name="can_focus">True</property>
328 <property name="receives_default">True</property>
329 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
332 <property name="expand">False</property>
333 <property name="fill">False</property>
334 <property name="position">0</property>
338 <object class="GtkLabel" id="random-sample-label">
339 <property name="visible">True</property>
340 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
343 <property name="position">1</property>
348 <property name="position">1</property>
353 <property name="left_attach">1</property>
354 <property name="right_attach">2</property>
355 <property name="top_attach">2</property>
356 <property name="bottom_attach">3</property>
360 <object class="GtkVBox" id="vbox14">
361 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
363 <object class="GtkLabel" id="label11">
364 <property name="visible">True</property>
365 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
366 <property name="xalign">0</property>
367 <property name="label" translatable="yes">If condition is satisfied</property>
370 <property name="position">0</property>
374 <object class="GtkHBox" id="hbox9">
375 <property name="visible">True</property>
376 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
378 <object class="GtkButton" id="button-if">
379 <property name="label" translatable="yes">If...</property>
380 <property name="visible">True</property>
381 <property name="sensitive">False</property>
382 <property name="can_focus">True</property>
383 <property name="receives_default">True</property>
384 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
387 <property name="expand">False</property>
388 <property name="fill">False</property>
389 <property name="position">0</property>
393 <object class="GtkLabel" id="label26">
394 <property name="visible">True</property>
395 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
398 <property name="position">1</property>
403 <property name="position">1</property>
408 <property name="left_attach">1</property>
409 <property name="right_attach">2</property>
410 <property name="top_attach">1</property>
411 <property name="bottom_attach">2</property>
415 <object class="GtkLabel" id="label10">
416 <property name="visible">True</property>
417 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
418 <property name="xalign">0</property>
419 <property name="label" translatable="yes">All Cases</property>
422 <property name="left_attach">1</property>
423 <property name="right_attach">2</property>
431 <object class="GtkLabel" id="Select6">
432 <property name="visible">True</property>
433 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
434 <property name="label" translatable="yes">Select</property>
435 <property name="use_markup">True</property>
440 <property name="position">0</property>
444 <object class="GtkFrame" id="frame8">
445 <property name="visible">True</property>
446 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
447 <property name="label_xalign">0</property>
449 <object class="GtkAlignment" id="alignment12">
450 <property name="visible">True</property>
451 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
452 <property name="left_padding">12</property>
454 <object class="GtkHButtonBox" id="filter-delete-button-box">
455 <property name="visible">True</property>
456 <property name="sensitive">False</property>
457 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
458 <property name="layout_style">spread</property>
460 <object class="GtkRadioButton" id="radiobutton-filter">
461 <property name="label" translatable="yes">Filtered</property>
462 <property name="visible">True</property>
463 <property name="can_focus">True</property>
464 <property name="receives_default">False</property>
465 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
466 <property name="active">True</property>
467 <property name="draw_indicator">True</property>
470 <property name="expand">False</property>
471 <property name="fill">False</property>
472 <property name="position">0</property>
476 <object class="GtkRadioButton" id="radiobutton-delete">
477 <property name="label" translatable="yes">Deleted</property>
478 <property name="visible">True</property>
479 <property name="can_focus">True</property>
480 <property name="receives_default">False</property>
481 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
482 <property name="active">True</property>
483 <property name="draw_indicator">True</property>
484 <property name="group">radiobutton-filter</property>
487 <property name="expand">False</property>
488 <property name="fill">False</property>
489 <property name="position">1</property>
497 <object class="GtkLabel" id="label9">
498 <property name="visible">True</property>
499 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
500 <property name="label" translatable="yes">Unselected Cases Are</property>
501 <property name="use_markup">True</property>
506 <property name="position">1</property>
511 <property name="expand">False</property>
512 <property name="fill">False</property>
513 <property name="pack_type">end</property>
514 <property name="position">1</property>
521 <property name="position">0</property>
525 <object class="PsppireHButtonBox" id="psppire-hbuttonbox3">
526 <property name="visible">True</property>
527 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
528 <property name="border_width">5</property>
531 <property name="expand">False</property>
532 <property name="fill">False</property>
533 <property name="pack_type">end</property>
534 <property name="position">1</property>
540 <object class="PsppireDialog" id="select-cases-range-dialog">
541 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
542 <property name="title" translatable="yes">Select Cases: Range</property>
543 <property name="modal">True</property>
544 <property name="orientation">Vertical</property>
545 <child internal-child="hbox">
546 <object class="GtkVBox" id="dialog-hbox10">
547 <property name="visible">True</property>
548 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
549 <property name="spacing">2</property>
551 <object class="GtkTable" id="table3">
552 <property name="visible">True</property>
553 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
554 <property name="n_rows">2</property>
555 <property name="n_columns">3</property>
556 <property name="column_spacing">5</property>
558 <object class="GtkSpinButton" id="range-dialog-last">
559 <property name="visible">True</property>
560 <property name="adjustment">adjustment1</property>
561 <property name="can_focus">True</property>
562 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
563 <property name="truncate_multiline">True</property>
566 <property name="left_attach">2</property>
567 <property name="right_attach">3</property>
568 <property name="top_attach">1</property>
569 <property name="bottom_attach">2</property>
573 <object class="GtkSpinButton" id="range-dialog-first">
574 <property name="visible">True</property>
575 <property name="adjustment">adjustment2</property>
576 <property name="can_focus">True</property>
577 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
578 <property name="truncate_multiline">True</property>
581 <property name="left_attach">1</property>
582 <property name="right_attach">2</property>
583 <property name="top_attach">1</property>
584 <property name="bottom_attach">2</property>
588 <object class="GtkLabel" id="label8">
589 <property name="visible">True</property>
590 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
591 <property name="label" translatable="yes">First case</property>
594 <property name="left_attach">1</property>
595 <property name="right_attach">2</property>
596 <property name="x_options"></property>
597 <property name="y_options"></property>
601 <object class="GtkLabel" id="label12">
602 <property name="visible">True</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="label" translatable="yes">Last case</property>
607 <property name="left_attach">2</property>
608 <property name="right_attach">3</property>
609 <property name="x_options"></property>
610 <property name="y_options"></property>
614 <object class="GtkLabel" id="label14">
615 <property name="visible">True</property>
616 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
617 <property name="label" translatable="yes">Observation</property>
620 <property name="bottom_attach">2</property>
625 <property name="fill">False</property>
626 <property name="padding">5</property>
627 <property name="position">0</property>
631 <object class="PsppireHButtonBox" id="psppire-hbuttonbox4">
632 <property name="visible">True</property>
633 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
634 <property name="border_width">5</property>
635 <property name="buttons">PSPPIRE_BUTTON_CONTINUE_MASK | PSPPIRE_BUTTON_CANCEL_MASK | PSPPIRE_BUTTON_HELP_MASK</property>
638 <property name="expand">False</property>
639 <property name="fill">False</property>
640 <property name="pack_type">end</property>
641 <property name="position">1</property>
647 <object class="PsppireDialog" id="select-cases-random-sample-dialog">
648 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
649 <property name="title" translatable="yes">Select Cases: Random Sample</property>
650 <property name="modal">True</property>
651 <property name="orientation">Vertical</property>
652 <child internal-child="hbox">
653 <object class="GtkVBox" id="dialog-hbox13">
654 <property name="visible">True</property>
655 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
656 <property name="spacing">2</property>
658 <object class="GtkFrame" id="frame6">
659 <property name="visible">True</property>
660 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
661 <property name="label_xalign">0</property>
663 <object class="GtkAlignment" id="alignment4">
664 <property name="visible">True</property>
665 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
666 <property name="top_padding">5</property>
667 <property name="bottom_padding">5</property>
668 <property name="left_padding">5</property>
669 <property name="right_padding">5</property>
671 <object class="GtkTable" id="select-cases-random-sample-table">
672 <property name="visible">True</property>
673 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
674 <property name="n_rows">2</property>
675 <property name="n_columns">2</property>
676 <property name="column_spacing">5</property>
677 <property name="row_spacing">5</property>
679 <object class="GtkRadioButton" id="radiobutton-sample-percent">
680 <property name="visible">True</property>
681 <property name="can_focus">True</property>
682 <property name="receives_default">False</property>
683 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
684 <property name="active">True</property>
685 <property name="draw_indicator">True</property>
688 <property name="x_options"></property>
692 <object class="GtkRadioButton" id="radiobutton-sample-n-cases">
693 <property name="visible">True</property>
694 <property name="can_focus">True</property>
695 <property name="receives_default">False</property>
696 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
697 <property name="active">True</property>
698 <property name="draw_indicator">True</property>
699 <property name="group">radiobutton-sample-percent</property>
702 <property name="top_attach">1</property>
703 <property name="bottom_attach">2</property>
704 <property name="x_options"></property>
708 <object class="GtkAlignment" id="alignment9">
709 <property name="visible">True</property>
710 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
711 <property name="xalign">0</property>
712 <property name="xscale">0</property>
718 <property name="left_attach">1</property>
719 <property name="right_attach">2</property>
723 <object class="GtkAlignment" id="alignment14">
724 <property name="visible">True</property>
725 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
726 <property name="xalign">0</property>
727 <property name="xscale">0</property>
733 <property name="left_attach">1</property>
734 <property name="right_attach">2</property>
735 <property name="top_attach">1</property>
736 <property name="bottom_attach">2</property>
744 <object class="GtkLabel" id="label34">
745 <property name="visible">True</property>
746 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
747 <property name="label" translatable="yes">Sample Size</property>
748 <property name="use_markup">True</property>
753 <property name="padding">5</property>
754 <property name="position">0</property>
758 <object class="PsppireHButtonBox" id="psppire-hbuttonbox6">
759 <property name="visible">True</property>
760 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
761 <property name="border_width">5</property>
762 <property name="buttons">PSPPIRE_BUTTON_CONTINUE_MASK | PSPPIRE_BUTTON_CANCEL_MASK | PSPPIRE_BUTTON_HELP_MASK</property>
765 <property name="expand">False</property>
766 <property name="fill">False</property>
767 <property name="pack_type">end</property>
768 <property name="position">1</property>
774 <object class="GtkAdjustment" id="adjustment1">
775 <property name="lower">1</property>
776 <property name="upper">1</property>
777 <property name="step_increment">1</property>
778 <property name="page_increment">10</property>
780 <object class="GtkAdjustment" id="adjustment2">
781 <property name="lower">1</property>
782 <property name="upper">1</property>
783 <property name="step_increment">1</property>
784 <property name="page_increment">10</property>