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

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