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

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