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