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