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