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