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

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <!-- Generated with glade 3.22.1 -->
   3 <!-- PSPP - a program for statistical analysis. -->
   4 <!-- Copyright (C) 2017 Free Software Foundation, Inc. -->
   5 <!-- This program is free software: you can redistribute it and/or modify -->
   6 <!-- it under the terms of the GNU General Public License as published by -->
   7 <!-- the Free Software Foundation, either version 3 of the License, or -->
   8 <!-- (at your option) any later version. -->
   9 <!-- This program is distributed in the hope that it will be useful, -->
  10 <!-- but WITHOUT ANY WARRANTY; without even the implied warranty of -->
  11 <!-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the -->
  12 <!-- GNU General Public License for more details. -->
  13 <!-- You should have received a copy of the GNU General Public License -->
  14 <!-- along with this program.  If not, see <http://www.gnu.org/licenses/>. -->
  15 <interface>
  16   <requires lib="gtk+" version="3.22"/>
  17   <requires lib="psppire" version="2054.17080"/>
  18   <object class="GtkAdjustment" id="adjustment1">
  19     <property name="lower">1</property>
  20     <property name="upper">255</property>
  21     <property name="value">8</property>
  22     <property name="step_increment">1</property>
  23     <property name="page_increment">8</property>
  24   </object>
  25   <object class="PsppireDialog" id="type-and-label-dialog">
  26     <property name="can_focus">False</property>
  27     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  28     <property name="title" translatable="yes">Compute Variable: Type and Label</property>
  29     <property name="modal">True</property>
  30     <child>
  31       <placeholder/>
  32     </child>
  33     <child>
  34       <object class="GtkBox" id="dialog-hbox9">
  35         <property name="visible">True</property>
  36         <property name="can_focus">False</property>
  37         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  38         <property name="spacing">2</property>
  39         <child>
  40           <object class="GtkBox" id="vbox10">
  41             <property name="visible">True</property>
  42             <property name="can_focus">False</property>
  43             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  44             <property name="orientation">vertical</property>
  45             <child>
  46               <object class="GtkFrame" id="Label">
  47                 <property name="visible">True</property>
  48                 <property name="can_focus">False</property>
  49                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  50                 <property name="border_width">5</property>
  51                 <property name="label_xalign">0</property>
  52                 <child>
  53                   <object class="GtkGrid" id="table4">
  54                     <property name="visible">True</property>
  55                     <property name="can_focus">False</property>
  56                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  57                     <property name="margin_start">12</property>
  58                     <property name="border_width">5</property>
  59                     <property name="column_spacing">3</property>
  60                     <child>
  61                       <object class="GtkLabel" id="label27">
  62                         <property name="visible">True</property>
  63                         <property name="can_focus">False</property>
  64                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  65                         <property name="halign">start</property>
  66                         <property name="vexpand">True</property>
  67                         <property name="label" translatable="yes">Use _expression as label</property>
  68                         <property name="use_underline">True</property>
  69                         <property name="mnemonic_widget">radio-button-expression-label</property>
  70                       </object>
  71                       <packing>
  72                         <property name="left_attach">1</property>
  73                         <property name="top_attach">1</property>
  74                       </packing>
  75                     </child>
  76                     <child>
  77                       <object class="GtkBox" id="hbox10">
  78                         <property name="visible">True</property>
  79                         <property name="can_focus">False</property>
  80                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  81                         <property name="hexpand">True</property>
  82                         <property name="vexpand">True</property>
  83                         <property name="spacing">5</property>
  84                         <child>
  85                           <object class="GtkLabel" id="label24">
  86                             <property name="visible">True</property>
  87                             <property name="can_focus">False</property>
  88                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  89                             <property name="vexpand">True</property>
  90                             <property name="label" translatable="yes">_Label:</property>
  91                             <property name="use_underline">True</property>
  92                             <property name="mnemonic_widget">radio-button-user-label</property>
  93                           </object>
  94                           <packing>
  95                             <property name="expand">False</property>
  96                             <property name="fill">True</property>
  97                             <property name="position">0</property>
  98                           </packing>
  99                         </child>
 100                         <child>
 101                           <object class="GtkEntry" id="type-and-label-label-entry">
 102                             <property name="visible">True</property>
 103                             <property name="can_focus">True</property>
 104                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 105                           </object>
 106                           <packing>
 107                             <property name="expand">True</property>
 108                             <property name="fill">True</property>
 109                             <property name="pack_type">end</property>
 110                             <property name="position">1</property>
 111                           </packing>
 112                         </child>
 113                       </object>
 114                       <packing>
 115                         <property name="left_attach">1</property>
 116                         <property name="top_attach">0</property>
 117                       </packing>
 118                     </child>
 119                     <child>
 120                       <object class="GtkRadioButton" id="radio-button-expression-label">
 121                         <property name="visible">True</property>
 122                         <property name="can_focus">True</property>
 123                         <property name="receives_default">False</property>
 124                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 125                         <property name="halign">start</property>
 126                         <property name="active">True</property>
 127                         <property name="draw_indicator">True</property>
 128                         <property name="group">radio-button-user-label</property>
 129                       </object>
 130                       <packing>
 131                         <property name="left_attach">0</property>
 132                         <property name="top_attach">1</property>
 133                       </packing>
 134                     </child>
 135                     <child>
 136                       <object class="GtkRadioButton" id="radio-button-user-label">
 137                         <property name="visible">True</property>
 138                         <property name="can_focus">True</property>
 139                         <property name="receives_default">False</property>
 140                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 141                         <property name="halign">start</property>
 142                         <property name="active">True</property>
 143                         <property name="draw_indicator">True</property>
 144                       </object>
 145                       <packing>
 146                         <property name="left_attach">0</property>
 147                         <property name="top_attach">0</property>
 148                       </packing>
 149                     </child>
 150                   </object>
 151                 </child>
 152                 <child type="label">
 153                   <object class="GtkLabel" id="label28">
 154                     <property name="visible">True</property>
 155                     <property name="can_focus">False</property>
 156                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 157                     <property name="label" translatable="yes">Label</property>
 158                     <property name="use_markup">True</property>
 159                   </object>
 160                 </child>
 161               </object>
 162               <packing>
 163                 <property name="expand">True</property>
 164                 <property name="fill">True</property>
 165                 <property name="position">0</property>
 166               </packing>
 167             </child>
 168             <child>
 169               <object class="GtkFrame" id="frame7">
 170                 <property name="visible">True</property>
 171                 <property name="can_focus">False</property>
 172                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 173                 <property name="border_width">5</property>
 174                 <property name="label_xalign">0</property>
 175                 <child>
 176                   <object class="GtkGrid" id="table5">
 177                     <property name="visible">True</property>
 178                     <property name="can_focus">False</property>
 179                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 180                     <property name="margin_start">12</property>
 181                     <property name="border_width">5</property>
 182                     <property name="column_spacing">3</property>
 183                     <child>
 184                       <object class="GtkBox" id="hbox20">
 185                         <property name="visible">True</property>
 186                         <property name="can_focus">False</property>
 187                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 188                         <property name="vexpand">True</property>
 189                         <child>
 190                           <object class="GtkLabel" id="label29">
 191                             <property name="visible">True</property>
 192                             <property name="can_focus">False</property>
 193                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 194                             <property name="halign">start</property>
 195                             <property name="label" translatable="yes">_String</property>
 196                             <property name="use_underline">True</property>
 197                             <property name="mnemonic_widget">radio-button-string</property>
 198                           </object>
 199                           <packing>
 200                             <property name="expand">True</property>
 201                             <property name="fill">True</property>
 202                             <property name="position">0</property>
 203                           </packing>
 204                         </child>
 205                         <child>
 206                           <object class="GtkBox" id="hbox21">
 207                             <property name="visible">True</property>
 208                             <property name="can_focus">False</property>
 209                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 210                             <property name="spacing">5</property>
 211                             <child>
 212                               <object class="GtkLabel" id="label30">
 213                                 <property name="visible">True</property>
 214                                 <property name="can_focus">False</property>
 215                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 216                                 <property name="label" translatable="yes">Width</property>
 217                               </object>
 218                               <packing>
 219                                 <property name="expand">False</property>
 220                                 <property name="fill">False</property>
 221                                 <property name="position">0</property>
 222                               </packing>
 223                             </child>
 224                             <child>
 225                               <object class="GtkSpinButton" id="type-and-label-width">
 226                                 <property name="visible">True</property>
 227                                 <property name="can_focus">True</property>
 228                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 229                                 <property name="adjustment">adjustment1</property>
 230                               </object>
 231                               <packing>
 232                                 <property name="expand">True</property>
 233                                 <property name="fill">True</property>
 234                                 <property name="position">1</property>
 235                               </packing>
 236                             </child>
 237                           </object>
 238                           <packing>
 239                             <property name="expand">True</property>
 240                             <property name="fill">True</property>
 241                             <property name="position">1</property>
 242                           </packing>
 243                         </child>
 244                       </object>
 245                       <packing>
 246                         <property name="left_attach">1</property>
 247                         <property name="top_attach">1</property>
 248                       </packing>
 249                     </child>
 250                     <child>
 251                       <object class="GtkRadioButton" id="radio-button-string">
 252                         <property name="visible">True</property>
 253                         <property name="can_focus">True</property>
 254                         <property name="receives_default">False</property>
 255                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 256                         <property name="halign">start</property>
 257                         <property name="active">True</property>
 258                         <property name="draw_indicator">True</property>
 259                       </object>
 260                       <packing>
 261                         <property name="left_attach">0</property>
 262                         <property name="top_attach">1</property>
 263                       </packing>
 264                     </child>
 265                     <child>
 266                       <object class="GtkRadioButton" id="radio-button-numeric">
 267                         <property name="visible">True</property>
 268                         <property name="can_focus">True</property>
 269                         <property name="receives_default">False</property>
 270                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 271                         <property name="halign">start</property>
 272                         <property name="active">True</property>
 273                         <property name="draw_indicator">True</property>
 274                         <property name="group">radio-button-string</property>
 275                       </object>
 276                       <packing>
 277                         <property name="left_attach">0</property>
 278                         <property name="top_attach">0</property>
 279                       </packing>
 280                     </child>
 281                     <child>
 282                       <object class="GtkLabel" id="label31">
 283                         <property name="visible">True</property>
 284                         <property name="can_focus">False</property>
 285                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 286                         <property name="halign">start</property>
 287                         <property name="vexpand">True</property>
 288                         <property name="label" translatable="yes">_Numeric</property>
 289                         <property name="use_underline">True</property>
 290                         <property name="mnemonic_widget">radio-button-numeric</property>
 291                       </object>
 292                       <packing>
 293                         <property name="left_attach">1</property>
 294                         <property name="top_attach">0</property>
 295                       </packing>
 296                     </child>
 297                   </object>
 298                 </child>
 299                 <child type="label">
 300                   <object class="GtkLabel" id="label32">
 301                     <property name="visible">True</property>
 302                     <property name="can_focus">False</property>
 303                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 304                     <property name="label" translatable="yes">Type</property>
 305                     <property name="use_markup">True</property>
 306                   </object>
 307                 </child>
 308               </object>
 309               <packing>
 310                 <property name="expand">True</property>
 311                 <property name="fill">True</property>
 312                 <property name="position">1</property>
 313               </packing>
 314             </child>
 315           </object>
 316           <packing>
 317             <property name="expand">True</property>
 318             <property name="fill">True</property>
 319             <property name="position">0</property>
 320           </packing>
 321         </child>
 322         <child>
 323           <object class="PsppireButtonBox" id="psppire-vbuttonbox1">
 324             <property name="visible">True</property>
 325             <property name="can_focus">False</property>
 326             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 327             <property name="border_width">5</property>
 328             <property name="orientation">vertical</property>
 329             <property name="buttons">PSPPIRE_BUTTON_CONTINUE_MASK | PSPPIRE_BUTTON_CANCEL_MASK | PSPPIRE_BUTTON_HELP_MASK</property>
 330           </object>
 331           <packing>
 332             <property name="expand">False</property>
 333             <property name="fill">False</property>
 334             <property name="pack_type">end</property>
 335             <property name="position">1</property>
 336           </packing>
 337         </child>
 338       </object>
 339     </child>
 340   </object>
 341   <object class="PsppireDialog" id="compute-variable-dialog">
 342     <property name="can_focus">False</property>
 343     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 344     <property name="title" translatable="yes">Compute Variable</property>
 345     <property name="modal">True</property>
 346     <property name="help_page">COMPUTE</property>
 347     <child>
 348       <placeholder/>
 349     </child>
 350     <child>
 351       <object class="GtkBox" id="dialog-hbox5">
 352         <property name="visible">True</property>
 353         <property name="can_focus">False</property>
 354         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 355         <property name="spacing">2</property>
 356         <child>
 357           <object class="GtkBox" id="hbox15">
 358             <property name="visible">True</property>
 359             <property name="can_focus">False</property>
 360             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 361             <child>
 362               <object class="GtkBox" id="vbox19">
 363                 <property name="visible">True</property>
 364                 <property name="can_focus">False</property>
 365                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 366                 <property name="margin_left">5</property>
 367                 <property name="margin_right">5</property>
 368                 <property name="margin_top">5</property>
 369                 <property name="margin_bottom">5</property>
 370                 <property name="hexpand">True</property>
 371                 <property name="orientation">vertical</property>
 372                 <property name="spacing">5</property>
 373                 <child>
 374                   <object class="GtkBox" id="vbox20">
 375                     <property name="visible">True</property>
 376                     <property name="can_focus">False</property>
 377                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 378                     <property name="orientation">vertical</property>
 379                     <child>
 380                       <object class="GtkLabel" id="label20">
 381                         <property name="visible">True</property>
 382                         <property name="can_focus">False</property>
 383                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 384                         <property name="halign">start</property>
 385                         <property name="label" translatable="yes">Target _Variable:</property>
 386                         <property name="use_underline">True</property>
 387                         <property name="mnemonic_widget">compute-entry1</property>
 388                       </object>
 389                       <packing>
 390                         <property name="expand">False</property>
 391                         <property name="fill">False</property>
 392                         <property name="position">0</property>
 393                       </packing>
 394                     </child>
 395                     <child>
 396                       <object class="GtkEntry" id="compute-entry1">
 397                         <property name="visible">True</property>
 398                         <property name="can_focus">True</property>
 399                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 400                       </object>
 401                       <packing>
 402                         <property name="expand">False</property>
 403                         <property name="fill">False</property>
 404                         <property name="position">1</property>
 405                       </packing>
 406                     </child>
 407                   </object>
 408                   <packing>
 409                     <property name="expand">False</property>
 410                     <property name="fill">False</property>
 411                     <property name="position">0</property>
 412                   </packing>
 413                 </child>
 414                 <child>
 415                   <object class="GtkButton" id="compute-button1">
 416                     <property name="label" translatable="yes">_Type &amp; Label...</property>
 417                     <property name="visible">True</property>
 418                     <property name="can_focus">True</property>
 419                     <property name="receives_default">True</property>
 420                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 421                     <property name="use_underline">True</property>
 422                   </object>
 423                   <packing>
 424                     <property name="expand">False</property>
 425                     <property name="fill">False</property>
 426                     <property name="position">1</property>
 427                   </packing>
 428                 </child>
 429                 <child>
 430                   <object class="GtkScrolledWindow" id="scrolledwindow9">
 431                     <property name="visible">True</property>
 432                     <property name="can_focus">True</property>
 433                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 434                     <property name="shadow_type">in</property>
 435                     <child>
 436                       <object class="PsppireDictView" id="compute-treeview1">
 437                         <property name="visible">True</property>
 438                         <property name="can_focus">True</property>
 439                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 440                         <property name="border_width">0</property>
 441                         <property name="headers_visible">False</property>
 442                         <property name="selection_mode">single</property>
 443                         <child internal-child="selection">
 444                           <object class="GtkTreeSelection" id="psppire-dictview-selection"/>
 445                         </child>
 446                       </object>
 447                     </child>
 448                   </object>
 449                   <packing>
 450                     <property name="expand">True</property>
 451                     <property name="fill">True</property>
 452                     <property name="position">2</property>
 453                   </packing>
 454                 </child>
 455               </object>
 456               <packing>
 457                 <property name="expand">True</property>
 458                 <property name="fill">True</property>
 459                 <property name="position">0</property>
 460               </packing>
 461             </child>
 462             <child>
 463               <object class="GtkBox" id="vbox21">
 464                 <property name="visible">True</property>
 465                 <property name="can_focus">False</property>
 466                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 467                 <property name="orientation">vertical</property>
 468                 <child>
 469                   <object class="GtkLabel" id="label21">
 470                     <property name="visible">True</property>
 471                     <property name="can_focus">False</property>
 472                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 473                     <property name="label" translatable="yes">=</property>
 474                   </object>
 475                   <packing>
 476                     <property name="expand">False</property>
 477                     <property name="fill">False</property>
 478                     <property name="position">0</property>
 479                   </packing>
 480                 </child>
 481                 <child>
 482                   <object class="PsppireSelector" id="compute-selector1">
 483                     <property name="visible">True</property>
 484                     <property name="can_focus">True</property>
 485                     <property name="receives_default">True</property>
 486                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 487                     <property name="border_width">5</property>
 488                     <property name="source_widget">compute-treeview1</property>
 489                     <property name="dest_widget">compute-textview1</property>
 490                   </object>
 491                   <packing>
 492                     <property name="expand">False</property>
 493                     <property name="fill">False</property>
 494                     <property name="position">1</property>
 495                   </packing>
 496                 </child>
 497               </object>
 498               <packing>
 499                 <property name="expand">False</property>
 500                 <property name="fill">False</property>
 501                 <property name="position">1</property>
 502               </packing>
 503             </child>
 504           </object>
 505           <packing>
 506             <property name="expand">False</property>
 507             <property name="fill">True</property>
 508             <property name="position">0</property>
 509           </packing>
 510         </child>
 511         <child>
 512           <object class="GtkBox" id="vbox17">
 513             <property name="visible">True</property>
 514             <property name="can_focus">False</property>
 515             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 516             <property name="orientation">vertical</property>
 517             <property name="spacing">5</property>
 518             <child>
 519               <object class="GtkBox" id="vbox18">
 520                 <property name="visible">True</property>
 521                 <property name="can_focus">False</property>
 522                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 523                 <property name="orientation">vertical</property>
 524                 <child>
 525                   <object class="GtkLabel" id="label19">
 526                     <property name="visible">True</property>
 527                     <property name="can_focus">False</property>
 528                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 529                     <property name="halign">start</property>
 530                     <property name="label" translatable="yes">_Numeric Expressions:</property>
 531                     <property name="use_underline">True</property>
 532                     <property name="mnemonic_widget">compute-textview1</property>
 533                   </object>
 534                   <packing>
 535                     <property name="expand">False</property>
 536                     <property name="fill">False</property>
 537                     <property name="position">0</property>
 538                   </packing>
 539                 </child>
 540                 <child>
 541                   <object class="GtkScrolledWindow" id="scrolledwindow8">
 542                     <property name="visible">True</property>
 543                     <property name="can_focus">True</property>
 544                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 545                     <property name="shadow_type">in</property>
 546                     <child>
 547                       <object class="GtkTextView" id="compute-textview1">
 548                         <property name="visible">True</property>
 549                         <property name="can_focus">True</property>
 550                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 551                       </object>
 552                     </child>
 553                   </object>
 554                   <packing>
 555                     <property name="expand">True</property>
 556                     <property name="fill">True</property>
 557                     <property name="position">1</property>
 558                   </packing>
 559                 </child>
 560               </object>
 561               <packing>
 562                 <property name="expand">True</property>
 563                 <property name="fill">True</property>
 564                 <property name="position">0</property>
 565               </packing>
 566             </child>
 567             <child>
 568               <object class="GtkBox" id="hbox16">
 569                 <property name="visible">True</property>
 570                 <property name="can_focus">False</property>
 571                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 572                 <property name="spacing">5</property>
 573                 <child>
 574                   <object class="PsppireKeypad" id="psppire-keypad1">
 575                     <property name="visible">True</property>
 576                     <property name="can_focus">True</property>
 577                     <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>
 578                   </object>
 579                   <packing>
 580                     <property name="expand">False</property>
 581                     <property name="fill">True</property>
 582                     <property name="position">0</property>
 583                   </packing>
 584                 </child>
 585                 <child>
 586                   <object class="GtkBox" id="vbox22">
 587                     <property name="visible">True</property>
 588                     <property name="can_focus">False</property>
 589                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 590                     <property name="orientation">vertical</property>
 591                     <child>
 592                       <object class="GtkBox" id="hbox17">
 593                         <property name="visible">True</property>
 594                         <property name="can_focus">False</property>
 595                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 596                         <child>
 597                           <object class="GtkLabel" id="label22">
 598                             <property name="visible">True</property>
 599                             <property name="can_focus">False</property>
 600                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 601                             <property name="halign">start</property>
 602                             <property name="label" translatable="yes">_Functions:</property>
 603                             <property name="use_underline">True</property>
 604                             <property name="mnemonic_widget">compute-treeview2</property>
 605                           </object>
 606                           <packing>
 607                             <property name="expand">True</property>
 608                             <property name="fill">True</property>
 609                             <property name="position">0</property>
 610                           </packing>
 611                         </child>
 612                         <child>
 613                           <object class="PsppireSelector" id="compute-selector2">
 614                             <property name="visible">True</property>
 615                             <property name="can_focus">True</property>
 616                             <property name="receives_default">True</property>
 617                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 618                             <property name="border_width">5</property>
 619                             <property name="orientation">source below destination</property>
 620                             <property name="source_widget">compute-treeview2</property>
 621                             <property name="dest_widget">compute-textview1</property>
 622                           </object>
 623                           <packing>
 624                             <property name="expand">True</property>
 625                             <property name="fill">False</property>
 626                             <property name="position">1</property>
 627                           </packing>
 628                         </child>
 629                       </object>
 630                       <packing>
 631                         <property name="expand">False</property>
 632                         <property name="fill">False</property>
 633                         <property name="position">0</property>
 634                       </packing>
 635                     </child>
 636                     <child>
 637                       <object class="GtkScrolledWindow" id="scrolledwindow10">
 638                         <property name="visible">True</property>
 639                         <property name="can_focus">True</property>
 640                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 641                         <property name="hscrollbar_policy">never</property>
 642                         <property name="shadow_type">in</property>
 643                         <child>
 644                           <object class="GtkTreeView" id="compute-treeview2">
 645                             <property name="visible">True</property>
 646                             <property name="can_focus">True</property>
 647                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 648                             <property name="headers_visible">False</property>
 649                             <child internal-child="selection">
 650                               <object class="GtkTreeSelection" id="treeview-selection1"/>
 651                             </child>
 652                           </object>
 653                         </child>
 654                       </object>
 655                       <packing>
 656                         <property name="expand">True</property>
 657                         <property name="fill">True</property>
 658                         <property name="position">1</property>
 659                       </packing>
 660                     </child>
 661                   </object>
 662                   <packing>
 663                     <property name="expand">True</property>
 664                     <property name="fill">True</property>
 665                     <property name="position">1</property>
 666                   </packing>
 667                 </child>
 668               </object>
 669               <packing>
 670                 <property name="expand">True</property>
 671                 <property name="fill">True</property>
 672                 <property name="position">1</property>
 673               </packing>
 674             </child>
 675             <child>
 676               <object class="GtkBox" id="hbox18">
 677                 <property name="visible">True</property>
 678                 <property name="can_focus">False</property>
 679                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 680                 <child>
 681                   <object class="GtkButton" id="button4">
 682                     <property name="label" translatable="yes">_If...</property>
 683                     <property name="sensitive">False</property>
 684                     <property name="can_focus">True</property>
 685                     <property name="receives_default">True</property>
 686                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 687                     <property name="use_underline">True</property>
 688                   </object>
 689                   <packing>
 690                     <property name="expand">False</property>
 691                     <property name="fill">False</property>
 692                     <property name="position">0</property>
 693                   </packing>
 694                 </child>
 695                 <child>
 696                   <object class="GtkLabel" id="label23">
 697                     <property name="visible">True</property>
 698                     <property name="can_focus">False</property>
 699                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 700                   </object>
 701                   <packing>
 702                     <property name="expand">True</property>
 703                     <property name="fill">True</property>
 704                     <property name="position">1</property>
 705                   </packing>
 706                 </child>
 707               </object>
 708               <packing>
 709                 <property name="expand">False</property>
 710                 <property name="fill">False</property>
 711                 <property name="position">2</property>
 712               </packing>
 713             </child>
 714             <child>
 715               <object class="PsppireButtonBox" id="psppire-hbuttonbox1">
 716                 <property name="visible">True</property>
 717                 <property name="can_focus">False</property>
 718                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 719                 <property name="border_width">5</property>
 720                 <property name="layout_style">spread</property>
 721               </object>
 722               <packing>
 723                 <property name="expand">False</property>
 724                 <property name="fill">False</property>
 725                 <property name="pack_type">end</property>
 726                 <property name="position">3</property>
 727               </packing>
 728             </child>
 729           </object>
 730           <packing>
 731             <property name="expand">True</property>
 732             <property name="fill">True</property>
 733             <property name="padding">5</property>
 734             <property name="position">1</property>
 735           </packing>
 736         </child>
 737       </object>
 738     </child>
 739   </object>
 740 </interface>