src/ui/gui/psppire.ui

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