src/ui/gui/psppire.glade

   1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
   2 <!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
   3 <!--*- mode: xml -*-->
   4 <glade-interface>
   5   <requires lib="psppire"/>
   6   <widget class="GtkAboutDialog" id="aboutdialog1">
   7     <property name="modal">True</property>
   8     <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
   9     <property name="name">PSPPire</property>
  10     <property name="copyright">Free Software Foundation</property>
  11     <property name="comments" translatable="yes">This is pre-alpha software.  Use at your own risk.</property>
  12     <property name="license" translatable="yes">   This program is free software: you can redistribute it and/or modify
  13    it under the terms of the GNU General Public License as published by
  14    the Free Software Foundation, either version 3 of the License, or
  15    (at your option) any later version.
  16
  17    This program is distributed in the hope that it will be useful,
  18    but WITHOUT ANY WARRANTY; without even the implied warranty of
  19    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  20    GNU General Public License for more details.
  21
  22    You should have received a copy of the GNU General Public License
  23    along with this program.  If not, see &lt;http://www.gnu.org/licenses/&gt;.
  24 </property>
  25     <property name="authors"></property>
  26     <property name="logo">pspplogo.png</property>
  27     <child internal-child="vbox">
  28       <widget class="GtkVBox" id="dialog-vbox1">
  29         <property name="visible">True</property>
  30         <child>
  31           <placeholder/>
  32         </child>
  33         <child internal-child="action_area">
  34           <widget class="GtkHButtonBox" id="dialog-action_area1">
  35             <property name="visible">True</property>
  36           </widget>
  37           <packing>
  38             <property name="expand">False</property>
  39             <property name="pack_type">GTK_PACK_END</property>
  40           </packing>
  41         </child>
  42       </widget>
  43     </child>
  44   </widget>
  45   <widget class="PsppireDialog" id="weight-cases-dialog">
  46     <property name="title">Weight Cases</property>
  47     <property name="modal">True</property>
  48     <child internal-child="hbox">
  49       <widget class="GtkHBox" id="dialog-hbox1">
  50         <property name="visible">True</property>
  51         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK | GDK_ENTER_NOTIFY_MASK</property>
  52         <property name="spacing">2</property>
  53         <child>
  54           <widget class="GtkHBox" id="hbox1">
  55             <property name="visible">True</property>
  56             <child>
  57               <widget class="GtkScrolledWindow" id="scrolledwindow1">
  58                 <property name="visible">True</property>
  59                 <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
  60                 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  61                 <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
  62                 <child>
  63                   <widget class="GtkTreeView" id="weight-cases-treeview">
  64                     <property name="visible">True</property>
  65                     <property name="headers_visible">False</property>
  66                     <property name="fixed_height_mode">True</property>
  67                   </widget>
  68                 </child>
  69               </widget>
  70             </child>
  71             <child>
  72               <widget class="GtkVBox" id="vbox1">
  73                 <property name="visible">True</property>
  74                 <child>
  75                   <widget class="GtkFrame" id="frame1">
  76                     <property name="visible">True</property>
  77                     <property name="border_width">5</property>
  78                     <property name="label_xalign">0</property>
  79                     <child>
  80                       <widget class="GtkVBox" id="vbox2">
  81                         <property name="visible">True</property>
  82                         <property name="border_width">5</property>
  83                         <child>
  84                           <widget class="GtkRadioButton" id="weight-cases-radiobutton1">
  85                             <property name="visible">True</property>
  86                             <property name="label" translatable="yes">Do not weight cases</property>
  87                             <property name="focus_on_click">False</property>
  88                             <property name="active">True</property>
  89                             <property name="draw_indicator">True</property>
  90                           </widget>
  91                         </child>
  92                         <child>
  93                           <widget class="GtkRadioButton" id="radiobutton2">
  94                             <property name="visible">True</property>
  95                             <property name="sensitive">False</property>
  96                             <property name="label" translatable="yes">Weight cases by</property>
  97                             <property name="focus_on_click">False</property>
  98                             <property name="draw_indicator">True</property>
  99                             <property name="group">weight-cases-radiobutton1</property>
 100                           </widget>
 101                           <packing>
 102                             <property name="position">1</property>
 103                           </packing>
 104                         </child>
 105                         <child>
 106                           <widget class="GtkHBox" id="hbox3">
 107                             <property name="visible">True</property>
 108                             <child>
 109                               <widget class="PsppireSelector" id="weight-cases-selector">
 110                                 <property name="visible">True</property>
 111                                 <property name="border_width">5</property>
 112                               </widget>
 113                             </child>
 114                             <child>
 115                               <widget class="GtkVBox" id="vbox3">
 116                                 <property name="visible">True</property>
 117                                 <child>
 118                                   <widget class="GtkLabel" id="label1">
 119                                     <property name="visible">True</property>
 120                                     <property name="label" translatable="yes">Frequency Variable</property>
 121                                   </widget>
 122                                 </child>
 123                                 <child>
 124                                   <widget class="GtkEntry" id="weight-cases-entry">
 125                                     <property name="visible">True</property>
 126                                   </widget>
 127                                   <packing>
 128                                     <property name="position">1</property>
 129                                   </packing>
 130                                 </child>
 131                               </widget>
 132                               <packing>
 133                                 <property name="position">1</property>
 134                               </packing>
 135                             </child>
 136                           </widget>
 137                           <packing>
 138                             <property name="expand">False</property>
 139                             <property name="fill">False</property>
 140                             <property name="position">2</property>
 141                           </packing>
 142                         </child>
 143                       </widget>
 144                     </child>
 145                     <child>
 146                       <placeholder/>
 147                       <packing>
 148                         <property name="type">label_item</property>
 149                       </packing>
 150                     </child>
 151                   </widget>
 152                 </child>
 153                 <child>
 154                   <widget class="GtkHBox" id="hbox2">
 155                     <property name="visible">True</property>
 156                     <child>
 157                       <widget class="GtkLabel" id="label3">
 158                         <property name="visible">True</property>
 159                         <property name="xalign">1</property>
 160                         <property name="label" translatable="yes">Current Status: </property>
 161                       </widget>
 162                     </child>
 163                     <child>
 164                       <widget class="GtkLabel" id="weight-status-label">
 165                         <property name="visible">True</property>
 166                         <property name="xalign">0</property>
 167                         <property name="label" translatable="yes">Do not weight cases</property>
 168                       </widget>
 169                       <packing>
 170                         <property name="position">1</property>
 171                       </packing>
 172                     </child>
 173                   </widget>
 174                   <packing>
 175                     <property name="position">1</property>
 176                   </packing>
 177                 </child>
 178               </widget>
 179               <packing>
 180                 <property name="expand">False</property>
 181                 <property name="fill">False</property>
 182                 <property name="position">1</property>
 183               </packing>
 184             </child>
 185           </widget>
 186           <packing>
 187             <property name="padding">5</property>
 188           </packing>
 189         </child>
 190         <child>
 191           <widget class="PsppireVButtonBox" id="psppire-buttonbox1">
 192             <property name="visible">True</property>
 193             <property name="border_width">5</property>
 194           </widget>
 195           <packing>
 196             <property name="expand">False</property>
 197             <property name="fill">False</property>
 198             <property name="pack_type">GTK_PACK_END</property>
 199             <property name="position">1</property>
 200           </packing>
 201         </child>
 202       </widget>
 203     </child>
 204   </widget>
 205   <widget class="PsppireDialog" id="transpose-dialog">
 206     <property name="title">Transpose</property>
 207     <property name="modal">True</property>
 208     <child internal-child="hbox">
 209       <widget class="GtkHBox" id="dialog-hbox2">
 210         <property name="visible">True</property>
 211         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK | GDK_ENTER_NOTIFY_MASK</property>
 212         <property name="spacing">2</property>
 213         <child>
 214           <widget class="GtkHBox" id="hbox4">
 215             <property name="visible">True</property>
 216             <child>
 217               <widget class="GtkFrame" id="frame3">
 218                 <property name="visible">True</property>
 219                 <property name="label_xalign">0</property>
 220                 <property name="shadow_type">GTK_SHADOW_IN</property>
 221                 <child>
 222                   <widget class="GtkScrolledWindow" id="scrolledwindow1">
 223                     <property name="visible">True</property>
 224                     <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
 225                     <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 226                     <child>
 227                       <widget class="GtkTreeView" id="source-treeview">
 228                         <property name="visible">True</property>
 229                         <property name="headers_visible">False</property>
 230                       </widget>
 231                     </child>
 232                   </widget>
 233                 </child>
 234                 <child>
 235                   <placeholder/>
 236                   <packing>
 237                     <property name="type">label_item</property>
 238                   </packing>
 239                 </child>
 240               </widget>
 241             </child>
 242             <child>
 243               <widget class="GtkTable" id="table1">
 244                 <property name="visible">True</property>
 245                 <property name="n_rows">2</property>
 246                 <property name="n_columns">2</property>
 247                 <property name="column_spacing">5</property>
 248                 <property name="row_spacing">5</property>
 249                 <child>
 250                   <widget class="PsppireSelector" id="psppire-selector2">
 251                     <property name="visible">True</property>
 252                     <property name="border_width">5</property>
 253                   </widget>
 254                   <packing>
 255                     <property name="x_options"></property>
 256                     <property name="y_options"></property>
 257                   </packing>
 258                 </child>
 259                 <child>
 260                   <widget class="PsppireSelector" id="psppire-selector3">
 261                     <property name="visible">True</property>
 262                     <property name="border_width">5</property>
 263                   </widget>
 264                   <packing>
 265                     <property name="top_attach">1</property>
 266                     <property name="bottom_attach">2</property>
 267                     <property name="x_options"></property>
 268                     <property name="y_options">GTK_FILL</property>
 269                   </packing>
 270                 </child>
 271                 <child>
 272                   <widget class="GtkVBox" id="vbox4">
 273                     <property name="visible">True</property>
 274                     <child>
 275                       <widget class="GtkLabel" id="label2">
 276                         <property name="visible">True</property>
 277                         <property name="xalign">0</property>
 278                         <property name="label" translatable="yes">Variable(s):</property>
 279                       </widget>
 280                       <packing>
 281                         <property name="expand">False</property>
 282                         <property name="fill">False</property>
 283                       </packing>
 284                     </child>
 285                     <child>
 286                       <widget class="GtkFrame" id="frame2">
 287                         <property name="visible">True</property>
 288                         <property name="label_xalign">0</property>
 289                         <property name="shadow_type">GTK_SHADOW_IN</property>
 290                         <child>
 291                           <widget class="GtkScrolledWindow" id="scrolledwindow2">
 292                             <property name="visible">True</property>
 293                             <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
 294                             <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 295                             <child>
 296                               <widget class="GtkTreeView" id="variables-treeview">
 297                                 <property name="visible">True</property>
 298                                 <property name="headers_visible">False</property>
 299                               </widget>
 300                             </child>
 301                           </widget>
 302                         </child>
 303                         <child>
 304                           <placeholder/>
 305                           <packing>
 306                             <property name="type">label_item</property>
 307                           </packing>
 308                         </child>
 309                       </widget>
 310                       <packing>
 311                         <property name="position">1</property>
 312                       </packing>
 313                     </child>
 314                   </widget>
 315                   <packing>
 316                     <property name="left_attach">1</property>
 317                     <property name="right_attach">2</property>
 318                   </packing>
 319                 </child>
 320                 <child>
 321                   <widget class="GtkVBox" id="vbox5">
 322                     <property name="visible">True</property>
 323                     <child>
 324                       <widget class="GtkLabel" id="label4">
 325                         <property name="visible">True</property>
 326                         <property name="xalign">0</property>
 327                         <property name="label" translatable="yes">Name Variable:</property>
 328                       </widget>
 329                       <packing>
 330                         <property name="expand">False</property>
 331                         <property name="fill">False</property>
 332                       </packing>
 333                     </child>
 334                     <child>
 335                       <widget class="GtkEntry" id="new-name-entry">
 336                         <property name="visible">True</property>
 337                       </widget>
 338                       <packing>
 339                         <property name="expand">False</property>
 340                         <property name="fill">False</property>
 341                         <property name="position">1</property>
 342                       </packing>
 343                     </child>
 344                   </widget>
 345                   <packing>
 346                     <property name="left_attach">1</property>
 347                     <property name="right_attach">2</property>
 348                     <property name="top_attach">1</property>
 349                     <property name="bottom_attach">2</property>
 350                     <property name="y_options"></property>
 351                   </packing>
 352                 </child>
 353               </widget>
 354               <packing>
 355                 <property name="padding">5</property>
 356                 <property name="position">1</property>
 357               </packing>
 358             </child>
 359           </widget>
 360           <packing>
 361             <property name="padding">5</property>
 362           </packing>
 363         </child>
 364         <child>
 365           <widget class="PsppireVButtonBox" id="psppire-buttonbox2">
 366             <property name="visible">True</property>
 367             <property name="border_width">5</property>
 368           </widget>
 369           <packing>
 370             <property name="expand">False</property>
 371             <property name="fill">False</property>
 372             <property name="pack_type">GTK_PACK_END</property>
 373             <property name="position">1</property>
 374           </packing>
 375         </child>
 376       </widget>
 377     </child>
 378   </widget>
 379   <widget class="PsppireDialog" id="split-file-dialog">
 380     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 381     <property name="title">Split File</property>
 382     <property name="modal">True</property>
 383     <child internal-child="hbox">
 384       <widget class="GtkHBox" id="dialog-hbox3">
 385         <property name="visible">True</property>
 386         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 387         <property name="spacing">2</property>
 388         <child>
 389           <widget class="GtkVBox" id="vbox6">
 390             <property name="visible">True</property>
 391             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 392             <child>
 393               <widget class="GtkHBox" id="hbox5">
 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                 <child>
 397                   <widget class="GtkFrame" id="frame5">
 398                     <property name="visible">True</property>
 399                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 400                     <property name="label_xalign">0</property>
 401                     <property name="shadow_type">GTK_SHADOW_IN</property>
 402                     <child>
 403                       <widget class="GtkScrolledWindow" id="scrolledwindow3">
 404                         <property name="visible">True</property>
 405                         <property name="can_focus">True</property>
 406                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 407                         <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
 408                         <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 409                         <child>
 410                           <widget class="GtkTreeView" id="split-file-dict-treeview">
 411                             <property name="visible">True</property>
 412                             <property name="can_focus">True</property>
 413                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 414                             <property name="headers_visible">False</property>
 415                             <property name="fixed_height_mode">True</property>
 416                           </widget>
 417                         </child>
 418                       </widget>
 419                     </child>
 420                     <child>
 421                       <placeholder/>
 422                       <packing>
 423                         <property name="type">label_item</property>
 424                       </packing>
 425                     </child>
 426                   </widget>
 427                 </child>
 428                 <child>
 429                   <widget class="GtkVBox" id="vbox7">
 430                     <property name="visible">True</property>
 431                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 432                     <child>
 433                       <widget class="GtkVButtonBox" id="vbuttonbox2">
 434                         <property name="visible">True</property>
 435                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 436                         <property name="layout_style">GTK_BUTTONBOX_SPREAD</property>
 437                         <child>
 438                           <widget class="GtkRadioButton" id="split-radiobutton0">
 439                             <property name="visible">True</property>
 440                             <property name="can_focus">True</property>
 441                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 442                             <property name="label" translatable="yes">Analyse all cases.  Do not create groups.</property>
 443                             <property name="active">True</property>
 444                             <property name="draw_indicator">True</property>
 445                           </widget>
 446                         </child>
 447                         <child>
 448                           <widget class="GtkRadioButton" id="split-radiobutton1">
 449                             <property name="visible">True</property>
 450                             <property name="can_focus">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="label" translatable="yes">Compare groups.</property>
 453                             <property name="draw_indicator">True</property>
 454                             <property name="group">split-radiobutton0</property>
 455                           </widget>
 456                           <packing>
 457                             <property name="position">1</property>
 458                           </packing>
 459                         </child>
 460                         <child>
 461                           <widget class="GtkRadioButton" id="split-radiobutton2">
 462                             <property name="visible">True</property>
 463                             <property name="can_focus">True</property>
 464                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 465                             <property name="label" translatable="yes">Organise output by groups.</property>
 466                             <property name="draw_indicator">True</property>
 467                             <property name="group">split-radiobutton0</property>
 468                           </widget>
 469                           <packing>
 470                             <property name="position">2</property>
 471                           </packing>
 472                         </child>
 473                       </widget>
 474                       <packing>
 475                         <property name="expand">False</property>
 476                       </packing>
 477                     </child>
 478                     <child>
 479                       <widget class="GtkHBox" id="hbox6">
 480                         <property name="visible">True</property>
 481                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 482                         <child>
 483                           <widget class="GtkAlignment" id="alignment1">
 484                             <property name="visible">True</property>
 485                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 486                             <property name="yscale">0.5</property>
 487                             <child>
 488                               <widget class="PsppireSelector" id="split-file-selector">
 489                                 <property name="visible">True</property>
 490                                 <property name="can_focus">True</property>
 491                                 <property name="receives_default">True</property>
 492                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 493                                 <property name="border_width">5</property>
 494                               </widget>
 495                             </child>
 496                           </widget>
 497                           <packing>
 498                             <property name="expand">False</property>
 499                             <property name="fill">False</property>
 500                             <property name="padding">18</property>
 501                           </packing>
 502                         </child>
 503                         <child>
 504                           <widget class="GtkVBox" id="vbox8">
 505                             <property name="visible">True</property>
 506                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 507                             <child>
 508                               <widget class="GtkLabel" id="label5">
 509                                 <property name="visible">True</property>
 510                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 511                                 <property name="xalign">0</property>
 512                                 <property name="label" translatable="yes">Groups based on:</property>
 513                               </widget>
 514                               <packing>
 515                                 <property name="expand">False</property>
 516                                 <property name="fill">False</property>
 517                               </packing>
 518                             </child>
 519                             <child>
 520                               <widget class="GtkFrame" id="frame4">
 521                                 <property name="visible">True</property>
 522                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 523                                 <property name="label_xalign">0</property>
 524                                 <property name="label_yalign">0</property>
 525                                 <property name="shadow_type">GTK_SHADOW_IN</property>
 526                                 <child>
 527                                   <widget class="GtkScrolledWindow" id="scrolledwindow4">
 528                                     <property name="visible">True</property>
 529                                     <property name="can_focus">True</property>
 530                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 531                                     <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
 532                                     <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 533                                     <child>
 534                                       <widget class="GtkTreeView" id="split-file-grouping-vars">
 535                                         <property name="visible">True</property>
 536                                         <property name="can_focus">True</property>
 537                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 538                                         <property name="headers_visible">False</property>
 539                                         <property name="fixed_height_mode">True</property>
 540                                       </widget>
 541                                     </child>
 542                                   </widget>
 543                                 </child>
 544                                 <child>
 545                                   <placeholder/>
 546                                   <packing>
 547                                     <property name="type">label_item</property>
 548                                   </packing>
 549                                 </child>
 550                               </widget>
 551                               <packing>
 552                                 <property name="position">1</property>
 553                               </packing>
 554                             </child>
 555                           </widget>
 556                           <packing>
 557                             <property name="position">1</property>
 558                           </packing>
 559                         </child>
 560                       </widget>
 561                       <packing>
 562                         <property name="position">1</property>
 563                       </packing>
 564                     </child>
 565                     <child>
 566                       <widget class="GtkVButtonBox" id="vbuttonbox1">
 567                         <property name="visible">True</property>
 568                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 569                         <property name="homogeneous">True</property>
 570                         <property name="layout_style">GTK_BUTTONBOX_SPREAD</property>
 571                         <child>
 572                           <widget class="GtkRadioButton" id="split-radiobutton3">
 573                             <property name="visible">True</property>
 574                             <property name="can_focus">True</property>
 575                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 576                             <property name="label" translatable="yes">Sort the file by grouping variables.</property>
 577                             <property name="use_underline">True</property>
 578                             <property name="active">True</property>
 579                             <property name="draw_indicator">True</property>
 580                           </widget>
 581                         </child>
 582                         <child>
 583                           <widget class="GtkRadioButton" id="split-radiobutton4">
 584                             <property name="visible">True</property>
 585                             <property name="can_focus">True</property>
 586                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 587                             <property name="label" translatable="yes">File is already sorted.</property>
 588                             <property name="use_underline">True</property>
 589                             <property name="draw_indicator">True</property>
 590                             <property name="group">split-radiobutton3</property>
 591                           </widget>
 592                           <packing>
 593                             <property name="position">1</property>
 594                           </packing>
 595                         </child>
 596                       </widget>
 597                       <packing>
 598                         <property name="expand">False</property>
 599                         <property name="fill">False</property>
 600                         <property name="position">2</property>
 601                       </packing>
 602                     </child>
 603                   </widget>
 604                   <packing>
 605                     <property name="padding">5</property>
 606                     <property name="position">1</property>
 607                   </packing>
 608                 </child>
 609               </widget>
 610             </child>
 611             <child>
 612               <widget class="GtkHSeparator" id="hseparator1">
 613                 <property name="visible">True</property>
 614                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 615               </widget>
 616               <packing>
 617                 <property name="expand">False</property>
 618                 <property name="fill">False</property>
 619                 <property name="position">1</property>
 620               </packing>
 621             </child>
 622             <child>
 623               <widget class="GtkHBox" id="hbox7">
 624                 <property name="visible">True</property>
 625                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 626                 <child>
 627                   <widget class="GtkLabel" id="label6">
 628                     <property name="visible">True</property>
 629                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 630                     <property name="xalign">1</property>
 631                     <property name="label" translatable="yes">Current Status : </property>
 632                   </widget>
 633                 </child>
 634                 <child>
 635                   <widget class="GtkLabel" id="label7">
 636                     <property name="visible">True</property>
 637                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 638                     <property name="xalign">0</property>
 639                     <property name="label" translatable="yes">Analysis by groups is off</property>
 640                   </widget>
 641                   <packing>
 642                     <property name="position">1</property>
 643                   </packing>
 644                 </child>
 645               </widget>
 646               <packing>
 647                 <property name="expand">False</property>
 648                 <property name="fill">False</property>
 649                 <property name="position">2</property>
 650               </packing>
 651             </child>
 652           </widget>
 653         </child>
 654         <child>
 655           <widget class="PsppireVButtonBox" id="psppire-buttonbox3">
 656             <property name="visible">True</property>
 657             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 658             <property name="border_width">5</property>
 659           </widget>
 660           <packing>
 661             <property name="expand">False</property>
 662             <property name="fill">False</property>
 663             <property name="pack_type">GTK_PACK_END</property>
 664             <property name="position">1</property>
 665           </packing>
 666         </child>
 667       </widget>
 668     </child>
 669   </widget>
 670   <widget class="PsppireDialog" id="sort-cases-dialog">
 671     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 672     <property name="title">Sort Cases</property>
 673     <property name="modal">True</property>
 674     <child internal-child="hbox">
 675       <widget class="GtkHBox" id="dialog-hbox4">
 676         <property name="visible">True</property>
 677         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 678         <property name="spacing">2</property>
 679         <child>
 680           <widget class="GtkHBox" id="hbox14">
 681             <property name="visible">True</property>
 682             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 683             <child>
 684               <widget class="GtkScrolledWindow" id="scrolledwindow6">
 685                 <property name="visible">True</property>
 686                 <property name="can_focus">True</property>
 687                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 688                 <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
 689                 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 690                 <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
 691                 <child>
 692                   <widget class="GtkTreeView" id="sort-cases-treeview1">
 693                     <property name="visible">True</property>
 694                     <property name="can_focus">True</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="headers_visible">False</property>
 697                     <property name="headers_clickable">True</property>
 698                   </widget>
 699                 </child>
 700               </widget>
 701             </child>
 702             <child>
 703               <widget class="GtkAlignment" id="alignment6">
 704                 <property name="visible">True</property>
 705                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 706                 <property name="yalign">0.25</property>
 707                 <property name="xscale">0</property>
 708                 <property name="yscale">0</property>
 709                 <child>
 710                   <widget class="PsppireSelector" id="sort-cases-selector">
 711                     <property name="visible">True</property>
 712                     <property name="can_focus">True</property>
 713                     <property name="receives_default">True</property>
 714                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 715                     <property name="border_width">5</property>
 716                   </widget>
 717                 </child>
 718               </widget>
 719               <packing>
 720                 <property name="expand">False</property>
 721                 <property name="fill">False</property>
 722                 <property name="position">1</property>
 723               </packing>
 724             </child>
 725             <child>
 726               <widget class="GtkVBox" id="vbox12">
 727                 <property name="visible">True</property>
 728                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 729                 <child>
 730                   <widget class="GtkVBox" id="vbox16">
 731                     <property name="visible">True</property>
 732                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 733                     <child>
 734                       <widget class="GtkLabel" id="label18">
 735                         <property name="visible">True</property>
 736                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 737                         <property name="xalign">0</property>
 738                         <property name="label" translatable="yes">Sort by:</property>
 739                       </widget>
 740                       <packing>
 741                         <property name="expand">False</property>
 742                       </packing>
 743                     </child>
 744                     <child>
 745                       <widget class="GtkScrolledWindow" id="scrolledwindow7">
 746                         <property name="visible">True</property>
 747                         <property name="can_focus">True</property>
 748                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 749                         <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
 750                         <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 751                         <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
 752                         <child>
 753                           <widget class="GtkTreeView" id="sort-cases-treeview2">
 754                             <property name="visible">True</property>
 755                             <property name="can_focus">True</property>
 756                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 757                             <property name="headers_visible">False</property>
 758                             <property name="headers_clickable">True</property>
 759                           </widget>
 760                         </child>
 761                       </widget>
 762                       <packing>
 763                         <property name="position">1</property>
 764                       </packing>
 765                     </child>
 766                   </widget>
 767                   <packing>
 768                     <property name="padding">5</property>
 769                   </packing>
 770                 </child>
 771                 <child>
 772                   <widget class="GtkFrame" id="frame9">
 773                     <property name="visible">True</property>
 774                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 775                     <property name="label_xalign">0</property>
 776                     <child>
 777                       <widget class="GtkAlignment" id="alignment5">
 778                         <property name="visible">True</property>
 779                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 780                         <property name="left_padding">12</property>
 781                         <child>
 782                           <widget class="GtkVButtonBox" id="vbuttonbox4">
 783                             <property name="visible">True</property>
 784                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 785                             <property name="layout_style">GTK_BUTTONBOX_SPREAD</property>
 786                             <child>
 787                               <widget class="GtkRadioButton" id="sort-cases-radiobutton0">
 788                                 <property name="visible">True</property>
 789                                 <property name="can_focus">True</property>
 790                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 791                                 <property name="label" translatable="yes">Ascending</property>
 792                                 <property name="active">True</property>
 793                                 <property name="draw_indicator">True</property>
 794                               </widget>
 795                             </child>
 796                             <child>
 797                               <widget class="GtkRadioButton" id="sort-cases-radiobutton1">
 798                                 <property name="visible">True</property>
 799                                 <property name="can_focus">True</property>
 800                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 801                                 <property name="label" translatable="yes">Descending</property>
 802                                 <property name="draw_indicator">True</property>
 803                                 <property name="group">sort-cases-radiobutton0</property>
 804                               </widget>
 805                               <packing>
 806                                 <property name="position">1</property>
 807                               </packing>
 808                             </child>
 809                           </widget>
 810                         </child>
 811                       </widget>
 812                     </child>
 813                     <child>
 814                       <widget class="GtkLabel" id="label17">
 815                         <property name="visible">True</property>
 816                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 817                         <property name="label" translatable="yes">Sort Order</property>
 818                         <property name="use_markup">True</property>
 819                       </widget>
 820                       <packing>
 821                         <property name="type">label_item</property>
 822                       </packing>
 823                     </child>
 824                   </widget>
 825                   <packing>
 826                     <property name="padding">5</property>
 827                     <property name="position">1</property>
 828                   </packing>
 829                 </child>
 830               </widget>
 831               <packing>
 832                 <property name="position">2</property>
 833               </packing>
 834             </child>
 835           </widget>
 836         </child>
 837         <child>
 838           <widget class="PsppireVButtonBox" id="psppire-buttonbox4">
 839             <property name="visible">True</property>
 840             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 841             <property name="border_width">5</property>
 842           </widget>
 843           <packing>
 844             <property name="expand">False</property>
 845             <property name="fill">False</property>
 846             <property name="pack_type">GTK_PACK_END</property>
 847             <property name="position">1</property>
 848           </packing>
 849         </child>
 850       </widget>
 851     </child>
 852   </widget>
 853   <widget class="PsppireDialog" id="compute-variable-dialog">
 854     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 855     <property name="title">Compute Variable</property>
 856     <property name="modal">True</property>
 857     <child internal-child="hbox">
 858       <widget class="GtkHBox" id="dialog-hbox5">
 859         <property name="visible">True</property>
 860         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 861         <property name="spacing">2</property>
 862         <child>
 863           <widget class="GtkAlignment" id="alignment8">
 864             <property name="visible">True</property>
 865             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 866             <property name="bottom_padding">5</property>
 867             <property name="left_padding">5</property>
 868             <child>
 869               <widget class="GtkHBox" id="hbox15">
 870                 <property name="visible">True</property>
 871                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 872                 <child>
 873                   <widget class="GtkVBox" id="vbox19">
 874                     <property name="visible">True</property>
 875                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 876                     <property name="spacing">5</property>
 877                     <child>
 878                       <widget class="GtkVBox" id="vbox20">
 879                         <property name="visible">True</property>
 880                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 881                         <child>
 882                           <widget class="GtkLabel" id="label20">
 883                             <property name="visible">True</property>
 884                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 885                             <property name="xalign">0</property>
 886                             <property name="label" translatable="yes">Target Variable:</property>
 887                           </widget>
 888                           <packing>
 889                             <property name="expand">False</property>
 890                             <property name="fill">False</property>
 891                           </packing>
 892                         </child>
 893                         <child>
 894                           <widget class="GtkEntry" id="compute-entry1">
 895                             <property name="visible">True</property>
 896                             <property name="can_focus">True</property>
 897                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 898                           </widget>
 899                           <packing>
 900                             <property name="expand">False</property>
 901                             <property name="fill">False</property>
 902                             <property name="position">1</property>
 903                           </packing>
 904                         </child>
 905                       </widget>
 906                       <packing>
 907                         <property name="expand">False</property>
 908                         <property name="fill">False</property>
 909                       </packing>
 910                     </child>
 911                     <child>
 912                       <widget class="GtkButton" id="compute-button1">
 913                         <property name="visible">True</property>
 914                         <property name="can_focus">True</property>
 915                         <property name="receives_default">True</property>
 916                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 917                         <property name="label" translatable="yes">Type &amp; Label</property>
 918                       </widget>
 919                       <packing>
 920                         <property name="expand">False</property>
 921                         <property name="fill">False</property>
 922                         <property name="position">1</property>
 923                       </packing>
 924                     </child>
 925                     <child>
 926                       <widget class="GtkScrolledWindow" id="scrolledwindow9">
 927                         <property name="visible">True</property>
 928                         <property name="can_focus">True</property>
 929                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 930                         <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 931                         <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 932                         <property name="shadow_type">GTK_SHADOW_IN</property>
 933                         <child>
 934                           <widget class="GtkTreeView" id="compute-treeview1">
 935                             <property name="visible">True</property>
 936                             <property name="can_focus">True</property>
 937                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 938                             <property name="headers_visible">False</property>
 939                           </widget>
 940                         </child>
 941                       </widget>
 942                       <packing>
 943                         <property name="position">2</property>
 944                       </packing>
 945                     </child>
 946                   </widget>
 947                 </child>
 948                 <child>
 949                   <widget class="GtkVBox" id="vbox21">
 950                     <property name="visible">True</property>
 951                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 952                     <child>
 953                       <widget class="GtkLabel" id="label21">
 954                         <property name="visible">True</property>
 955                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 956                         <property name="label" translatable="yes">=</property>
 957                       </widget>
 958                       <packing>
 959                         <property name="expand">False</property>
 960                         <property name="fill">False</property>
 961                       </packing>
 962                     </child>
 963                     <child>
 964                       <widget class="PsppireSelector" id="compute-selector1">
 965                         <property name="visible">True</property>
 966                         <property name="can_focus">True</property>
 967                         <property name="receives_default">True</property>
 968                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 969                         <property name="border_width">5</property>
 970                       </widget>
 971                       <packing>
 972                         <property name="expand">False</property>
 973                         <property name="fill">False</property>
 974                         <property name="position">1</property>
 975                       </packing>
 976                     </child>
 977                   </widget>
 978                   <packing>
 979                     <property name="expand">False</property>
 980                     <property name="fill">False</property>
 981                     <property name="position">1</property>
 982                   </packing>
 983                 </child>
 984               </widget>
 985             </child>
 986           </widget>
 987         </child>
 988         <child>
 989           <widget class="GtkVBox" id="vbox17">
 990             <property name="visible">True</property>
 991             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 992             <property name="spacing">5</property>
 993             <child>
 994               <widget class="GtkVBox" id="vbox18">
 995                 <property name="visible">True</property>
 996                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 997                 <child>
 998                   <widget class="GtkLabel" id="label19">
 999                     <property name="visible">True</property>
1000                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1001                     <property name="xalign">0</property>
1002                     <property name="label" translatable="yes">Numeric Expressions:</property>
1003                   </widget>
1004                   <packing>
1005                     <property name="expand">False</property>
1006                     <property name="fill">False</property>
1007                   </packing>
1008                 </child>
1009                 <child>
1010                   <widget class="GtkScrolledWindow" id="scrolledwindow8">
1011                     <property name="visible">True</property>
1012                     <property name="can_focus">True</property>
1013                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1014                     <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1015                     <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1016                     <property name="shadow_type">GTK_SHADOW_IN</property>
1017                     <child>
1018                       <widget class="GtkTextView" id="compute-textview1">
1019                         <property name="visible">True</property>
1020                         <property name="can_focus">True</property>
1021                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1022                       </widget>
1023                     </child>
1024                   </widget>
1025                   <packing>
1026                     <property name="position">1</property>
1027                   </packing>
1028                 </child>
1029               </widget>
1030             </child>
1031             <child>
1032               <widget class="GtkHBox" id="hbox16">
1033                 <property name="visible">True</property>
1034                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1035                 <property name="spacing">5</property>
1036                 <child>
1037                   <widget class="PsppireKeypad" id="psppire-keypad1">
1038                     <property name="visible">True</property>
1039                     <property name="can_focus">True</property>
1040                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK | GDK_KEY_RELEASE_MASK | GDK_ENTER_NOTIFY_MASK | GDK_LEAVE_NOTIFY_MASK | GDK_FOCUS_CHANGE_MASK</property>
1041                   </widget>
1042                 </child>
1043                 <child>
1044                   <widget class="GtkVBox" id="vbox22">
1045                     <property name="visible">True</property>
1046                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1047                     <child>
1048                       <widget class="GtkHBox" id="hbox17">
1049                         <property name="visible">True</property>
1050                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1051                         <child>
1052                           <widget class="GtkLabel" id="label22">
1053                             <property name="visible">True</property>
1054                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1055                             <property name="xalign">0</property>
1056                             <property name="label" translatable="yes">Functions:</property>
1057                           </widget>
1058                         </child>
1059                         <child>
1060                           <widget class="PsppireSelector" id="compute-selector2">
1061                             <property name="visible">True</property>
1062                             <property name="can_focus">True</property>
1063                             <property name="receives_default">True</property>
1064                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1065                             <property name="border_width">5</property>
1066                             <property name="orientation">PSPPIRE_SELECT_SOURCE_BELOW_DEST</property>
1067                           </widget>
1068                           <packing>
1069                             <property name="fill">False</property>
1070                             <property name="position">1</property>
1071                           </packing>
1072                         </child>
1073                       </widget>
1074                       <packing>
1075                         <property name="expand">False</property>
1076                         <property name="fill">False</property>
1077                       </packing>
1078                     </child>
1079                     <child>
1080                       <widget class="GtkScrolledWindow" id="scrolledwindow10">
1081                         <property name="visible">True</property>
1082                         <property name="can_focus">True</property>
1083                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1084                         <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
1085                         <property name="shadow_type">GTK_SHADOW_IN</property>
1086                         <child>
1087                           <widget class="GtkTreeView" id="compute-treeview2">
1088                             <property name="visible">True</property>
1089                             <property name="can_focus">True</property>
1090                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1091                             <property name="headers_visible">False</property>
1092                           </widget>
1093                         </child>
1094                       </widget>
1095                       <packing>
1096                         <property name="position">1</property>
1097                       </packing>
1098                     </child>
1099                   </widget>
1100                   <packing>
1101                     <property name="position">1</property>
1102                   </packing>
1103                 </child>
1104               </widget>
1105               <packing>
1106                 <property name="position">1</property>
1107               </packing>
1108             </child>
1109             <child>
1110               <widget class="GtkHBox" id="hbox18">
1111                 <property name="visible">True</property>
1112                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1113                 <child>
1114                   <widget class="GtkButton" id="button4">
1115                     <property name="visible">True</property>
1116                     <property name="sensitive">False</property>
1117                     <property name="can_focus">True</property>
1118                     <property name="receives_default">True</property>
1119                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1120                     <property name="label" translatable="yes">If...</property>
1121                   </widget>
1122                   <packing>
1123                     <property name="expand">False</property>
1124                     <property name="fill">False</property>
1125                   </packing>
1126                 </child>
1127                 <child>
1128                   <widget class="GtkLabel" id="label23">
1129                     <property name="visible">True</property>
1130                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1131                   </widget>
1132                   <packing>
1133                     <property name="position">1</property>
1134                   </packing>
1135                 </child>
1136               </widget>
1137               <packing>
1138                 <property name="expand">False</property>
1139                 <property name="fill">False</property>
1140                 <property name="position">2</property>
1141               </packing>
1142             </child>
1143             <child>
1144               <widget class="PsppireHButtonBox" id="psppire-hbuttonbox2">
1145                 <property name="visible">True</property>
1146                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1147                 <property name="border_width">5</property>
1148                 <property name="layout_style">GTK_BUTTONBOX_SPREAD</property>
1149               </widget>
1150               <packing>
1151                 <property name="expand">False</property>
1152                 <property name="fill">False</property>
1153                 <property name="pack_type">GTK_PACK_END</property>
1154                 <property name="position">3</property>
1155               </packing>
1156             </child>
1157           </widget>
1158           <packing>
1159             <property name="padding">5</property>
1160             <property name="position">1</property>
1161           </packing>
1162         </child>
1163       </widget>
1164     </child>
1165   </widget>
1166   <widget class="PsppireDialog" id="select-cases-dialog">
1167     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1168     <property name="title">Select Cases</property>
1169     <property name="modal">True</property>
1170     <property name="orientation">PSPPIRE_VERTICAL</property>
1171     <child internal-child="hbox">
1172       <widget class="GtkVBox" id="dialog-hbox6">
1173         <property name="visible">True</property>
1174         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1175         <property name="spacing">2</property>
1176         <child>
1177           <widget class="GtkAlignment" id="alignment2">
1178             <property name="visible">True</property>
1179             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1180             <property name="yscale">0</property>
1181             <property name="top_padding">5</property>
1182             <property name="left_padding">5</property>
1183             <property name="right_padding">5</property>
1184             <child>
1185               <widget class="GtkHBox" id="hbox8">
1186                 <property name="visible">True</property>
1187                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1188                 <property name="spacing">5</property>
1189                 <child>
1190                   <widget class="GtkScrolledWindow" id="scrolledwindow5">
1191                     <property name="visible">True</property>
1192                     <property name="can_focus">True</property>
1193                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1194                     <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1195                     <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1196                     <property name="shadow_type">GTK_SHADOW_IN</property>
1197                     <child>
1198                       <widget class="GtkTreeView" id="select-cases-treeview">
1199                         <property name="visible">True</property>
1200                         <property name="can_focus">True</property>
1201                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1202                         <property name="headers_visible">False</property>
1203                         <property name="fixed_height_mode">True</property>
1204                       </widget>
1205                     </child>
1206                   </widget>
1207                 </child>
1208                 <child>
1209                   <widget class="GtkVBox" id="vbox13">
1210                     <property name="visible">True</property>
1211                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1212                     <child>
1213                       <widget class="GtkFrame" id="Select5">
1214                         <property name="visible">True</property>
1215                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1216                         <property name="label_xalign">0</property>
1217                         <child>
1218                           <widget class="GtkAlignment" id="alignment11">
1219                             <property name="visible">True</property>
1220                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1221                             <property name="xscale">0</property>
1222                             <property name="left_padding">12</property>
1223                             <property name="right_padding">5</property>
1224                             <child>
1225                               <widget class="GtkTable" id="table2">
1226                                 <property name="visible">True</property>
1227                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1228                                 <property name="n_rows">5</property>
1229                                 <property name="n_columns">2</property>
1230                                 <property name="row_spacing">5</property>
1231                                 <child>
1232                                   <widget class="GtkLabel" id="label10">
1233                                     <property name="visible">True</property>
1234                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1235                                     <property name="xalign">0</property>
1236                                     <property name="label" translatable="yes">All Cases</property>
1237                                   </widget>
1238                                   <packing>
1239                                     <property name="left_attach">1</property>
1240                                     <property name="right_attach">2</property>
1241                                   </packing>
1242                                 </child>
1243                                 <child>
1244                                   <widget class="GtkVBox" id="vbox14">
1245                                     <property name="visible">True</property>
1246                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1247                                     <child>
1248                                       <widget class="GtkLabel" id="label11">
1249                                         <property name="visible">True</property>
1250                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1251                                         <property name="xalign">0</property>
1252                                         <property name="label" translatable="yes">If condition is satisfied</property>
1253                                       </widget>
1254                                     </child>
1255                                     <child>
1256                                       <widget class="GtkHBox" id="hbox9">
1257                                         <property name="visible">True</property>
1258                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1259                                         <child>
1260                                           <widget class="GtkButton" id="button-if">
1261                                             <property name="visible">True</property>
1262                                             <property name="sensitive">False</property>
1263                                             <property name="can_focus">True</property>
1264                                             <property name="receives_default">True</property>
1265                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1266                                             <property name="label" translatable="yes">If...</property>
1267                                           </widget>
1268                                           <packing>
1269                                             <property name="expand">False</property>
1270                                             <property name="fill">False</property>
1271                                           </packing>
1272                                         </child>
1273                                         <child>
1274                                           <widget class="GtkLabel" id="label26">
1275                                             <property name="visible">True</property>
1276                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1277                                           </widget>
1278                                           <packing>
1279                                             <property name="position">1</property>
1280                                           </packing>
1281                                         </child>
1282                                       </widget>
1283                                       <packing>
1284                                         <property name="position">1</property>
1285                                       </packing>
1286                                     </child>
1287                                   </widget>
1288                                   <packing>
1289                                     <property name="left_attach">1</property>
1290                                     <property name="right_attach">2</property>
1291                                     <property name="top_attach">1</property>
1292                                     <property name="bottom_attach">2</property>
1293                                   </packing>
1294                                 </child>
1295                                 <child>
1296                                   <widget class="GtkVBox" id="vbox24">
1297                                     <property name="visible">True</property>
1298                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1299                                     <child>
1300                                       <widget class="GtkLabel" id="label13">
1301                                         <property name="visible">True</property>
1302                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1303                                         <property name="xalign">0</property>
1304                                         <property name="label" translatable="yes">Random sample of cases</property>
1305                                       </widget>
1306                                     </child>
1307                                     <child>
1308                                       <widget class="GtkHBox" id="hbox11">
1309                                         <property name="visible">True</property>
1310                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1311                                         <property name="spacing">5</property>
1312                                         <child>
1313                                           <widget class="GtkButton" id="button-sample">
1314                                             <property name="visible">True</property>
1315                                             <property name="can_focus">True</property>
1316                                             <property name="receives_default">True</property>
1317                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1318                                             <property name="label" translatable="yes">Sample...</property>
1319                                           </widget>
1320                                           <packing>
1321                                             <property name="expand">False</property>
1322                                             <property name="fill">False</property>
1323                                           </packing>
1324                                         </child>
1325                                         <child>
1326                                           <widget class="GtkLabel" id="random-sample-label">
1327                                             <property name="visible">True</property>
1328                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1329                                           </widget>
1330                                           <packing>
1331                                             <property name="position">1</property>
1332                                           </packing>
1333                                         </child>
1334                                       </widget>
1335                                       <packing>
1336                                         <property name="position">1</property>
1337                                       </packing>
1338                                     </child>
1339                                   </widget>
1340                                   <packing>
1341                                     <property name="left_attach">1</property>
1342                                     <property name="right_attach">2</property>
1343                                     <property name="top_attach">2</property>
1344                                     <property name="bottom_attach">3</property>
1345                                   </packing>
1346                                 </child>
1347                                 <child>
1348                                   <widget class="GtkVBox" id="vbox25">
1349                                     <property name="visible">True</property>
1350                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1351                                     <child>
1352                                       <widget class="GtkLabel" id="label15">
1353                                         <property name="visible">True</property>
1354                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1355                                         <property name="xalign">0</property>
1356                                         <property name="label" translatable="yes">Based on time or case range</property>
1357                                       </widget>
1358                                     </child>
1359                                     <child>
1360                                       <widget class="GtkHBox" id="hbox12">
1361                                         <property name="visible">True</property>
1362                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1363                                         <child>
1364                                           <widget class="GtkButton" id="button-range">
1365                                             <property name="visible">True</property>
1366                                             <property name="can_focus">True</property>
1367                                             <property name="receives_default">True</property>
1368                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1369                                             <property name="label" translatable="yes">Range...</property>
1370                                           </widget>
1371                                           <packing>
1372                                             <property name="expand">False</property>
1373                                             <property name="fill">False</property>
1374                                           </packing>
1375                                         </child>
1376                                         <child>
1377                                           <widget class="GtkLabel" id="range-sample-label">
1378                                             <property name="visible">True</property>
1379                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1380                                           </widget>
1381                                           <packing>
1382                                             <property name="position">1</property>
1383                                           </packing>
1384                                         </child>
1385                                       </widget>
1386                                       <packing>
1387                                         <property name="position">1</property>
1388                                       </packing>
1389                                     </child>
1390                                   </widget>
1391                                   <packing>
1392                                     <property name="left_attach">1</property>
1393                                     <property name="right_attach">2</property>
1394                                     <property name="top_attach">3</property>
1395                                     <property name="bottom_attach">4</property>
1396                                   </packing>
1397                                 </child>
1398                                 <child>
1399                                   <widget class="GtkVBox" id="vbox26">
1400                                     <property name="visible">True</property>
1401                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1402                                     <child>
1403                                       <widget class="GtkLabel" id="label25">
1404                                         <property name="visible">True</property>
1405                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1406                                         <property name="xalign">0</property>
1407                                         <property name="label" translatable="yes">Use filter variable</property>
1408                                       </widget>
1409                                     </child>
1410                                     <child>
1411                                       <widget class="GtkHBox" id="hbox19">
1412                                         <property name="visible">True</property>
1413                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1414                                         <child>
1415                                           <widget class="PsppireSelector" id="psppire-selector-filter">
1416                                             <property name="visible">True</property>
1417                                             <property name="can_focus">True</property>
1418                                             <property name="receives_default">True</property>
1419                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1420                                             <property name="border_width">5</property>
1421                                           </widget>
1422                                           <packing>
1423                                             <property name="expand">False</property>
1424                                             <property name="fill">False</property>
1425                                           </packing>
1426                                         </child>
1427                                         <child>
1428                                           <widget class="GtkEntry" id="filter-variable-entry">
1429                                             <property name="visible">True</property>
1430                                             <property name="sensitive">False</property>
1431                                             <property name="can_focus">True</property>
1432                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1433                                           </widget>
1434                                           <packing>
1435                                             <property name="position">1</property>
1436                                           </packing>
1437                                         </child>
1438                                       </widget>
1439                                       <packing>
1440                                         <property name="position">1</property>
1441                                       </packing>
1442                                     </child>
1443                                   </widget>
1444                                   <packing>
1445                                     <property name="left_attach">1</property>
1446                                     <property name="right_attach">2</property>
1447                                     <property name="top_attach">4</property>
1448                                     <property name="bottom_attach">5</property>
1449                                   </packing>
1450                                 </child>
1451                                 <child>
1452                                   <widget class="GtkAlignment" id="alignment13">
1453                                     <property name="visible">True</property>
1454                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1455                                     <property name="xalign">0</property>
1456                                     <property name="yalign">0</property>
1457                                     <property name="xscale">0</property>
1458                                     <property name="yscale">0</property>
1459                                     <child>
1460                                       <widget class="GtkRadioButton" id="radiobutton-if">
1461                                         <property name="visible">True</property>
1462                                         <property name="sensitive">False</property>
1463                                         <property name="can_focus">True</property>
1464                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1465                                         <property name="active">True</property>
1466                                         <property name="draw_indicator">True</property>
1467                                         <property name="group">radiobutton-all</property>
1468                                       </widget>
1469                                     </child>
1470                                   </widget>
1471                                   <packing>
1472                                     <property name="top_attach">1</property>
1473                                     <property name="bottom_attach">2</property>
1474                                     <property name="x_options"></property>
1475                                   </packing>
1476                                 </child>
1477                                 <child>
1478                                   <widget class="GtkAlignment" id="alignment16">
1479                                     <property name="visible">True</property>
1480                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1481                                     <property name="xalign">0</property>
1482                                     <property name="yalign">0</property>
1483                                     <property name="xscale">0</property>
1484                                     <property name="yscale">0</property>
1485                                     <child>
1486                                       <widget class="GtkRadioButton" id="radiobutton-sample">
1487                                         <property name="visible">True</property>
1488                                         <property name="can_focus">True</property>
1489                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1490                                         <property name="active">True</property>
1491                                         <property name="draw_indicator">True</property>
1492                                         <property name="group">radiobutton-all</property>
1493                                       </widget>
1494                                     </child>
1495                                   </widget>
1496                                   <packing>
1497                                     <property name="top_attach">2</property>
1498                                     <property name="bottom_attach">3</property>
1499                                     <property name="x_options"></property>
1500                                   </packing>
1501                                 </child>
1502                                 <child>
1503                                   <widget class="GtkAlignment" id="alignment17">
1504                                     <property name="visible">True</property>
1505                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1506                                     <property name="xalign">0</property>
1507                                     <property name="yalign">0</property>
1508                                     <property name="xscale">0</property>
1509                                     <property name="yscale">0</property>
1510                                     <child>
1511                                       <widget class="GtkRadioButton" id="radiobutton-range">
1512                                         <property name="visible">True</property>
1513                                         <property name="can_focus">True</property>
1514                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1515                                         <property name="active">True</property>
1516                                         <property name="draw_indicator">True</property>
1517                                         <property name="group">radiobutton-all</property>
1518                                       </widget>
1519                                     </child>
1520                                   </widget>
1521                                   <packing>
1522                                     <property name="top_attach">3</property>
1523                                     <property name="bottom_attach">4</property>
1524                                     <property name="x_options"></property>
1525                                   </packing>
1526                                 </child>
1527                                 <child>
1528                                   <widget class="GtkAlignment" id="alignment18">
1529                                     <property name="visible">True</property>
1530                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1531                                     <property name="xalign">0</property>
1532                                     <property name="yalign">0</property>
1533                                     <property name="xscale">0</property>
1534                                     <property name="yscale">0</property>
1535                                     <child>
1536                                       <widget class="GtkRadioButton" id="radiobutton-filter-variable">
1537                                         <property name="visible">True</property>
1538                                         <property name="can_focus">True</property>
1539                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1540                                         <property name="active">True</property>
1541                                         <property name="draw_indicator">True</property>
1542                                         <property name="group">radiobutton-all</property>
1543                                       </widget>
1544                                     </child>
1545                                   </widget>
1546                                   <packing>
1547                                     <property name="top_attach">4</property>
1548                                     <property name="bottom_attach">5</property>
1549                                     <property name="x_options"></property>
1550                                   </packing>
1551                                 </child>
1552                                 <child>
1553                                   <widget class="GtkRadioButton" id="radiobutton-all">
1554                                     <property name="visible">True</property>
1555                                     <property name="can_focus">True</property>
1556                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1557                                     <property name="active">True</property>
1558                                     <property name="draw_indicator">True</property>
1559                                   </widget>
1560                                 </child>
1561                               </widget>
1562                             </child>
1563                           </widget>
1564                         </child>
1565                         <child>
1566                           <widget class="GtkLabel" id="Select6">
1567                             <property name="visible">True</property>
1568                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1569                             <property name="label" translatable="yes">Select</property>
1570                             <property name="use_markup">True</property>
1571                           </widget>
1572                           <packing>
1573                             <property name="type">label_item</property>
1574                           </packing>
1575                         </child>
1576                       </widget>
1577                     </child>
1578                     <child>
1579                       <widget class="GtkFrame" id="frame8">
1580                         <property name="visible">True</property>
1581                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1582                         <property name="label_xalign">0</property>
1583                         <child>
1584                           <widget class="GtkAlignment" id="alignment12">
1585                             <property name="visible">True</property>
1586                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1587                             <property name="left_padding">12</property>
1588                             <child>
1589                               <widget class="GtkHButtonBox" id="filter-delete-button-box">
1590                                 <property name="visible">True</property>
1591                                 <property name="sensitive">False</property>
1592                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1593                                 <property name="layout_style">GTK_BUTTONBOX_SPREAD</property>
1594                                 <child>
1595                                   <widget class="GtkRadioButton" id="radiobutton-filter">
1596                                     <property name="visible">True</property>
1597                                     <property name="can_focus">True</property>
1598                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1599                                     <property name="label" translatable="yes">Filtered</property>
1600                                     <property name="active">True</property>
1601                                     <property name="draw_indicator">True</property>
1602                                   </widget>
1603                                 </child>
1604                                 <child>
1605                                   <widget class="GtkRadioButton" id="radiobutton-delete">
1606                                     <property name="visible">True</property>
1607                                     <property name="can_focus">True</property>
1608                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1609                                     <property name="label" translatable="yes">Deleted</property>
1610                                     <property name="active">True</property>
1611                                     <property name="draw_indicator">True</property>
1612                                     <property name="group">radiobutton-filter</property>
1613                                   </widget>
1614                                   <packing>
1615                                     <property name="position">1</property>
1616                                   </packing>
1617                                 </child>
1618                               </widget>
1619                             </child>
1620                           </widget>
1621                         </child>
1622                         <child>
1623                           <widget class="GtkLabel" id="label9">
1624                             <property name="visible">True</property>
1625                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1626                             <property name="label" translatable="yes">Unselected Cases Are</property>
1627                             <property name="use_markup">True</property>
1628                           </widget>
1629                           <packing>
1630                             <property name="type">label_item</property>
1631                           </packing>
1632                         </child>
1633                       </widget>
1634                       <packing>
1635                         <property name="position">1</property>
1636                       </packing>
1637                     </child>
1638                   </widget>
1639                   <packing>
1640                     <property name="expand">False</property>
1641                     <property name="fill">False</property>
1642                     <property name="pack_type">GTK_PACK_END</property>
1643                     <property name="position">1</property>
1644                   </packing>
1645                 </child>
1646               </widget>
1647             </child>
1648           </widget>
1649         </child>
1650         <child>
1651           <widget class="PsppireHButtonBox" id="psppire-hbuttonbox3">
1652             <property name="visible">True</property>
1653             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1654             <property name="border_width">5</property>
1655           </widget>
1656           <packing>
1657             <property name="expand">False</property>
1658             <property name="fill">False</property>
1659             <property name="pack_type">GTK_PACK_END</property>
1660             <property name="position">1</property>
1661           </packing>
1662         </child>
1663       </widget>
1664     </child>
1665   </widget>
1666   <widget class="PsppireDialog" id="comments-dialog">
1667     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1668     <property name="title">Data File Comments</property>
1669     <property name="modal">True</property>
1670     <property name="orientation">PSPPIRE_VERTICAL</property>
1671     <child internal-child="hbox">
1672       <widget class="GtkVBox" id="dialog-hbox7">
1673         <property name="visible">True</property>
1674         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1675         <property name="spacing">2</property>
1676         <child>
1677           <widget class="GtkAlignment" id="alignment7">
1678             <property name="visible">True</property>
1679             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1680             <property name="left_padding">5</property>
1681             <property name="right_padding">5</property>
1682             <child>
1683               <widget class="GtkVBox" id="vbox9">
1684                 <property name="visible">True</property>
1685                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1686                 <child>
1687                   <widget class="GtkLabel" id="label16">
1688                     <property name="visible">True</property>
1689                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1690                     <property name="xalign">0</property>
1691                     <property name="label" translatable="yes">Comments:</property>
1692                   </widget>
1693                   <packing>
1694                     <property name="expand">False</property>
1695                     <property name="fill">False</property>
1696                   </packing>
1697                 </child>
1698                 <child>
1699                   <widget class="GtkScrolledWindow" id="scrolledwindow11">
1700                     <property name="visible">True</property>
1701                     <property name="can_focus">True</property>
1702                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1703                     <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1704                     <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1705                     <property name="shadow_type">GTK_SHADOW_IN</property>
1706                     <child>
1707                       <widget class="GtkTextView" id="comments-textview1">
1708                         <property name="visible">True</property>
1709                         <property name="can_focus">True</property>
1710                       </widget>
1711                     </child>
1712                   </widget>
1713                   <packing>
1714                     <property name="position">1</property>
1715                   </packing>
1716                 </child>
1717               </widget>
1718             </child>
1719           </widget>
1720           <packing>
1721             <property name="padding">5</property>
1722           </packing>
1723         </child>
1724         <child>
1725           <widget class="GtkHBox" id="hbox13">
1726             <property name="visible">True</property>
1727             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1728             <child>
1729               <widget class="GtkCheckButton" id="comments-checkbutton1">
1730                 <property name="visible">True</property>
1731                 <property name="can_focus">True</property>
1732                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1733                 <property name="label" translatable="yes">Display comments in output</property>
1734                 <property name="draw_indicator">True</property>
1735               </widget>
1736               <packing>
1737                 <property name="expand">False</property>
1738                 <property name="fill">False</property>
1739                 <property name="padding">5</property>
1740               </packing>
1741             </child>
1742             <child>
1743               <widget class="GtkLabel" id="column-number-label">
1744                 <property name="visible">True</property>
1745                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1746                 <property name="xalign">1</property>
1747                 <property name="label" translatable="yes">Column Number: 0</property>
1748               </widget>
1749               <packing>
1750                 <property name="padding">5</property>
1751                 <property name="pack_type">GTK_PACK_END</property>
1752                 <property name="position">1</property>
1753               </packing>
1754             </child>
1755           </widget>
1756           <packing>
1757             <property name="expand">False</property>
1758             <property name="fill">False</property>
1759             <property name="pack_type">GTK_PACK_END</property>
1760             <property name="position">2</property>
1761           </packing>
1762         </child>
1763         <child>
1764           <widget class="PsppireHButtonBox" id="psppire-hbuttonbox1">
1765             <property name="visible">True</property>
1766             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1767             <property name="border_width">5</property>
1768           </widget>
1769           <packing>
1770             <property name="expand">False</property>
1771             <property name="fill">False</property>
1772             <property name="pack_type">GTK_PACK_END</property>
1773             <property name="position">1</property>
1774           </packing>
1775         </child>
1776       </widget>
1777     </child>
1778   </widget>
1779   <widget class="PsppireDialog" id="variable-info-dialog">
1780     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1781     <property name="title">Variables</property>
1782     <property name="modal">True</property>
1783     <child internal-child="hbox">
1784       <widget class="GtkHBox" id="dialog-hbox6">
1785         <property name="visible">True</property>
1786         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1787         <property name="spacing">5</property>
1788         <child>
1789           <widget class="GtkScrolledWindow" id="scrolledwindow11">
1790             <property name="visible">True</property>
1791             <property name="can_focus">True</property>
1792             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1793             <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
1794             <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1795             <property name="shadow_type">GTK_SHADOW_IN</property>
1796             <child>
1797               <widget class="GtkTreeView" id="treeview2">
1798                 <property name="visible">True</property>
1799                 <property name="can_focus">True</property>
1800                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1801                 <property name="headers_visible">False</property>
1802                 <property name="reorderable">True</property>
1803                 <property name="fixed_height_mode">True</property>
1804               </widget>
1805             </child>
1806           </widget>
1807           <packing>
1808             <property name="expand">False</property>
1809             <property name="fill">False</property>
1810             <property name="padding">5</property>
1811           </packing>
1812         </child>
1813         <child>
1814           <widget class="GtkVBox" id="vbox23">
1815             <property name="visible">True</property>
1816             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1817             <property name="spacing">5</property>
1818             <child>
1819               <widget class="GtkLabel" id="label24">
1820                 <property name="visible">True</property>
1821                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1822                 <property name="xalign">0</property>
1823                 <property name="label" translatable="yes">Variable Information:</property>
1824               </widget>
1825               <packing>
1826                 <property name="expand">False</property>
1827                 <property name="fill">False</property>
1828                 <property name="padding">5</property>
1829               </packing>
1830             </child>
1831             <child>
1832               <widget class="GtkScrolledWindow" id="scrolledwindow12">
1833                 <property name="visible">True</property>
1834                 <property name="can_focus">True</property>
1835                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1836                 <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
1837                 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1838                 <property name="shadow_type">GTK_SHADOW_IN</property>
1839                 <child>
1840                   <widget class="GtkTextView" id="textview1">
1841                     <property name="height_request">200</property>
1842                     <property name="visible">True</property>
1843                     <property name="events">GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1844                     <property name="editable">False</property>
1845                     <property name="wrap_mode">GTK_WRAP_WORD_CHAR</property>
1846                     <property name="left_margin">3</property>
1847                     <property name="cursor_visible">False</property>
1848                     <property name="accepts_tab">False</property>
1849                     <property name="text" translatable="yes">
1850
1851
1852
1853
1854
1855
1856
1857
1858
1859 </property>
1860                   </widget>
1861                 </child>
1862               </widget>
1863               <packing>
1864                 <property name="padding">5</property>
1865                 <property name="position">2</property>
1866               </packing>
1867             </child>
1868             <child>
1869               <widget class="PsppireHButtonBox" id="psppire-hbuttonbox3">
1870                 <property name="visible">True</property>
1871                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1872                 <property name="border_width">5</property>
1873                 <property name="homogeneous">True</property>
1874                 <property name="buttons">PSPPIRE_BUTTON_GOTO_MASK | PSPPIRE_BUTTON_CANCEL_MASK | PSPPIRE_BUTTON_HELP_MASK | PSPPIRE_BUTTON_PASTE_MASK</property>
1875               </widget>
1876               <packing>
1877                 <property name="expand">False</property>
1878                 <property name="fill">False</property>
1879                 <property name="pack_type">GTK_PACK_END</property>
1880                 <property name="position">1</property>
1881               </packing>
1882             </child>
1883           </widget>
1884           <packing>
1885             <property name="padding">5</property>
1886             <property name="position">1</property>
1887           </packing>
1888         </child>
1889       </widget>
1890     </child>
1891   </widget>
1892   <widget class="PsppireDialog" id="select-cases-range-dialog">
1893     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1894     <property name="title">Select Cases: Range</property>
1895     <property name="modal">True</property>
1896     <property name="orientation">PSPPIRE_VERTICAL</property>
1897     <child internal-child="hbox">
1898       <widget class="GtkVBox" id="dialog-hbox10">
1899         <property name="visible">True</property>
1900         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1901         <property name="spacing">2</property>
1902         <child>
1903           <widget class="GtkTable" id="table3">
1904             <property name="visible">True</property>
1905             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1906             <property name="n_rows">2</property>
1907             <property name="n_columns">3</property>
1908             <property name="column_spacing">5</property>
1909             <child>
1910               <widget class="GtkLabel" id="label14">
1911                 <property name="visible">True</property>
1912                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1913                 <property name="label" translatable="yes">Observation</property>
1914               </widget>
1915               <packing>
1916                 <property name="bottom_attach">2</property>
1917               </packing>
1918             </child>
1919             <child>
1920               <widget class="GtkLabel" id="label12">
1921                 <property name="visible">True</property>
1922                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1923                 <property name="label" translatable="yes">Last case</property>
1924               </widget>
1925               <packing>
1926                 <property name="left_attach">2</property>
1927                 <property name="right_attach">3</property>
1928                 <property name="x_options"></property>
1929                 <property name="y_options"></property>
1930               </packing>
1931             </child>
1932             <child>
1933               <widget class="GtkLabel" id="label8">
1934                 <property name="visible">True</property>
1935                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1936                 <property name="label" translatable="yes">First case</property>
1937               </widget>
1938               <packing>
1939                 <property name="left_attach">1</property>
1940                 <property name="right_attach">2</property>
1941                 <property name="x_options"></property>
1942                 <property name="y_options"></property>
1943               </packing>
1944             </child>
1945             <child>
1946               <widget class="GtkSpinButton" id="range-dialog-first">
1947                 <property name="visible">True</property>
1948                 <property name="can_focus">True</property>
1949                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1950                 <property name="truncate_multiline">True</property>
1951                 <property name="adjustment">1 1 0 1 10 10</property>
1952               </widget>
1953               <packing>
1954                 <property name="left_attach">1</property>
1955                 <property name="right_attach">2</property>
1956                 <property name="top_attach">1</property>
1957                 <property name="bottom_attach">2</property>
1958               </packing>
1959             </child>
1960             <child>
1961               <widget class="GtkSpinButton" id="range-dialog-last">
1962                 <property name="visible">True</property>
1963                 <property name="can_focus">True</property>
1964                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1965                 <property name="truncate_multiline">True</property>
1966                 <property name="adjustment">1 1 100 1 10 10</property>
1967               </widget>
1968               <packing>
1969                 <property name="left_attach">2</property>
1970                 <property name="right_attach">3</property>
1971                 <property name="top_attach">1</property>
1972                 <property name="bottom_attach">2</property>
1973               </packing>
1974             </child>
1975           </widget>
1976           <packing>
1977             <property name="fill">False</property>
1978             <property name="padding">5</property>
1979           </packing>
1980         </child>
1981         <child>
1982           <widget class="PsppireHButtonBox" id="psppire-hbuttonbox4">
1983             <property name="visible">True</property>
1984             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1985             <property name="border_width">5</property>
1986             <property name="buttons">PSPPIRE_BUTTON_CONTINUE_MASK | PSPPIRE_BUTTON_CANCEL_MASK | PSPPIRE_BUTTON_HELP_MASK</property>
1987           </widget>
1988           <packing>
1989             <property name="expand">False</property>
1990             <property name="fill">False</property>
1991             <property name="pack_type">GTK_PACK_END</property>
1992             <property name="position">1</property>
1993           </packing>
1994         </child>
1995       </widget>
1996     </child>
1997   </widget>
1998   <widget class="PsppireDialog" id="type-and-label-dialog">
1999     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2000     <property name="title">Compute Variable: Type and Label</property>
2001     <property name="modal">True</property>
2002     <child internal-child="hbox">
2003       <widget class="GtkHBox" id="dialog-hbox9">
2004         <property name="visible">True</property>
2005         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2006         <property name="spacing">2</property>
2007         <child>
2008           <widget class="GtkVBox" id="vbox24">
2009             <property name="visible">True</property>
2010             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2011             <child>
2012               <widget class="GtkFrame" id="Label">
2013                 <property name="visible">True</property>
2014                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2015                 <property name="border_width">5</property>
2016                 <property name="label_xalign">0</property>
2017                 <child>
2018                   <widget class="GtkAlignment" id="alignment11">
2019                     <property name="visible">True</property>
2020                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2021                     <property name="left_padding">12</property>
2022                     <child>
2023                       <widget class="GtkTable" id="table2">
2024                         <property name="visible">True</property>
2025                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2026                         <property name="border_width">5</property>
2027                         <property name="n_rows">2</property>
2028                         <property name="n_columns">2</property>
2029                         <child>
2030                           <widget class="GtkRadioButton" id="radio-button-user-label">
2031                             <property name="visible">True</property>
2032                             <property name="can_focus">True</property>
2033                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2034                             <property name="active">True</property>
2035                             <property name="draw_indicator">True</property>
2036                           </widget>
2037                           <packing>
2038                             <property name="x_options"></property>
2039                           </packing>
2040                         </child>
2041                         <child>
2042                           <widget class="GtkRadioButton" id="radio-button-expression-label">
2043                             <property name="visible">True</property>
2044                             <property name="can_focus">True</property>
2045                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2046                             <property name="active">True</property>
2047                             <property name="draw_indicator">True</property>
2048                             <property name="group">radio-button-user-label</property>
2049                           </widget>
2050                           <packing>
2051                             <property name="top_attach">1</property>
2052                             <property name="bottom_attach">2</property>
2053                             <property name="x_options"></property>
2054                           </packing>
2055                         </child>
2056                         <child>
2057                           <widget class="GtkHBox" id="hbox19">
2058                             <property name="visible">True</property>
2059                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2060                             <property name="spacing">5</property>
2061                             <child>
2062                               <widget class="GtkLabel" id="label26">
2063                                 <property name="visible">True</property>
2064                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2065                                 <property name="label" translatable="yes">Label:</property>
2066                               </widget>
2067                               <packing>
2068                                 <property name="expand">False</property>
2069                               </packing>
2070                             </child>
2071                             <child>
2072                               <widget class="GtkEntry" id="type-and-label-label-entry">
2073                                 <property name="visible">True</property>
2074                                 <property name="can_focus">True</property>
2075                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2076                               </widget>
2077                               <packing>
2078                                 <property name="pack_type">GTK_PACK_END</property>
2079                                 <property name="position">1</property>
2080                               </packing>
2081                             </child>
2082                           </widget>
2083                           <packing>
2084                             <property name="left_attach">1</property>
2085                             <property name="right_attach">2</property>
2086                             <property name="y_options"></property>
2087                           </packing>
2088                         </child>
2089                         <child>
2090                           <widget class="GtkLabel" id="label27">
2091                             <property name="visible">True</property>
2092                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2093                             <property name="xalign">0</property>
2094                             <property name="label" translatable="yes">Use expression as label</property>
2095                           </widget>
2096                           <packing>
2097                             <property name="left_attach">1</property>
2098                             <property name="right_attach">2</property>
2099                             <property name="top_attach">1</property>
2100                             <property name="bottom_attach">2</property>
2101                             <property name="y_options"></property>
2102                           </packing>
2103                         </child>
2104                       </widget>
2105                     </child>
2106                   </widget>
2107                 </child>
2108                 <child>
2109                   <widget class="GtkLabel" id="label25">
2110                     <property name="visible">True</property>
2111                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2112                     <property name="label" translatable="yes">Label</property>
2113                     <property name="use_markup">True</property>
2114                   </widget>
2115                   <packing>
2116                     <property name="type">label_item</property>
2117                   </packing>
2118                 </child>
2119               </widget>
2120             </child>
2121             <child>
2122               <widget class="GtkFrame" id="frame7">
2123                 <property name="visible">True</property>
2124                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2125                 <property name="border_width">5</property>
2126                 <property name="label_xalign">0</property>
2127                 <child>
2128                   <widget class="GtkAlignment" id="alignment10">
2129                     <property name="visible">True</property>
2130                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2131                     <property name="left_padding">12</property>
2132                     <child>
2133                       <widget class="GtkTable" id="table3">
2134                         <property name="visible">True</property>
2135                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2136                         <property name="border_width">5</property>
2137                         <property name="n_rows">2</property>
2138                         <property name="n_columns">2</property>
2139                         <child>
2140                           <widget class="GtkLabel" id="label28">
2141                             <property name="visible">True</property>
2142                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2143                             <property name="xalign">0</property>
2144                             <property name="label" translatable="yes">Numeric</property>
2145                           </widget>
2146                           <packing>
2147                             <property name="left_attach">1</property>
2148                             <property name="right_attach">2</property>
2149                           </packing>
2150                         </child>
2151                         <child>
2152                           <widget class="GtkRadioButton" id="radio-button-numeric">
2153                             <property name="visible">True</property>
2154                             <property name="can_focus">True</property>
2155                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2156                             <property name="active">True</property>
2157                             <property name="draw_indicator">True</property>
2158                             <property name="group">radio-button-string</property>
2159                           </widget>
2160                           <packing>
2161                             <property name="x_options"></property>
2162                             <property name="y_options"></property>
2163                           </packing>
2164                         </child>
2165                         <child>
2166                           <widget class="GtkRadioButton" id="radio-button-string">
2167                             <property name="visible">True</property>
2168                             <property name="can_focus">True</property>
2169                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2170                             <property name="active">True</property>
2171                             <property name="draw_indicator">True</property>
2172                           </widget>
2173                           <packing>
2174                             <property name="top_attach">1</property>
2175                             <property name="bottom_attach">2</property>
2176                             <property name="x_options"></property>
2177                             <property name="y_options"></property>
2178                           </packing>
2179                         </child>
2180                         <child>
2181                           <widget class="GtkHBox" id="hbox20">
2182                             <property name="visible">True</property>
2183                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2184                             <child>
2185                               <widget class="GtkLabel" id="label29">
2186                                 <property name="visible">True</property>
2187                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2188                                 <property name="xalign">0</property>
2189                                 <property name="label" translatable="yes">String</property>
2190                               </widget>
2191                             </child>
2192                             <child>
2193                               <widget class="GtkHBox" id="hbox21">
2194                                 <property name="visible">True</property>
2195                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2196                                 <child>
2197                                   <widget class="GtkLabel" id="label30">
2198                                     <property name="visible">True</property>
2199                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2200                                     <property name="label" translatable="yes">Width</property>
2201                                   </widget>
2202                                 </child>
2203                                 <child>
2204                                   <widget class="GtkSpinButton" id="type-and-label-width">
2205                                     <property name="visible">True</property>
2206                                     <property name="can_focus">True</property>
2207                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2208                                     <property name="adjustment">8 1 32767 1 10 10</property>
2209                                   </widget>
2210                                   <packing>
2211                                     <property name="position">1</property>
2212                                   </packing>
2213                                 </child>
2214                               </widget>
2215                               <packing>
2216                                 <property name="position">1</property>
2217                               </packing>
2218                             </child>
2219                           </widget>
2220                           <packing>
2221                             <property name="left_attach">1</property>
2222                             <property name="right_attach">2</property>
2223                             <property name="top_attach">1</property>
2224                             <property name="bottom_attach">2</property>
2225                             <property name="x_options">GTK_FILL</property>
2226                           </packing>
2227                         </child>
2228                       </widget>
2229                     </child>
2230                   </widget>
2231                 </child>
2232                 <child>
2233                   <widget class="GtkLabel" id="label15">
2234                     <property name="visible">True</property>
2235                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2236                     <property name="label" translatable="yes">Type</property>
2237                     <property name="use_markup">True</property>
2238                   </widget>
2239                   <packing>
2240                     <property name="type">label_item</property>
2241                   </packing>
2242                 </child>
2243               </widget>
2244               <packing>
2245                 <property name="position">1</property>
2246               </packing>
2247             </child>
2248           </widget>
2249         </child>
2250         <child>
2251           <widget class="PsppireVButtonBox" id="psppire-vbuttonbox1">
2252             <property name="visible">True</property>
2253             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2254             <property name="border_width">5</property>
2255             <property name="buttons">PSPPIRE_BUTTON_CONTINUE_MASK | PSPPIRE_BUTTON_CANCEL_MASK | PSPPIRE_BUTTON_HELP_MASK</property>
2256           </widget>
2257           <packing>
2258             <property name="expand">False</property>
2259             <property name="fill">False</property>
2260             <property name="pack_type">GTK_PACK_END</property>
2261             <property name="position">1</property>
2262           </packing>
2263         </child>
2264       </widget>
2265     </child>
2266   </widget>
2267   <widget class="PsppireDialog" id="goto-case-dialog">
2268     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2269     <property name="title">Goto Case</property>
2270     <property name="modal">True</property>
2271     <property name="orientation">PSPPIRE_VERTICAL</property>
2272     <child internal-child="hbox">
2273       <widget class="GtkVBox" id="dialog-hbox10">
2274         <property name="visible">True</property>
2275         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2276         <property name="spacing">5</property>
2277         <child>
2278           <widget class="GtkHBox" id="hbox22">
2279             <property name="visible">True</property>
2280             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2281             <property name="spacing">5</property>
2282             <child>
2283               <widget class="GtkLabel" id="label31">
2284                 <property name="visible">True</property>
2285                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2286                 <property name="xalign">1</property>
2287                 <property name="label" translatable="yes">Goto Case Number:</property>
2288               </widget>
2289             </child>
2290             <child>
2291               <widget class="GtkSpinButton" id="goto-case-case-num-entry">
2292                 <property name="visible">True</property>
2293                 <property name="can_focus">True</property>
2294                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2295                 <property name="adjustment">1 1 100 1 10 10</property>
2296               </widget>
2297               <packing>
2298                 <property name="position">1</property>
2299               </packing>
2300             </child>
2301           </widget>
2302           <packing>
2303             <property name="fill">False</property>
2304             <property name="padding">5</property>
2305           </packing>
2306         </child>
2307         <child>
2308           <widget class="PsppireHButtonBox" id="psppire-hbuttonbox4">
2309             <property name="visible">True</property>
2310             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2311             <property name="border_width">5</property>
2312             <property name="layout_style">GTK_BUTTONBOX_SPREAD</property>
2313             <property name="buttons">PSPPIRE_BUTTON_GOTO_MASK | PSPPIRE_BUTTON_CANCEL_MASK</property>
2314           </widget>
2315           <packing>
2316             <property name="expand">False</property>
2317             <property name="fill">False</property>
2318             <property name="pack_type">GTK_PACK_END</property>
2319             <property name="position">1</property>
2320           </packing>
2321         </child>
2322       </widget>
2323     </child>
2324   </widget>
2325   <widget class="PsppireDialog" id="select-cases-random-sample-dialog">
2326     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2327     <property name="title">Select Cases: Random Sample</property>
2328     <property name="modal">True</property>
2329     <property name="orientation">PSPPIRE_VERTICAL</property>
2330     <child internal-child="hbox">
2331       <widget class="GtkVBox" id="dialog-hbox13">
2332         <property name="visible">True</property>
2333         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2334         <property name="spacing">2</property>
2335         <child>
2336           <widget class="GtkFrame" id="frame6">
2337             <property name="visible">True</property>
2338             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2339             <property name="label_xalign">0</property>
2340             <child>
2341               <widget class="GtkAlignment" id="alignment3">
2342                 <property name="visible">True</property>
2343                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2344                 <property name="top_padding">5</property>
2345                 <property name="bottom_padding">5</property>
2346                 <property name="left_padding">5</property>
2347                 <property name="right_padding">5</property>
2348                 <child>
2349                   <widget class="GtkTable" id="select-cases-random-sample-table">
2350                     <property name="visible">True</property>
2351                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2352                     <property name="n_rows">2</property>
2353                     <property name="n_columns">2</property>
2354                     <property name="column_spacing">5</property>
2355                     <property name="row_spacing">5</property>
2356                     <child>
2357                       <widget class="GtkAlignment" id="alignment9">
2358                         <property name="visible">True</property>
2359                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2360                         <property name="xalign">0</property>
2361                         <property name="xscale">0</property>
2362                         <child>
2363                           <placeholder/>
2364                         </child>
2365                       </widget>
2366                       <packing>
2367                         <property name="left_attach">1</property>
2368                         <property name="right_attach">2</property>
2369                         <property name="top_attach">1</property>
2370                         <property name="bottom_attach">2</property>
2371                       </packing>
2372                     </child>
2373                     <child>
2374                       <widget class="GtkAlignment" id="alignment4">
2375                         <property name="visible">True</property>
2376                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2377                         <property name="xalign">0</property>
2378                         <property name="xscale">0</property>
2379                         <child>
2380                           <placeholder/>
2381                         </child>
2382                       </widget>
2383                       <packing>
2384                         <property name="left_attach">1</property>
2385                         <property name="right_attach">2</property>
2386                       </packing>
2387                     </child>
2388                     <child>
2389                       <widget class="GtkRadioButton" id="radiobutton-sample-n-cases">
2390                         <property name="visible">True</property>
2391                         <property name="can_focus">True</property>
2392                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2393                         <property name="active">True</property>
2394                         <property name="draw_indicator">True</property>
2395                         <property name="group">radiobutton-sample-percent</property>
2396                       </widget>
2397                       <packing>
2398                         <property name="top_attach">1</property>
2399                         <property name="bottom_attach">2</property>
2400                         <property name="x_options"></property>
2401                       </packing>
2402                     </child>
2403                     <child>
2404                       <widget class="GtkRadioButton" id="radiobutton-sample-percent">
2405                         <property name="visible">True</property>
2406                         <property name="can_focus">True</property>
2407                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2408                         <property name="active">True</property>
2409                         <property name="draw_indicator">True</property>
2410                       </widget>
2411                       <packing>
2412                         <property name="x_options"></property>
2413                       </packing>
2414                     </child>
2415                   </widget>
2416                 </child>
2417               </widget>
2418             </child>
2419             <child>
2420               <widget class="GtkLabel" id="label32">
2421                 <property name="visible">True</property>
2422                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2423                 <property name="label" translatable="yes">Sample Size</property>
2424                 <property name="use_markup">True</property>
2425               </widget>
2426               <packing>
2427                 <property name="type">label_item</property>
2428               </packing>
2429             </child>
2430           </widget>
2431           <packing>
2432             <property name="padding">5</property>
2433           </packing>
2434         </child>
2435         <child>
2436           <widget class="PsppireHButtonBox" id="psppire-hbuttonbox5">
2437             <property name="visible">True</property>
2438             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2439             <property name="border_width">5</property>
2440             <property name="buttons">PSPPIRE_BUTTON_CONTINUE_MASK | PSPPIRE_BUTTON_CANCEL_MASK | PSPPIRE_BUTTON_HELP_MASK</property>
2441           </widget>
2442           <packing>
2443             <property name="expand">False</property>
2444             <property name="fill">False</property>
2445             <property name="pack_type">GTK_PACK_END</property>
2446             <property name="position">1</property>
2447           </packing>
2448         </child>
2449       </widget>
2450     </child>
2451   </widget>
2452   <widget class="PsppireDialog" id="find-dialog">
2453     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2454     <property name="title">Find Case</property>
2455     <property name="modal">True</property>
2456     <child internal-child="hbox">
2457       <widget class="GtkHBox" id="dialog-hbox14">
2458         <property name="visible">True</property>
2459         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2460         <property name="spacing">2</property>
2461         <child>
2462           <widget class="GtkHBox" id="hbox10">
2463             <property name="visible">True</property>
2464             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2465             <property name="border_width">5</property>
2466             <property name="spacing">5</property>
2467             <child>
2468               <widget class="GtkScrolledWindow" id="scrolledwindow13">
2469                 <property name="visible">True</property>
2470                 <property name="can_focus">True</property>
2471                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2472                 <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
2473                 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2474                 <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
2475                 <child>
2476                   <widget class="GtkTreeView" id="find-variable-treeview">
2477                     <property name="height_request">300</property>
2478                     <property name="visible">True</property>
2479                     <property name="can_focus">True</property>
2480                     <property name="headers_visible">False</property>
2481                     <property name="fixed_height_mode">True</property>
2482                   </widget>
2483                 </child>
2484               </widget>
2485             </child>
2486             <child>
2487               <widget class="GtkVBox" id="vbox27">
2488                 <property name="visible">True</property>
2489                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2490                 <child>
2491                   <widget class="PsppireSelector" id="find-selector">
2492                     <property name="visible">True</property>
2493                     <property name="can_focus">True</property>
2494                     <property name="receives_default">True</property>
2495                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2496                     <property name="border_width">5</property>
2497                   </widget>
2498                   <packing>
2499                     <property name="expand">False</property>
2500                     <property name="fill">False</property>
2501                   </packing>
2502                 </child>
2503                 <child>
2504                   <placeholder/>
2505                 </child>
2506               </widget>
2507               <packing>
2508                 <property name="expand">False</property>
2509                 <property name="fill">False</property>
2510                 <property name="position">1</property>
2511               </packing>
2512             </child>
2513             <child>
2514               <widget class="GtkVBox" id="vbox10">
2515                 <property name="visible">True</property>
2516                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2517                 <child>
2518                   <widget class="GtkVBox" id="vbox11">
2519                     <property name="visible">True</property>
2520                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2521                     <child>
2522                       <widget class="GtkLabel" id="label33">
2523                         <property name="visible">True</property>
2524                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2525                         <property name="xalign">0</property>
2526                         <property name="label" translatable="yes">Variable:</property>
2527                       </widget>
2528                       <packing>
2529                         <property name="expand">False</property>
2530                         <property name="fill">False</property>
2531                         <property name="padding">5</property>
2532                       </packing>
2533                     </child>
2534                     <child>
2535                       <widget class="GtkEntry" id="find-variable-entry">
2536                         <property name="visible">True</property>
2537                         <property name="can_focus">True</property>
2538                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2539                       </widget>
2540                       <packing>
2541                         <property name="expand">False</property>
2542                         <property name="fill">False</property>
2543                         <property name="position">1</property>
2544                       </packing>
2545                     </child>
2546                   </widget>
2547                 </child>
2548                 <child>
2549                   <widget class="GtkVBox" id="vbox15">
2550                     <property name="visible">True</property>
2551                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2552                     <child>
2553                       <widget class="GtkLabel" id="label34">
2554                         <property name="visible">True</property>
2555                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2556                         <property name="xalign">0</property>
2557                         <property name="label" translatable="yes">Value:</property>
2558                       </widget>
2559                       <packing>
2560                         <property name="expand">False</property>
2561                         <property name="fill">False</property>
2562                         <property name="padding">5</property>
2563                       </packing>
2564                     </child>
2565                     <child>
2566                       <widget class="GtkEntry" id="find-value-entry">
2567                         <property name="visible">True</property>
2568                         <property name="can_focus">True</property>
2569                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2570                       </widget>
2571                       <packing>
2572                         <property name="expand">False</property>
2573                         <property name="fill">False</property>
2574                         <property name="position">1</property>
2575                       </packing>
2576                     </child>
2577                     <child>
2578                       <widget class="GtkCheckButton" id="find-value-labels-checkbutton">
2579                         <property name="visible">True</property>
2580                         <property name="sensitive">False</property>
2581                         <property name="can_focus">True</property>
2582                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2583                         <property name="label" translatable="yes">Search value labels</property>
2584                         <property name="draw_indicator">True</property>
2585                       </widget>
2586                       <packing>
2587                         <property name="expand">False</property>
2588                         <property name="position">2</property>
2589                       </packing>
2590                     </child>
2591                   </widget>
2592                   <packing>
2593                     <property name="position">1</property>
2594                   </packing>
2595                 </child>
2596                 <child>
2597                   <widget class="GtkVButtonBox" id="bb1">
2598                     <property name="visible">True</property>
2599                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2600                     <child>
2601                       <widget class="GtkCheckButton" id="find-match-regexp-checkbutton">
2602                         <property name="sensitive">False</property>
2603                         <property name="visible">True</property>
2604                         <property name="can_focus">True</property>
2605                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2606                         <property name="label" translatable="yes">Regular expression Match</property>
2607                         <property name="draw_indicator">True</property>
2608                       </widget>
2609                     </child>
2610                     <child>
2611                       <widget class="GtkCheckButton" id="find-match-substring-checkbutton">
2612                         <property name="sensitive">False</property>
2613                         <property name="visible">True</property>
2614                         <property name="can_focus">True</property>
2615                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2616                         <property name="label" translatable="yes">Search substrings</property>
2617                         <property name="draw_indicator">True</property>
2618                       </widget>
2619                       <packing>
2620                         <property name="position">1</property>
2621                       </packing>
2622                     </child>
2623                     <child>
2624                       <widget class="GtkCheckButton" id="find-wrap">
2625                         <property name="visible">True</property>
2626                         <property name="can_focus">True</property>
2627                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2628                         <property name="label" translatable="yes">Wrap around</property>
2629                         <property name="draw_indicator">True</property>
2630                       </widget>
2631                       <packing>
2632                         <property name="position">2</property>
2633                       </packing>
2634                     </child>
2635                     <child>
2636                       <widget class="GtkCheckButton" id="find-backwards">
2637                         <property name="visible">True</property>
2638                         <property name="can_focus">True</property>
2639                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2640                         <property name="label" translatable="yes">Search backward</property>
2641                         <property name="draw_indicator">True</property>
2642                       </widget>
2643                       <packing>
2644                         <property name="position">3</property>
2645                       </packing>
2646                     </child>
2647                   </widget>
2648                   <packing>
2649                     <property name="position">2</property>
2650                   </packing>
2651                 </child>
2652               </widget>
2653               <packing>
2654                 <property name="expand">False</property>
2655                 <property name="position">3</property>
2656               </packing>
2657             </child>
2658           </widget>
2659         </child>
2660         <child>
2661           <widget class="PsppireVButtonBox" id="find-buttonbox">
2662             <property name="visible">True</property>
2663             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2664             <property name="border_width">5</property>
2665             <property name="buttons">PSPPIRE_BUTTON_CANCEL_MASK | PSPPIRE_BUTTON_HELP_MASK | PSPPIRE_BUTTON_RESET_MASK</property>
2666           </widget>
2667           <packing>
2668             <property name="expand">False</property>
2669             <property name="fill">False</property>
2670             <property name="pack_type">GTK_PACK_END</property>
2671             <property name="position">1</property>
2672           </packing>
2673         </child>
2674       </widget>
2675     </child>
2676   </widget>
2677 </glade-interface>