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