pintos-os.org Git - pspp/blob - src/ui/gui/psppire.glade

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