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     <child internal-child="hbox">
  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     <property name="orientation">Vertical</property>
 544     <child internal-child="hbox">
 545       <object class="GtkVBox" id="dialog-hbox10">
 546         <property name="visible">True</property>
 547         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 548         <property name="spacing">2</property>
 549         <child>
 550           <object class="GtkTable" id="table3">
 551             <property name="visible">True</property>
 552             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 553             <property name="n_rows">2</property>
 554             <property name="n_columns">3</property>
 555             <property name="column_spacing">5</property>
 556             <child>
 557               <object class="GtkSpinButton" id="range-dialog-last">
 558                 <property name="visible">True</property>
 559                 <property name="adjustment">adjustment1</property>
 560                 <property name="can_focus">True</property>
 561                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 562                 <property name="truncate_multiline">True</property>
 563               </object>
 564               <packing>
 565                 <property name="left_attach">2</property>
 566                 <property name="right_attach">3</property>
 567                 <property name="top_attach">1</property>
 568                 <property name="bottom_attach">2</property>
 569               </packing>
 570             </child>
 571             <child>
 572               <object class="GtkSpinButton" id="range-dialog-first">
 573                 <property name="visible">True</property>
 574                 <property name="adjustment">adjustment2</property>
 575                 <property name="can_focus">True</property>
 576                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 577                 <property name="truncate_multiline">True</property>
 578               </object>
 579               <packing>
 580                 <property name="left_attach">1</property>
 581                 <property name="right_attach">2</property>
 582                 <property name="top_attach">1</property>
 583                 <property name="bottom_attach">2</property>
 584               </packing>
 585             </child>
 586             <child>
 587               <object class="GtkLabel" id="label8">
 588                 <property name="visible">True</property>
 589                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 590                 <property name="label" translatable="yes">First case</property>
 591               </object>
 592               <packing>
 593                 <property name="left_attach">1</property>
 594                 <property name="right_attach">2</property>
 595                 <property name="x_options"></property>
 596                 <property name="y_options"></property>
 597               </packing>
 598             </child>
 599             <child>
 600               <object class="GtkLabel" id="label12">
 601                 <property name="visible">True</property>
 602                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 603                 <property name="label" translatable="yes">Last case</property>
 604               </object>
 605               <packing>
 606                 <property name="left_attach">2</property>
 607                 <property name="right_attach">3</property>
 608                 <property name="x_options"></property>
 609                 <property name="y_options"></property>
 610               </packing>
 611             </child>
 612             <child>
 613               <object class="GtkLabel" id="label14">
 614                 <property name="visible">True</property>
 615                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 616                 <property name="label" translatable="yes">Observation</property>
 617               </object>
 618               <packing>
 619                 <property name="bottom_attach">2</property>
 620               </packing>
 621             </child>
 622           </object>
 623           <packing>
 624             <property name="fill">False</property>
 625             <property name="padding">5</property>
 626             <property name="position">0</property>
 627           </packing>
 628         </child>
 629         <child>
 630           <object class="PsppireHButtonBox" id="psppire-hbuttonbox4">
 631             <property name="visible">True</property>
 632             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 633             <property name="border_width">5</property>
 634             <property name="buttons">PSPPIRE_BUTTON_CONTINUE_MASK | PSPPIRE_BUTTON_CANCEL_MASK | PSPPIRE_BUTTON_HELP_MASK</property>
 635           </object>
 636           <packing>
 637             <property name="expand">False</property>
 638             <property name="fill">False</property>
 639             <property name="pack_type">end</property>
 640             <property name="position">1</property>
 641           </packing>
 642         </child>
 643       </object>
 644     </child>
 645   </object>
 646   <object class="PsppireDialog" id="select-cases-random-sample-dialog">
 647     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 648     <property name="title" translatable="yes">Select Cases: Random Sample</property>
 649     <property name="modal">True</property>
 650     <property name="orientation">Vertical</property>
 651     <child internal-child="hbox">
 652       <object class="GtkVBox" id="dialog-hbox13">
 653         <property name="visible">True</property>
 654         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 655         <property name="spacing">2</property>
 656         <child>
 657           <object class="GtkFrame" id="frame6">
 658             <property name="visible">True</property>
 659             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 660             <property name="label_xalign">0</property>
 661             <child>
 662               <object class="GtkAlignment" id="alignment4">
 663                 <property name="visible">True</property>
 664                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 665                 <property name="top_padding">5</property>
 666                 <property name="bottom_padding">5</property>
 667                 <property name="left_padding">5</property>
 668                 <property name="right_padding">5</property>
 669                 <child>
 670                   <object class="GtkTable" id="select-cases-random-sample-table">
 671                     <property name="visible">True</property>
 672                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 673                     <property name="n_rows">2</property>
 674                     <property name="n_columns">2</property>
 675                     <property name="column_spacing">5</property>
 676                     <property name="row_spacing">5</property>
 677                     <child>
 678                       <object class="GtkRadioButton" id="radiobutton-sample-percent">
 679                         <property name="visible">True</property>
 680                         <property name="can_focus">True</property>
 681                         <property name="receives_default">False</property>
 682                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 683                         <property name="active">True</property>
 684                         <property name="draw_indicator">True</property>
 685                       </object>
 686                       <packing>
 687                         <property name="x_options"></property>
 688                       </packing>
 689                     </child>
 690                     <child>
 691                       <object class="GtkRadioButton" id="radiobutton-sample-n-cases">
 692                         <property name="visible">True</property>
 693                         <property name="can_focus">True</property>
 694                         <property name="receives_default">False</property>
 695                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 696                         <property name="active">True</property>
 697                         <property name="draw_indicator">True</property>
 698                         <property name="group">radiobutton-sample-percent</property>
 699                       </object>
 700                       <packing>
 701                         <property name="top_attach">1</property>
 702                         <property name="bottom_attach">2</property>
 703                         <property name="x_options"></property>
 704                       </packing>
 705                     </child>
 706                     <child>
 707                       <object class="GtkAlignment" id="alignment9">
 708                         <property name="visible">True</property>
 709                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 710                         <property name="xalign">0</property>
 711                         <property name="xscale">0</property>
 712                         <child>
 713                           <placeholder/>
 714                         </child>
 715                       </object>
 716                       <packing>
 717                         <property name="left_attach">1</property>
 718                         <property name="right_attach">2</property>
 719                       </packing>
 720                     </child>
 721                     <child>
 722                       <object class="GtkAlignment" id="alignment14">
 723                         <property name="visible">True</property>
 724                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 725                         <property name="xalign">0</property>
 726                         <property name="xscale">0</property>
 727                         <child>
 728                           <placeholder/>
 729                         </child>
 730                       </object>
 731                       <packing>
 732                         <property name="left_attach">1</property>
 733                         <property name="right_attach">2</property>
 734                         <property name="top_attach">1</property>
 735                         <property name="bottom_attach">2</property>
 736                       </packing>
 737                     </child>
 738                   </object>
 739                 </child>
 740               </object>
 741             </child>
 742             <child type="label">
 743               <object class="GtkLabel" id="label34">
 744                 <property name="visible">True</property>
 745                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 746                 <property name="label" translatable="yes">Sample Size</property>
 747                 <property name="use_markup">True</property>
 748               </object>
 749             </child>
 750           </object>
 751           <packing>
 752             <property name="padding">5</property>
 753             <property name="position">0</property>
 754           </packing>
 755         </child>
 756         <child>
 757           <object class="PsppireHButtonBox" id="psppire-hbuttonbox6">
 758             <property name="visible">True</property>
 759             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 760             <property name="border_width">5</property>
 761             <property name="buttons">PSPPIRE_BUTTON_CONTINUE_MASK | PSPPIRE_BUTTON_CANCEL_MASK | PSPPIRE_BUTTON_HELP_MASK</property>
 762           </object>
 763           <packing>
 764             <property name="expand">False</property>
 765             <property name="fill">False</property>
 766             <property name="pack_type">end</property>
 767             <property name="position">1</property>
 768           </packing>
 769         </child>
 770       </object>
 771     </child>
 772   </object>
 773   <object class="GtkAdjustment" id="adjustment1">
 774     <property name="lower">1</property>
 775     <property name="upper">1</property>
 776     <property name="step_increment">1</property>
 777     <property name="page_increment">10</property>
 778   </object>
 779   <object class="GtkAdjustment" id="adjustment2">
 780     <property name="lower">1</property>
 781     <property name="upper">1</property>
 782     <property name="step_increment">1</property>
 783     <property name="page_increment">10</property>
 784   </object>
 785 </interface>