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

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