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="PsppireVButtonBox" id="psppire-vbuttonbox1">
 307             <property name="visible">True</property>
 308             <property name="can_focus">False</property>
 309             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 310             <property name="border_width">5</property>
 311             <property name="buttons">PSPPIRE_BUTTON_CONTINUE_MASK | PSPPIRE_BUTTON_CANCEL_MASK | PSPPIRE_BUTTON_HELP_MASK</property>
 312           </object>
 313           <packing>
 314             <property name="expand">False</property>
 315             <property name="fill">False</property>
 316             <property name="pack_type">end</property>
 317             <property name="position">1</property>
 318           </packing>
 319         </child>
 320       </object>
 321     </child>
 322   </object>
 323   <object class="PsppireDialog" id="compute-variable-dialog">
 324     <property name="can_focus">False</property>
 325     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 326     <property name="title" translatable="yes">Compute Variable</property>
 327     <property name="modal">True</property>
 328     <property name="help_page">COMPUTE</property>
 329     <child>
 330       <object class="GtkBox" id="dialog-hbox5">
 331         <property name="visible">True</property>
 332         <property name="can_focus">False</property>
 333         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 334         <property name="spacing">2</property>
 335         <child>
 336           <object class="GtkBox" id="hbox15">
 337             <property name="visible">True</property>
 338             <property name="can_focus">False</property>
 339             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 340             <child>
 341               <object class="GtkBox" id="vbox19">
 342                 <property name="visible">True</property>
 343                 <property name="can_focus">False</property>
 344                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 345                 <property name="margin_left">5</property>
 346                 <property name="margin_right">5</property>
 347                 <property name="margin_top">5</property>
 348                 <property name="margin_bottom">5</property>
 349                 <property name="hexpand">True</property>
 350                 <property name="orientation">vertical</property>
 351                 <property name="spacing">5</property>
 352                 <child>
 353                   <object class="GtkBox" id="vbox20">
 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                     <property name="orientation">vertical</property>
 358                     <child>
 359                       <object class="GtkLabel" id="label20">
 360                         <property name="visible">True</property>
 361                         <property name="can_focus">False</property>
 362                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 363                         <property name="xalign">0</property>
 364                         <property name="label" translatable="yes">Target _Variable:</property>
 365                         <property name="use_underline">True</property>
 366                         <property name="mnemonic_widget">compute-entry1</property>
 367                       </object>
 368                       <packing>
 369                         <property name="expand">False</property>
 370                         <property name="fill">False</property>
 371                         <property name="position">0</property>
 372                       </packing>
 373                     </child>
 374                     <child>
 375                       <object class="GtkEntry" id="compute-entry1">
 376                         <property name="visible">True</property>
 377                         <property name="can_focus">True</property>
 378                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 379                       </object>
 380                       <packing>
 381                         <property name="expand">False</property>
 382                         <property name="fill">False</property>
 383                         <property name="position">1</property>
 384                       </packing>
 385                     </child>
 386                   </object>
 387                   <packing>
 388                     <property name="expand">False</property>
 389                     <property name="fill">False</property>
 390                     <property name="position">0</property>
 391                   </packing>
 392                 </child>
 393                 <child>
 394                   <object class="GtkButton" id="compute-button1">
 395                     <property name="label" translatable="yes">_Type &amp; Label...</property>
 396                     <property name="visible">True</property>
 397                     <property name="can_focus">True</property>
 398                     <property name="receives_default">True</property>
 399                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 400                     <property name="use_underline">True</property>
 401                   </object>
 402                   <packing>
 403                     <property name="expand">False</property>
 404                     <property name="fill">False</property>
 405                     <property name="position">1</property>
 406                   </packing>
 407                 </child>
 408                 <child>
 409                   <object class="GtkScrolledWindow" id="scrolledwindow9">
 410                     <property name="visible">True</property>
 411                     <property name="can_focus">True</property>
 412                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 413                     <property name="shadow_type">in</property>
 414                     <child>
 415                       <object class="PsppireDictView" id="compute-treeview1">
 416                         <property name="visible">True</property>
 417                         <property name="can_focus">True</property>
 418                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 419                         <property name="border_width">0</property>
 420                         <property name="headers_visible">False</property>
 421                         <property name="selection_mode">single</property>
 422                         <child internal-child="selection">
 423                           <object class="GtkTreeSelection" id="psppire-dictview-selection"/>
 424                         </child>
 425                       </object>
 426                     </child>
 427                   </object>
 428                   <packing>
 429                     <property name="expand">True</property>
 430                     <property name="fill">True</property>
 431                     <property name="position">2</property>
 432                   </packing>
 433                 </child>
 434               </object>
 435               <packing>
 436                 <property name="expand">True</property>
 437                 <property name="fill">True</property>
 438                 <property name="position">0</property>
 439               </packing>
 440             </child>
 441             <child>
 442               <object class="GtkBox" id="vbox21">
 443                 <property name="visible">True</property>
 444                 <property name="can_focus">False</property>
 445                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 446                 <property name="orientation">vertical</property>
 447                 <child>
 448                   <object class="GtkLabel" id="label21">
 449                     <property name="visible">True</property>
 450                     <property name="can_focus">False</property>
 451                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 452                     <property name="label" translatable="yes">=</property>
 453                   </object>
 454                   <packing>
 455                     <property name="expand">False</property>
 456                     <property name="fill">False</property>
 457                     <property name="position">0</property>
 458                   </packing>
 459                 </child>
 460                 <child>
 461                   <object class="PsppireSelector" id="compute-selector1">
 462                     <property name="visible">True</property>
 463                     <property name="can_focus">True</property>
 464                     <property name="receives_default">True</property>
 465                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 466                     <property name="border_width">5</property>
 467                     <property name="source_widget">compute-treeview1</property>
 468                     <property name="dest_widget">compute-textview1</property>
 469                   </object>
 470                   <packing>
 471                     <property name="expand">False</property>
 472                     <property name="fill">False</property>
 473                     <property name="position">1</property>
 474                   </packing>
 475                 </child>
 476               </object>
 477               <packing>
 478                 <property name="expand">False</property>
 479                 <property name="fill">False</property>
 480                 <property name="position">1</property>
 481               </packing>
 482             </child>
 483           </object>
 484           <packing>
 485             <property name="expand">False</property>
 486             <property name="fill">True</property>
 487             <property name="position">0</property>
 488           </packing>
 489         </child>
 490         <child>
 491           <object class="GtkBox" id="vbox17">
 492             <property name="visible">True</property>
 493             <property name="can_focus">False</property>
 494             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 495             <property name="orientation">vertical</property>
 496             <property name="spacing">5</property>
 497             <child>
 498               <object class="GtkBox" id="vbox18">
 499                 <property name="visible">True</property>
 500                 <property name="can_focus">False</property>
 501                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 502                 <property name="orientation">vertical</property>
 503                 <child>
 504                   <object class="GtkLabel" id="label19">
 505                     <property name="visible">True</property>
 506                     <property name="can_focus">False</property>
 507                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 508                     <property name="xalign">0</property>
 509                     <property name="label" translatable="yes">_Numeric Expressions:</property>
 510                     <property name="use_underline">True</property>
 511                     <property name="mnemonic_widget">compute-textview1</property>
 512                   </object>
 513                   <packing>
 514                     <property name="expand">False</property>
 515                     <property name="fill">False</property>
 516                     <property name="position">0</property>
 517                   </packing>
 518                 </child>
 519                 <child>
 520                   <object class="GtkScrolledWindow" id="scrolledwindow8">
 521                     <property name="visible">True</property>
 522                     <property name="can_focus">True</property>
 523                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 524                     <property name="shadow_type">in</property>
 525                     <child>
 526                       <object class="GtkTextView" id="compute-textview1">
 527                         <property name="visible">True</property>
 528                         <property name="can_focus">True</property>
 529                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 530                       </object>
 531                     </child>
 532                   </object>
 533                   <packing>
 534                     <property name="expand">True</property>
 535                     <property name="fill">True</property>
 536                     <property name="position">1</property>
 537                   </packing>
 538                 </child>
 539               </object>
 540               <packing>
 541                 <property name="expand">True</property>
 542                 <property name="fill">True</property>
 543                 <property name="position">0</property>
 544               </packing>
 545             </child>
 546             <child>
 547               <object class="GtkBox" id="hbox16">
 548                 <property name="visible">True</property>
 549                 <property name="can_focus">False</property>
 550                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 551                 <property name="spacing">5</property>
 552                 <child>
 553                   <object class="PsppireKeypad" id="psppire-keypad1">
 554                     <property name="visible">True</property>
 555                     <property name="can_focus">True</property>
 556                     <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>
 557                   </object>
 558                   <packing>
 559                     <property name="expand">True</property>
 560                     <property name="fill">True</property>
 561                     <property name="position">0</property>
 562                   </packing>
 563                 </child>
 564                 <child>
 565                   <object class="GtkBox" id="vbox22">
 566                     <property name="visible">True</property>
 567                     <property name="can_focus">False</property>
 568                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 569                     <property name="orientation">vertical</property>
 570                     <child>
 571                       <object class="GtkBox" id="hbox17">
 572                         <property name="visible">True</property>
 573                         <property name="can_focus">False</property>
 574                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 575                         <child>
 576                           <object class="GtkLabel" id="label22">
 577                             <property name="visible">True</property>
 578                             <property name="can_focus">False</property>
 579                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 580                             <property name="xalign">0</property>
 581                             <property name="label" translatable="yes">_Functions:</property>
 582                             <property name="use_underline">True</property>
 583                             <property name="mnemonic_widget">compute-treeview2</property>
 584                           </object>
 585                           <packing>
 586                             <property name="expand">True</property>
 587                             <property name="fill">True</property>
 588                             <property name="position">0</property>
 589                           </packing>
 590                         </child>
 591                         <child>
 592                           <object class="PsppireSelector" id="compute-selector2">
 593                             <property name="visible">True</property>
 594                             <property name="can_focus">True</property>
 595                             <property name="receives_default">True</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="border_width">5</property>
 598                             <property name="orientation">source below destination</property>
 599                             <property name="source_widget">compute-treeview2</property>
 600                             <property name="dest_widget">compute-textview1</property>
 601                           </object>
 602                           <packing>
 603                             <property name="expand">True</property>
 604                             <property name="fill">False</property>
 605                             <property name="position">1</property>
 606                           </packing>
 607                         </child>
 608                       </object>
 609                       <packing>
 610                         <property name="expand">False</property>
 611                         <property name="fill">False</property>
 612                         <property name="position">0</property>
 613                       </packing>
 614                     </child>
 615                     <child>
 616                       <object class="GtkScrolledWindow" id="scrolledwindow10">
 617                         <property name="visible">True</property>
 618                         <property name="can_focus">True</property>
 619                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 620                         <property name="hscrollbar_policy">never</property>
 621                         <property name="shadow_type">in</property>
 622                         <child>
 623                           <object class="GtkTreeView" id="compute-treeview2">
 624                             <property name="visible">True</property>
 625                             <property name="can_focus">True</property>
 626                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 627                             <property name="headers_visible">False</property>
 628                             <child internal-child="selection">
 629                               <object class="GtkTreeSelection" id="treeview-selection1"/>
 630                             </child>
 631                           </object>
 632                         </child>
 633                       </object>
 634                       <packing>
 635                         <property name="expand">True</property>
 636                         <property name="fill">True</property>
 637                         <property name="position">1</property>
 638                       </packing>
 639                     </child>
 640                   </object>
 641                   <packing>
 642                     <property name="expand">True</property>
 643                     <property name="fill">True</property>
 644                     <property name="position">1</property>
 645                   </packing>
 646                 </child>
 647               </object>
 648               <packing>
 649                 <property name="expand">True</property>
 650                 <property name="fill">True</property>
 651                 <property name="position">1</property>
 652               </packing>
 653             </child>
 654             <child>
 655               <object class="GtkBox" id="hbox18">
 656                 <property name="visible">True</property>
 657                 <property name="can_focus">False</property>
 658                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 659                 <child>
 660                   <object class="GtkButton" id="button4">
 661                     <property name="label" translatable="yes">_If...</property>
 662                     <property name="sensitive">False</property>
 663                     <property name="can_focus">True</property>
 664                     <property name="receives_default">True</property>
 665                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 666                     <property name="use_underline">True</property>
 667                   </object>
 668                   <packing>
 669                     <property name="expand">False</property>
 670                     <property name="fill">False</property>
 671                     <property name="position">0</property>
 672                   </packing>
 673                 </child>
 674                 <child>
 675                   <object class="GtkLabel" id="label23">
 676                     <property name="visible">True</property>
 677                     <property name="can_focus">False</property>
 678                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 679                   </object>
 680                   <packing>
 681                     <property name="expand">True</property>
 682                     <property name="fill">True</property>
 683                     <property name="position">1</property>
 684                   </packing>
 685                 </child>
 686               </object>
 687               <packing>
 688                 <property name="expand">False</property>
 689                 <property name="fill">False</property>
 690                 <property name="position">2</property>
 691               </packing>
 692             </child>
 693             <child>
 694               <object class="PsppireHButtonBox" id="psppire-hbuttonbox1">
 695                 <property name="visible">True</property>
 696                 <property name="can_focus">False</property>
 697                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 698                 <property name="border_width">5</property>
 699                 <property name="layout_style">spread</property>
 700               </object>
 701               <packing>
 702                 <property name="expand">False</property>
 703                 <property name="fill">False</property>
 704                 <property name="pack_type">end</property>
 705                 <property name="position">3</property>
 706               </packing>
 707             </child>
 708           </object>
 709           <packing>
 710             <property name="expand">True</property>
 711             <property name="fill">True</property>
 712             <property name="padding">5</property>
 713             <property name="position">1</property>
 714           </packing>
 715         </child>
 716       </object>
 717     </child>
 718   </object>
 719 </interface>