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="GtkVBox" 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="spacing">2</property>
  29         <child>
  30           <object class="GtkTable" id="table3">
  31             <property name="visible">True</property>
  32             <property name="can_focus">False</property>
  33             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  34             <property name="n_rows">2</property>
  35             <property name="n_columns">3</property>
  36             <property name="column_spacing">5</property>
  37             <child>
  38               <object class="GtkSpinButton" id="range-dialog-last">
  39                 <property name="visible">True</property>
  40                 <property name="can_focus">True</property>
  41                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  42                 <property name="truncate_multiline">True</property>
  43                 <property name="adjustment">adjustment1</property>
  44               </object>
  45               <packing>
  46                 <property name="left_attach">2</property>
  47                 <property name="right_attach">3</property>
  48                 <property name="top_attach">1</property>
  49                 <property name="bottom_attach">2</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="truncate_multiline">True</property>
  58                 <property name="adjustment">adjustment2</property>
  59               </object>
  60               <packing>
  61                 <property name="left_attach">1</property>
  62                 <property name="right_attach">2</property>
  63                 <property name="top_attach">1</property>
  64                 <property name="bottom_attach">2</property>
  65               </packing>
  66             </child>
  67             <child>
  68               <object class="GtkLabel" id="label8">
  69                 <property name="visible">True</property>
  70                 <property name="can_focus">False</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="label" translatable="yes">First case</property>
  73               </object>
  74               <packing>
  75                 <property name="left_attach">1</property>
  76                 <property name="right_attach">2</property>
  77                 <property name="x_options"/>
  78                 <property name="y_options"/>
  79               </packing>
  80             </child>
  81             <child>
  82               <object class="GtkLabel" id="label12">
  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">Last case</property>
  87               </object>
  88               <packing>
  89                 <property name="left_attach">2</property>
  90                 <property name="right_attach">3</property>
  91                 <property name="x_options"/>
  92                 <property name="y_options"/>
  93               </packing>
  94             </child>
  95             <child>
  96               <object class="GtkLabel" id="label14">
  97                 <property name="visible">True</property>
  98                 <property name="can_focus">False</property>
  99                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 100                 <property name="label" translatable="yes">Observation</property>
 101               </object>
 102               <packing>
 103                 <property name="bottom_attach">2</property>
 104               </packing>
 105             </child>
 106           </object>
 107           <packing>
 108             <property name="expand">True</property>
 109             <property name="fill">False</property>
 110             <property name="padding">5</property>
 111             <property name="position">0</property>
 112           </packing>
 113         </child>
 114         <child>
 115           <object class="PsppireHButtonBox" id="psppire-hbuttonbox4">
 116             <property name="visible">True</property>
 117             <property name="can_focus">False</property>
 118             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 119             <property name="border_width">5</property>
 120             <property name="buttons">PSPPIRE_BUTTON_CONTINUE_MASK | PSPPIRE_BUTTON_CANCEL_MASK | PSPPIRE_BUTTON_HELP_MASK</property>
 121           </object>
 122           <packing>
 123             <property name="expand">False</property>
 124             <property name="fill">False</property>
 125             <property name="pack_type">end</property>
 126             <property name="position">1</property>
 127           </packing>
 128         </child>
 129       </object>
 130     </child>
 131   </object>
 132   <object class="PsppireDialog" id="select-cases-dialog">
 133     <property name="can_focus">False</property>
 134     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 135     <property name="title" translatable="yes">Select Cases</property>
 136     <property name="modal">True</property>
 137     <property name="help_page">SELECT-IF</property>
 138     <child>
 139       <object class="GtkVBox" id="dialog-hbox6">
 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="spacing">2</property>
 144         <child>
 145           <object class="GtkAlignment" id="alignment1">
 146             <property name="visible">True</property>
 147             <property name="can_focus">False</property>
 148             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 149             <property name="top_padding">5</property>
 150             <property name="left_padding">5</property>
 151             <property name="right_padding">5</property>
 152             <child>
 153               <object class="GtkHBox" id="hbox8">
 154                 <property name="visible">True</property>
 155                 <property name="can_focus">False</property>
 156                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 157                 <property name="spacing">5</property>
 158                 <child>
 159                   <object class="GtkScrolledWindow" id="scrolledwindow11">
 160                     <property name="visible">True</property>
 161                     <property name="can_focus">True</property>
 162                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 163                     <property name="shadow_type">in</property>
 164                     <child>
 165                       <object class="PsppireDictView" id="select-cases-treeview">
 166                         <property name="visible">True</property>
 167                         <property name="can_focus">True</property>
 168                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 169                         <property name="border_width">0</property>
 170                         <property name="headers_visible">False</property>
 171                         <property name="fixed_height_mode">True</property>
 172                         <child internal-child="selection">
 173                           <object class="GtkTreeSelection" id="psppire-dictview-selection1"/>
 174                         </child>
 175                       </object>
 176                     </child>
 177                   </object>
 178                   <packing>
 179                     <property name="expand">True</property>
 180                     <property name="fill">True</property>
 181                     <property name="position">0</property>
 182                   </packing>
 183                 </child>
 184                 <child>
 185                   <object class="GtkVBox" id="vbox13">
 186                     <property name="visible">True</property>
 187                     <property name="can_focus">False</property>
 188                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 189                     <child>
 190                       <object class="GtkFrame" id="Select5">
 191                         <property name="visible">True</property>
 192                         <property name="can_focus">False</property>
 193                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 194                         <property name="label_xalign">0</property>
 195                         <child>
 196                           <object class="GtkAlignment" id="alignment11">
 197                             <property name="visible">True</property>
 198                             <property name="can_focus">False</property>
 199                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 200                             <property name="xscale">0</property>
 201                             <property name="left_padding">12</property>
 202                             <property name="right_padding">5</property>
 203                             <child>
 204                               <object class="GtkTable" 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="n_rows">5</property>
 209                                 <property name="n_columns">2</property>
 210                                 <property name="row_spacing">5</property>
 211                                 <child>
 212                                   <object class="GtkRadioButton" id="radiobutton-all">
 213                                     <property name="visible">True</property>
 214                                     <property name="can_focus">True</property>
 215                                     <property name="receives_default">False</property>
 216                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 217                                     <property name="xalign">0.5</property>
 218                                     <property name="active">True</property>
 219                                     <property name="draw_indicator">True</property>
 220                                   </object>
 221                                 </child>
 222                                 <child>
 223                                   <object class="GtkAlignment" id="alignment18">
 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="xalign">0</property>
 228                                     <property name="yalign">0</property>
 229                                     <property name="xscale">0</property>
 230                                     <property name="yscale">0</property>
 231                                     <child>
 232                                       <object class="GtkRadioButton" id="radiobutton-filter-variable">
 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="xalign">0.5</property>
 238                                         <property name="active">True</property>
 239                                         <property name="draw_indicator">True</property>
 240                                         <property name="group">radiobutton-all</property>
 241                                       </object>
 242                                     </child>
 243                                   </object>
 244                                   <packing>
 245                                     <property name="top_attach">4</property>
 246                                     <property name="bottom_attach">5</property>
 247                                     <property name="x_options"/>
 248                                   </packing>
 249                                 </child>
 250                                 <child>
 251                                   <object class="GtkAlignment" id="alignment17">
 252                                     <property name="visible">True</property>
 253                                     <property name="can_focus">False</property>
 254                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 255                                     <property name="xalign">0</property>
 256                                     <property name="yalign">0</property>
 257                                     <property name="xscale">0</property>
 258                                     <property name="yscale">0</property>
 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="xalign">0.5</property>
 266                                         <property name="active">True</property>
 267                                         <property name="draw_indicator">True</property>
 268                                         <property name="group">radiobutton-all</property>
 269                                       </object>
 270                                     </child>
 271                                   </object>
 272                                   <packing>
 273                                     <property name="top_attach">3</property>
 274                                     <property name="bottom_attach">4</property>
 275                                     <property name="x_options"/>
 276                                   </packing>
 277                                 </child>
 278                                 <child>
 279                                   <object class="GtkAlignment" id="alignment16">
 280                                     <property name="visible">True</property>
 281                                     <property name="can_focus">False</property>
 282                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 283                                     <property name="xalign">0</property>
 284                                     <property name="yalign">0</property>
 285                                     <property name="xscale">0</property>
 286                                     <property name="yscale">0</property>
 287                                     <child>
 288                                       <object class="GtkRadioButton" id="radiobutton-sample">
 289                                         <property name="visible">True</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="xalign">0.5</property>
 294                                         <property name="active">True</property>
 295                                         <property name="draw_indicator">True</property>
 296                                         <property name="group">radiobutton-all</property>
 297                                       </object>
 298                                     </child>
 299                                   </object>
 300                                   <packing>
 301                                     <property name="top_attach">2</property>
 302                                     <property name="bottom_attach">3</property>
 303                                     <property name="x_options"/>
 304                                   </packing>
 305                                 </child>
 306                                 <child>
 307                                   <object class="GtkAlignment" id="alignment13">
 308                                     <property name="visible">True</property>
 309                                     <property name="can_focus">False</property>
 310                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 311                                     <property name="xalign">0</property>
 312                                     <property name="yalign">0</property>
 313                                     <property name="xscale">0</property>
 314                                     <property name="yscale">0</property>
 315                                     <child>
 316                                       <object class="GtkRadioButton" id="radiobutton-if">
 317                                         <property name="sensitive">False</property>
 318                                         <property name="can_focus">True</property>
 319                                         <property name="receives_default">False</property>
 320                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 321                                         <property name="xalign">0.5</property>
 322                                         <property name="active">True</property>
 323                                         <property name="draw_indicator">True</property>
 324                                         <property name="group">radiobutton-all</property>
 325                                       </object>
 326                                     </child>
 327                                   </object>
 328                                   <packing>
 329                                     <property name="top_attach">1</property>
 330                                     <property name="bottom_attach">2</property>
 331                                     <property name="x_options"/>
 332                                   </packing>
 333                                 </child>
 334                                 <child>
 335                                   <object class="GtkVBox" id="vbox26">
 336                                     <property name="visible">True</property>
 337                                     <property name="can_focus">False</property>
 338                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 339                                     <child>
 340                                       <object class="GtkLabel" id="label25">
 341                                         <property name="visible">True</property>
 342                                         <property name="can_focus">False</property>
 343                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 344                                         <property name="xalign">0</property>
 345                                         <property name="label" translatable="yes">Use filter variable</property>
 346                                       </object>
 347                                       <packing>
 348                                         <property name="expand">True</property>
 349                                         <property name="fill">True</property>
 350                                         <property name="position">0</property>
 351                                       </packing>
 352                                     </child>
 353                                     <child>
 354                                       <object class="GtkHBox" id="hbox19">
 355                                         <property name="visible">True</property>
 356                                         <property name="can_focus">False</property>
 357                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 358                                         <child>
 359                                           <object class="PsppireSelector" id="psppire-selector-filter">
 360                                             <property name="visible">True</property>
 361                                             <property name="can_focus">True</property>
 362                                             <property name="receives_default">True</property>
 363                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 364                                             <property name="border_width">5</property>
 365                                             <property name="source_widget">select-cases-treeview</property>
 366                                             <property name="dest_widget">filter-variable-entry</property>
 367                                           </object>
 368                                           <packing>
 369                                             <property name="expand">False</property>
 370                                             <property name="fill">False</property>
 371                                             <property name="position">0</property>
 372                                           </packing>
 373                                         </child>
 374                                         <child>
 375                                           <object class="GtkEntry" id="filter-variable-entry">
 376                                             <property name="visible">True</property>
 377                                             <property name="sensitive">False</property>
 378                                             <property name="can_focus">True</property>
 379                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 380                                           </object>
 381                                           <packing>
 382                                             <property name="expand">True</property>
 383                                             <property name="fill">True</property>
 384                                             <property name="position">1</property>
 385                                           </packing>
 386                                         </child>
 387                                       </object>
 388                                       <packing>
 389                                         <property name="expand">True</property>
 390                                         <property name="fill">True</property>
 391                                         <property name="position">1</property>
 392                                       </packing>
 393                                     </child>
 394                                   </object>
 395                                   <packing>
 396                                     <property name="left_attach">1</property>
 397                                     <property name="right_attach">2</property>
 398                                     <property name="top_attach">4</property>
 399                                     <property name="bottom_attach">5</property>
 400                                   </packing>
 401                                 </child>
 402                                 <child>
 403                                   <object class="GtkVBox" id="vbox25">
 404                                     <property name="visible">True</property>
 405                                     <property name="can_focus">False</property>
 406                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 407                                     <child>
 408                                       <object class="GtkLabel" id="label15">
 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                                         <property name="xalign">0</property>
 413                                         <property name="label" translatable="yes">Based on time or case range</property>
 414                                       </object>
 415                                       <packing>
 416                                         <property name="expand">True</property>
 417                                         <property name="fill">True</property>
 418                                         <property name="position">0</property>
 419                                       </packing>
 420                                     </child>
 421                                     <child>
 422                                       <object class="GtkHBox" id="hbox12">
 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                                         <child>
 427                                           <object class="GtkButton" id="button-range">
 428                                             <property name="label" translatable="yes">Range...</property>
 429                                             <property name="visible">True</property>
 430                                             <property name="can_focus">True</property>
 431                                             <property name="receives_default">True</property>
 432                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 433                                           </object>
 434                                           <packing>
 435                                             <property name="expand">False</property>
 436                                             <property name="fill">False</property>
 437                                             <property name="position">0</property>
 438                                           </packing>
 439                                         </child>
 440                                         <child>
 441                                           <object class="GtkLabel" id="range-sample-label">
 442                                             <property name="visible">True</property>
 443                                             <property name="can_focus">False</property>
 444                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 445                                           </object>
 446                                           <packing>
 447                                             <property name="expand">True</property>
 448                                             <property name="fill">True</property>
 449                                             <property name="position">1</property>
 450                                           </packing>
 451                                         </child>
 452                                       </object>
 453                                       <packing>
 454                                         <property name="expand">True</property>
 455                                         <property name="fill">True</property>
 456                                         <property name="position">1</property>
 457                                       </packing>
 458                                     </child>
 459                                   </object>
 460                                   <packing>
 461                                     <property name="left_attach">1</property>
 462                                     <property name="right_attach">2</property>
 463                                     <property name="top_attach">3</property>
 464                                     <property name="bottom_attach">4</property>
 465                                   </packing>
 466                                 </child>
 467                                 <child>
 468                                   <object class="GtkVBox" id="vbox24">
 469                                     <property name="visible">True</property>
 470                                     <property name="can_focus">False</property>
 471                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 472                                     <child>
 473                                       <object class="GtkLabel" id="label13">
 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                                         <property name="xalign">0</property>
 478                                         <property name="label" translatable="yes">Random sample of cases</property>
 479                                       </object>
 480                                       <packing>
 481                                         <property name="expand">True</property>
 482                                         <property name="fill">True</property>
 483                                         <property name="position">0</property>
 484                                       </packing>
 485                                     </child>
 486                                     <child>
 487                                       <object class="GtkHBox" id="hbox11">
 488                                         <property name="visible">True</property>
 489                                         <property name="can_focus">False</property>
 490                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 491                                         <property name="spacing">5</property>
 492                                         <child>
 493                                           <object class="GtkButton" id="button-sample">
 494                                             <property name="label" translatable="yes">Sample...</property>
 495                                             <property name="visible">True</property>
 496                                             <property name="can_focus">True</property>
 497                                             <property name="receives_default">True</property>
 498                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 499                                           </object>
 500                                           <packing>
 501                                             <property name="expand">False</property>
 502                                             <property name="fill">False</property>
 503                                             <property name="position">0</property>
 504                                           </packing>
 505                                         </child>
 506                                         <child>
 507                                           <object class="GtkLabel" id="random-sample-label">
 508                                             <property name="visible">True</property>
 509                                             <property name="can_focus">False</property>
 510                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 511                                           </object>
 512                                           <packing>
 513                                             <property name="expand">True</property>
 514                                             <property name="fill">True</property>
 515                                             <property name="position">1</property>
 516                                           </packing>
 517                                         </child>
 518                                       </object>
 519                                       <packing>
 520                                         <property name="expand">True</property>
 521                                         <property name="fill">True</property>
 522                                         <property name="position">1</property>
 523                                       </packing>
 524                                     </child>
 525                                   </object>
 526                                   <packing>
 527                                     <property name="left_attach">1</property>
 528                                     <property name="right_attach">2</property>
 529                                     <property name="top_attach">2</property>
 530                                     <property name="bottom_attach">3</property>
 531                                   </packing>
 532                                 </child>
 533                                 <child>
 534                                   <object class="GtkVBox" id="vbox14">
 535                                     <property name="can_focus">False</property>
 536                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 537                                     <child>
 538                                       <object class="GtkLabel" id="label11">
 539                                         <property name="visible">True</property>
 540                                         <property name="can_focus">False</property>
 541                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 542                                         <property name="xalign">0</property>
 543                                         <property name="label" translatable="yes">If condition is satisfied</property>
 544                                       </object>
 545                                       <packing>
 546                                         <property name="expand">True</property>
 547                                         <property name="fill">True</property>
 548                                         <property name="position">0</property>
 549                                       </packing>
 550                                     </child>
 551                                     <child>
 552                                       <object class="GtkHBox" id="hbox9">
 553                                         <property name="visible">True</property>
 554                                         <property name="can_focus">False</property>
 555                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 556                                         <child>
 557                                           <object class="GtkButton" id="button-if">
 558                                             <property name="label" translatable="yes">If...</property>
 559                                             <property name="visible">True</property>
 560                                             <property name="sensitive">False</property>
 561                                             <property name="can_focus">True</property>
 562                                             <property name="receives_default">True</property>
 563                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 564                                           </object>
 565                                           <packing>
 566                                             <property name="expand">False</property>
 567                                             <property name="fill">False</property>
 568                                             <property name="position">0</property>
 569                                           </packing>
 570                                         </child>
 571                                         <child>
 572                                           <object class="GtkLabel" id="label26">
 573                                             <property name="visible">True</property>
 574                                             <property name="can_focus">False</property>
 575                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 576                                           </object>
 577                                           <packing>
 578                                             <property name="expand">True</property>
 579                                             <property name="fill">True</property>
 580                                             <property name="position">1</property>
 581                                           </packing>
 582                                         </child>
 583                                       </object>
 584                                       <packing>
 585                                         <property name="expand">True</property>
 586                                         <property name="fill">True</property>
 587                                         <property name="position">1</property>
 588                                       </packing>
 589                                     </child>
 590                                   </object>
 591                                   <packing>
 592                                     <property name="left_attach">1</property>
 593                                     <property name="right_attach">2</property>
 594                                     <property name="top_attach">1</property>
 595                                     <property name="bottom_attach">2</property>
 596                                   </packing>
 597                                 </child>
 598                                 <child>
 599                                   <object class="GtkLabel" id="label10">
 600                                     <property name="visible">True</property>
 601                                     <property name="can_focus">False</property>
 602                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 603                                     <property name="xalign">0</property>
 604                                     <property name="label" translatable="yes">All Cases</property>
 605                                   </object>
 606                                   <packing>
 607                                     <property name="left_attach">1</property>
 608                                     <property name="right_attach">2</property>
 609                                   </packing>
 610                                 </child>
 611                               </object>
 612                             </child>
 613                           </object>
 614                         </child>
 615                         <child type="label">
 616                           <object class="GtkLabel" id="Select6">
 617                             <property name="visible">True</property>
 618                             <property name="can_focus">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="label" translatable="yes">Select</property>
 621                             <property name="use_markup">True</property>
 622                           </object>
 623                         </child>
 624                       </object>
 625                       <packing>
 626                         <property name="expand">True</property>
 627                         <property name="fill">True</property>
 628                         <property name="position">0</property>
 629                       </packing>
 630                     </child>
 631                     <child>
 632                       <object class="GtkFrame" id="frame8">
 633                         <property name="visible">True</property>
 634                         <property name="can_focus">False</property>
 635                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 636                         <property name="label_xalign">0</property>
 637                         <child>
 638                           <object class="GtkAlignment" id="alignment12">
 639                             <property name="visible">True</property>
 640                             <property name="can_focus">False</property>
 641                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 642                             <property name="left_padding">12</property>
 643                             <child>
 644                               <object class="GtkHButtonBox" id="filter-delete-button-box">
 645                                 <property name="visible">True</property>
 646                                 <property name="sensitive">False</property>
 647                                 <property name="can_focus">False</property>
 648                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 649                                 <property name="layout_style">spread</property>
 650                                 <child>
 651                                   <object class="GtkRadioButton" id="radiobutton-filter">
 652                                     <property name="label" translatable="yes">Filtered</property>
 653                                     <property name="visible">True</property>
 654                                     <property name="can_focus">True</property>
 655                                     <property name="receives_default">False</property>
 656                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 657                                     <property name="xalign">0.5</property>
 658                                     <property name="active">True</property>
 659                                     <property name="draw_indicator">True</property>
 660                                   </object>
 661                                   <packing>
 662                                     <property name="expand">False</property>
 663                                     <property name="fill">False</property>
 664                                     <property name="position">0</property>
 665                                   </packing>
 666                                 </child>
 667                                 <child>
 668                                   <object class="GtkRadioButton" id="radiobutton-delete">
 669                                     <property name="label" translatable="yes">Deleted</property>
 670                                     <property name="visible">True</property>
 671                                     <property name="can_focus">True</property>
 672                                     <property name="receives_default">False</property>
 673                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 674                                     <property name="xalign">0.5</property>
 675                                     <property name="active">True</property>
 676                                     <property name="draw_indicator">True</property>
 677                                     <property name="group">radiobutton-filter</property>
 678                                   </object>
 679                                   <packing>
 680                                     <property name="expand">False</property>
 681                                     <property name="fill">False</property>
 682                                     <property name="position">1</property>
 683                                   </packing>
 684                                 </child>
 685                               </object>
 686                             </child>
 687                           </object>
 688                         </child>
 689                         <child type="label">
 690                           <object class="GtkLabel" id="label9">
 691                             <property name="visible">True</property>
 692                             <property name="can_focus">False</property>
 693                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 694                             <property name="label" translatable="yes">Unselected Cases Are</property>
 695                             <property name="use_markup">True</property>
 696                           </object>
 697                         </child>
 698                       </object>
 699                       <packing>
 700                         <property name="expand">True</property>
 701                         <property name="fill">True</property>
 702                         <property name="position">1</property>
 703                       </packing>
 704                     </child>
 705                   </object>
 706                   <packing>
 707                     <property name="expand">False</property>
 708                     <property name="fill">False</property>
 709                     <property name="pack_type">end</property>
 710                     <property name="position">1</property>
 711                   </packing>
 712                 </child>
 713               </object>
 714             </child>
 715           </object>
 716           <packing>
 717             <property name="expand">True</property>
 718             <property name="fill">True</property>
 719             <property name="position">0</property>
 720           </packing>
 721         </child>
 722         <child>
 723           <object class="PsppireHButtonBox" id="psppire-hbuttonbox3">
 724             <property name="visible">True</property>
 725             <property name="can_focus">False</property>
 726             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 727             <property name="border_width">5</property>
 728           </object>
 729           <packing>
 730             <property name="expand">False</property>
 731             <property name="fill">False</property>
 732             <property name="pack_type">end</property>
 733             <property name="position">1</property>
 734           </packing>
 735         </child>
 736       </object>
 737     </child>
 738   </object>
 739   <object class="PsppireDialog" id="select-cases-random-sample-dialog">
 740     <property name="can_focus">False</property>
 741     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 742     <property name="title" translatable="yes">Select Cases: Random Sample</property>
 743     <property name="modal">True</property>
 744     <child>
 745       <object class="GtkVBox" id="dialog-hbox13">
 746         <property name="visible">True</property>
 747         <property name="can_focus">False</property>
 748         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 749         <property name="spacing">2</property>
 750         <child>
 751           <object class="GtkFrame" id="frame6">
 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="label_xalign">0</property>
 756             <child>
 757               <object class="GtkAlignment" id="alignment4">
 758                 <property name="visible">True</property>
 759                 <property name="can_focus">False</property>
 760                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 761                 <property name="top_padding">5</property>
 762                 <property name="bottom_padding">5</property>
 763                 <property name="left_padding">5</property>
 764                 <property name="right_padding">5</property>
 765                 <child>
 766                   <object class="GtkGrid" id="select-cases-random-sample-table">
 767                     <property name="visible">True</property>
 768                     <property name="can_focus">False</property>
 769                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 770                     <property name="row_spacing">5</property>
 771                     <property name="column_spacing">5</property>
 772                     <child>
 773                       <object class="GtkRadioButton" id="radiobutton-sample-percent">
 774                         <property name="visible">True</property>
 775                         <property name="can_focus">True</property>
 776                         <property name="receives_default">False</property>
 777                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 778                         <property name="xalign">0.5</property>
 779                         <property name="active">True</property>
 780                         <property name="draw_indicator">True</property>
 781                       </object>
 782                       <packing>
 783                         <property name="left_attach">0</property>
 784                         <property name="top_attach">0</property>
 785                       </packing>
 786                     </child>
 787                     <child>
 788                       <object class="GtkRadioButton" id="radiobutton-sample-n-cases">
 789                         <property name="visible">True</property>
 790                         <property name="can_focus">True</property>
 791                         <property name="receives_default">False</property>
 792                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 793                         <property name="xalign">0.5</property>
 794                         <property name="active">True</property>
 795                         <property name="draw_indicator">True</property>
 796                         <property name="group">radiobutton-sample-percent</property>
 797                       </object>
 798                       <packing>
 799                         <property name="left_attach">0</property>
 800                         <property name="top_attach">1</property>
 801                       </packing>
 802                     </child>
 803                     <child>
 804                       <object class="GtkAlignment" id="alignment9">
 805                         <property name="visible">True</property>
 806                         <property name="can_focus">False</property>
 807                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 808                         <property name="xalign">0</property>
 809                         <property name="xscale">0</property>
 810                         <child>
 811                           <placeholder/>
 812                         </child>
 813                       </object>
 814                       <packing>
 815                         <property name="left_attach">1</property>
 816                         <property name="top_attach">0</property>
 817                       </packing>
 818                     </child>
 819                     <child>
 820                       <object class="GtkAlignment" id="alignment14">
 821                         <property name="visible">True</property>
 822                         <property name="can_focus">False</property>
 823                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 824                         <property name="xalign">0</property>
 825                         <property name="xscale">0</property>
 826                         <child>
 827                           <placeholder/>
 828                         </child>
 829                       </object>
 830                       <packing>
 831                         <property name="left_attach">1</property>
 832                         <property name="top_attach">1</property>
 833                       </packing>
 834                     </child>
 835                   </object>
 836                 </child>
 837               </object>
 838             </child>
 839             <child type="label">
 840               <object class="GtkLabel" id="label34">
 841                 <property name="visible">True</property>
 842                 <property name="can_focus">False</property>
 843                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 844                 <property name="label" translatable="yes">Sample Size</property>
 845                 <property name="use_markup">True</property>
 846               </object>
 847             </child>
 848           </object>
 849           <packing>
 850             <property name="expand">True</property>
 851             <property name="fill">True</property>
 852             <property name="padding">5</property>
 853             <property name="position">0</property>
 854           </packing>
 855         </child>
 856         <child>
 857           <object class="PsppireHButtonBox" id="psppire-hbuttonbox6">
 858             <property name="visible">True</property>
 859             <property name="can_focus">False</property>
 860             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 861             <property name="border_width">5</property>
 862             <property name="buttons">PSPPIRE_BUTTON_CONTINUE_MASK | PSPPIRE_BUTTON_CANCEL_MASK | PSPPIRE_BUTTON_HELP_MASK</property>
 863           </object>
 864           <packing>
 865             <property name="expand">False</property>
 866             <property name="fill">False</property>
 867             <property name="pack_type">end</property>
 868             <property name="position">1</property>
 869           </packing>
 870         </child>
 871       </object>
 872     </child>
 873   </object>
 874 </interface>