pintos-os.org Git - pspp/blob - src/ui/gui/select-cases.ui

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