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

   1 <?xml version="1.0"?>
   2 <interface>
   3   <!-- interface-requires gtk+ 2.12 -->
   4   <requires lib="psppire" version="2054.17080"/>
   5   <!-- interface-naming-policy toplevel-contextual -->
   6   <object class="PsppireDialog" id="old-new-values-dialog">
   7     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   8     <property name="modal">True</property>
   9     <child>
  10       <object class="GtkHBox" id="dialog-hbox1">
  11         <property name="visible">True</property>
  12         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  13         <property name="spacing">5</property>
  14         <child>
  15           <object class="PsppireValChooser" id="val-chooser">
  16            <property name="label" translatable="yes">Old Value</property>
  17             <property name="visible">True</property>
  18           </object>
  19           <packing>
  20             <property name="position">0</property>
  21           </packing>
  22         </child>
  23         <child>
  24           <object class="GtkVBox" id="vbox1">
  25             <property name="visible">True</property>
  26             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  27             <property name="orientation">vertical</property>
  28             <child>
  29               <object class="GtkFrame" id="frame1">
  30                 <property name="visible">True</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="label_xalign">0</property>
  33                 <child>
  34                   <object class="GtkAlignment" id="alignment1">
  35                     <property name="visible">True</property>
  36                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  37                     <property name="left_padding">12</property>
  38                     <child>
  39                       <object class="GtkTable" id="table1">
  40                         <property name="visible">True</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="n_rows">3</property>
  43                         <property name="n_columns">2</property>
  44                         <child>
  45                           <object class="GtkRadioButton" id="radiobutton1">
  46                             <property name="visible">True</property>
  47                             <property name="can_focus">True</property>
  48                             <property name="receives_default">False</property>
  49                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  50                             <property name="active">True</property>
  51                             <property name="draw_indicator">True</property>
  52                           </object>
  53                           <packing>
  54                             <property name="x_options"></property>
  55                           </packing>
  56                         </child>
  57                         <child>
  58                           <object class="GtkRadioButton" id="radiobutton2">
  59                             <property name="visible">True</property>
  60                             <property name="can_focus">True</property>
  61                             <property name="receives_default">False</property>
  62                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  63                             <property name="active">True</property>
  64                             <property name="draw_indicator">True</property>
  65                             <property name="group">radiobutton1</property>
  66                           </object>
  67                           <packing>
  68                             <property name="top_attach">1</property>
  69                             <property name="bottom_attach">2</property>
  70                             <property name="x_options"></property>
  71                           </packing>
  72                         </child>
  73                         <child>
  74                           <object class="GtkRadioButton" id="radiobutton3">
  75                             <property name="visible">True</property>
  76                             <property name="can_focus">True</property>
  77                             <property name="receives_default">False</property>
  78                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  79                             <property name="active">True</property>
  80                             <property name="draw_indicator">True</property>
  81                             <property name="group">radiobutton1</property>
  82                             <child>
  83                               <placeholder/>
  84                             </child>
  85                           </object>
  86                           <packing>
  87                             <property name="top_attach">2</property>
  88                             <property name="bottom_attach">3</property>
  89                             <property name="x_options"></property>
  90                           </packing>
  91                         </child>
  92                         <child>
  93                           <object class="GtkLabel" id="label2">
  94                             <property name="visible">True</property>
  95                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  96                             <property name="xalign">0</property>
  97                             <property name="label" translatable="yes">System _Missing</property>
  98                             <property name="use_underline">True</property>
  99                             <property name="mnemonic_widget">radiobutton2</property>
 100                           </object>
 101                           <packing>
 102                             <property name="left_attach">1</property>
 103                             <property name="right_attach">2</property>
 104                             <property name="top_attach">1</property>
 105                             <property name="bottom_attach">2</property>
 106                           </packing>
 107                         </child>
 108                         <child>
 109                           <object class="GtkLabel" id="label3">
 110                             <property name="visible">True</property>
 111                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 112                             <property name="xalign">0</property>
 113                             <property name="label" translatable="yes">Co_py old values</property>
 114                             <property name="use_underline">True</property>
 115                             <property name="mnemonic_widget">radiobutton3</property>
 116                           </object>
 117                           <packing>
 118                             <property name="left_attach">1</property>
 119                             <property name="right_attach">2</property>
 120                             <property name="top_attach">2</property>
 121                             <property name="bottom_attach">3</property>
 122                           </packing>
 123                         </child>
 124                         <child>
 125                           <object class="GtkAlignment" id="alignment2">
 126                             <property name="visible">True</property>
 127                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 128                             <property name="xalign">0</property>
 129                             <property name="xscale">0</property>
 130                             <child>
 131                               <object class="GtkHBox" id="hbox1">
 132                                 <property name="visible">True</property>
 133                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 134                                 <child>
 135                                   <object class="GtkLabel" id="label4">
 136                                     <property name="visible">True</property>
 137                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 138                                     <property name="xalign">1</property>
 139                                     <property name="label" translatable="yes">Va_lue: </property>
 140                                     <property name="use_underline">True</property>
 141                                     <property name="mnemonic_widget">radiobutton1</property>
 142                                   </object>
 143                                   <packing>
 144                                     <property name="position">0</property>
 145                                   </packing>
 146                                 </child>
 147                                 <child>
 148                                   <object class="GtkEntry" id="entry1">
 149                                     <property name="visible">True</property>
 150                                     <property name="sensitive">False</property>
 151                                     <property name="can_focus">True</property>
 152                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 153                                   </object>
 154                                   <packing>
 155                                     <property name="position">1</property>
 156                                   </packing>
 157                                 </child>
 158                               </object>
 159                             </child>
 160                           </object>
 161                           <packing>
 162                             <property name="left_attach">1</property>
 163                             <property name="right_attach">2</property>
 164                           </packing>
 165                         </child>
 166                       </object>
 167                     </child>
 168                   </object>
 169                 </child>
 170                 <child type="label">
 171                   <object class="GtkLabel" id="label1">
 172                     <property name="visible">True</property>
 173                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 174                     <property name="label" translatable="yes">New Value</property>
 175                     <property name="use_markup">True</property>
 176                   </object>
 177                 </child>
 178               </object>
 179               <packing>
 180                 <property name="expand">False</property>
 181                 <property name="fill">False</property>
 182                 <property name="position">0</property>
 183               </packing>
 184             </child>
 185             <child>
 186               <object class="PsppireAcr" id="psppire-acr1">
 187                 <property name="visible">True</property>
 188                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 189                 <property name="border_width">5</property>
 190               </object>
 191               <packing>
 192                 <property name="position">1</property>
 193               </packing>
 194             </child>
 195             <child>
 196               <object class="GtkTable" id="table3">
 197                 <property name="visible">True</property>
 198                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 199                 <property name="n_rows">2</property>
 200                 <property name="n_columns">2</property>
 201                 <child>
 202                   <object class="GtkCheckButton" id="checkbutton1">
 203                     <property name="visible">True</property>
 204                     <property name="can_focus">True</property>
 205                     <property name="receives_default">False</property>
 206                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 207                     <property name="draw_indicator">True</property>
 208                   </object>
 209                   <packing>
 210                     <property name="x_options"></property>
 211                   </packing>
 212                 </child>
 213                 <child>
 214                   <object class="GtkCheckButton" id="checkbutton2">
 215                     <property name="visible">True</property>
 216                     <property name="can_focus">True</property>
 217                     <property name="receives_default">False</property>
 218                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 219                     <property name="draw_indicator">True</property>
 220                   </object>
 221                   <packing>
 222                     <property name="top_attach">1</property>
 223                     <property name="bottom_attach">2</property>
 224                     <property name="x_options"></property>
 225                   </packing>
 226                 </child>
 227                 <child>
 228                   <object class="GtkLabel" id="label14">
 229                     <property name="visible">True</property>
 230                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 231                     <property name="xalign">0</property>
 232                     <property name="label" translatable="yes">Conver_t numeric strings to numbers (`5' -&gt; 5)</property>
 233                     <property name="use_underline">True</property>
 234                     <property name="mnemonic_widget">checkbutton2</property>
 235                   </object>
 236                   <packing>
 237                     <property name="left_attach">1</property>
 238                     <property name="right_attach">2</property>
 239                     <property name="top_attach">1</property>
 240                     <property name="bottom_attach">2</property>
 241                   </packing>
 242                 </child>
 243                 <child>
 244                   <object class="GtkHBox" id="hbox2">
 245                     <property name="visible">True</property>
 246                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 247                     <child>
 248                       <object class="GtkLabel" id="label15">
 249                         <property name="visible">True</property>
 250                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 251                         <property name="xalign">0</property>
 252                         <property name="label" translatable="yes">Output variables are _strings</property>
 253                         <property name="use_underline">True</property>
 254                         <property name="mnemonic_widget">checkbutton1</property>
 255                       </object>
 256                       <packing>
 257                         <property name="position">0</property>
 258                       </packing>
 259                     </child>
 260                     <child>
 261                       <object class="GtkHBox" id="hbox3">
 262                         <property name="visible">True</property>
 263                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 264                         <child>
 265                           <object class="GtkLabel" id="label16">
 266                             <property name="visible">True</property>
 267                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 268                             <property name="xalign">1</property>
 269                             <property name="label" translatable="yes">Width: </property>
 270                           </object>
 271                           <packing>
 272                             <property name="position">0</property>
 273                           </packing>
 274                         </child>
 275                         <child>
 276                           <object class="GtkSpinButton" id="spinbutton1">
 277                             <property name="visible">True</property>
 278                             <property name="sensitive">False</property>
 279                             <property name="can_focus">True</property>
 280                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 281                             <property name="adjustment">adjustment1</property>
 282                             <property name="numeric">True</property>
 283                             <property name="update_policy">if-valid</property>
 284                           </object>
 285                           <packing>
 286                             <property name="position">1</property>
 287                           </packing>
 288                         </child>
 289                       </object>
 290                       <packing>
 291                         <property name="fill">False</property>
 292                         <property name="position">1</property>
 293                       </packing>
 294                     </child>
 295                   </object>
 296                   <packing>
 297                     <property name="left_attach">1</property>
 298                     <property name="right_attach">2</property>
 299                   </packing>
 300                 </child>
 301               </object>
 302               <packing>
 303                 <property name="expand">False</property>
 304                 <property name="fill">False</property>
 305                 <property name="position">2</property>
 306               </packing>
 307             </child>
 308             <child>
 309               <object class="PsppireHButtonBox" id="psppire-hbuttonbox1">
 310                 <property name="visible">True</property>
 311                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 312                 <property name="border_width">10</property>
 313                 <property name="buttons">PSPPIRE_BUTTON_CONTINUE_MASK | PSPPIRE_BUTTON_CANCEL_MASK | PSPPIRE_BUTTON_HELP_MASK</property>
 314               </object>
 315               <packing>
 316                 <property name="expand">False</property>
 317                 <property name="fill">False</property>
 318                 <property name="pack_type">end</property>
 319                 <property name="position">3</property>
 320               </packing>
 321             </child>
 322           </object>
 323           <packing>
 324             <property name="position">1</property>
 325           </packing>
 326         </child>
 327       </object>
 328     </child>
 329   </object>
 330   <object class="PsppireDialog" id="recode-dialog">
 331     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 332     <property name="title" translatable="yes">Recode into Same Variables</property>
 333     <property name="modal">True</property>
 334     <child>
 335       <object class="GtkTable" id="dialog-hbox3">
 336         <property name="visible">True</property>
 337         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 338         <property name="n_rows">3</property>
 339         <property name="n_columns">4</property>
 340         <property name="column_spacing">5</property>
 341         <property name="row_spacing">5</property>
 342         <child>
 343           <object class="GtkLabel" id="label22">
 344             <property name="visible">True</property>
 345             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 346           </object>
 347           <packing>
 348             <property name="left_attach">1</property>
 349             <property name="right_attach">2</property>
 350             <property name="top_attach">2</property>
 351             <property name="bottom_attach">3</property>
 352             <property name="y_options"></property>
 353           </packing>
 354         </child>
 355         <child>
 356           <object class="PsppireSelector" id="psppire-selector1">
 357             <property name="visible">True</property>
 358             <property name="can_focus">True</property>
 359             <property name="receives_default">True</property>
 360             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 361             <property name="border_width">5</property>
 362             <property name="source_widget">treeview1</property>
 363             <property name="dest_widget">treeview2</property>
 364           </object>
 365           <packing>
 366             <property name="left_attach">1</property>
 367             <property name="right_attach">2</property>
 368             <property name="x_options"></property>
 369             <property name="y_options"></property>
 370           </packing>
 371         </child>
 372         <child>
 373           <object class="GtkHBox" id="hbox4">
 374             <property name="sensitive">False</property>
 375             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 376             <property name="orientation">vertical</property>
 377             <property name="spacing">5</property>
 378             <child>
 379               <object class="GtkButton" id="button2">
 380                 <property name="label" translatable="yes">_If...</property>
 381                 <property name="visible">True</property>
 382                 <property name="can_focus">True</property>
 383                 <property name="receives_default">True</property>
 384                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 385                 <property name="use_underline">True</property>
 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="GtkLabel" id="label18">
 395                 <property name="visible">True</property>
 396                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 397                 <property name="label" translatable="yes">(optional case selection condition)</property>
 398               </object>
 399               <packing>
 400                 <property name="position">1</property>
 401               </packing>
 402             </child>
 403           </object>
 404           <packing>
 405             <property name="left_attach">2</property>
 406             <property name="right_attach">4</property>
 407             <property name="top_attach">2</property>
 408             <property name="bottom_attach">3</property>
 409             <property name="y_options"></property>
 410           </packing>
 411         </child>
 412         <child>
 413           <object class="PsppireVButtonBox" id="psppire-vbuttonbox2">
 414             <property name="visible">True</property>
 415             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 416             <property name="border_width">5</property>
 417           </object>
 418           <packing>
 419             <property name="left_attach">3</property>
 420             <property name="right_attach">4</property>
 421           </packing>
 422         </child>
 423         <child>
 424           <object class="GtkScrolledWindow" id="scrolledwindow2">
 425             <property name="visible">True</property>
 426             <property name="can_focus">True</property>
 427             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 428             <property name="hscrollbar_policy">never</property>
 429             <property name="vscrollbar_policy">automatic</property>
 430             <property name="shadow_type">etched-in</property>
 431             <child>
 432               <object class="PsppireDictView" id="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="headers_visible">False</property>
 437               </object>
 438             </child>
 439           </object>
 440           <packing>
 441             <property name="bottom_attach">3</property>
 442           </packing>
 443         </child>
 444         <child>
 445           <object class="GtkLabel" id="label23">
 446             <property name="visible">True</property>
 447             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 448           </object>
 449           <packing>
 450             <property name="left_attach">1</property>
 451             <property name="right_attach">2</property>
 452             <property name="top_attach">1</property>
 453             <property name="bottom_attach">2</property>
 454             <property name="x_options"></property>
 455             <property name="y_options"></property>
 456           </packing>
 457         </child>
 458         <child>
 459           <object class="GtkFrame" id="frame4">
 460             <property name="visible">True</property>
 461             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 462             <property name="label_xalign">0</property>
 463             <child>
 464               <object class="GtkAlignment" id="alignment8">
 465                 <property name="visible">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="left_padding">12</property>
 468                 <child>
 469                   <object class="GtkVBox" id="vbox3">
 470                     <property name="visible">True</property>
 471                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 472                     <property name="orientation">vertical</property>
 473                     <child>
 474                       <object class="GtkLabel" id="label20">
 475                         <property name="visible">True</property>
 476                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 477                         <property name="xalign">0</property>
 478                         <property name="label" translatable="yes">_Name:</property>
 479                         <property name="use_underline">True</property>
 480                         <property name="mnemonic_widget">dest-name-entry</property>
 481                       </object>
 482                       <packing>
 483                         <property name="position">0</property>
 484                       </packing>
 485                     </child>
 486                     <child>
 487                       <object class="GtkEntry" id="dest-name-entry">
 488                         <property name="visible">True</property>
 489                         <property name="can_focus">True</property>
 490                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 491                       </object>
 492                       <packing>
 493                         <property name="position">1</property>
 494                       </packing>
 495                     </child>
 496                     <child>
 497                       <object class="GtkLabel" id="label21">
 498                         <property name="visible">True</property>
 499                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 500                         <property name="xalign">0</property>
 501                         <property name="label" translatable="yes">La_bel:</property>
 502                         <property name="use_underline">True</property>
 503                         <property name="mnemonic_widget">dest-label-entry</property>
 504                       </object>
 505                       <packing>
 506                         <property name="position">2</property>
 507                       </packing>
 508                     </child>
 509                     <child>
 510                       <object class="GtkEntry" id="dest-label-entry">
 511                         <property name="visible">True</property>
 512                         <property name="can_focus">True</property>
 513                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 514                       </object>
 515                       <packing>
 516                         <property name="position">3</property>
 517                       </packing>
 518                     </child>
 519                     <child>
 520                       <object class="GtkHButtonBox" id="hbuttonbox3">
 521                         <property name="visible">True</property>
 522                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 523                         <child>
 524                           <object class="GtkButton" id="change-button">
 525                             <property name="label" translatable="yes">Chan_ge</property>
 526                             <property name="visible">True</property>
 527                             <property name="can_focus">True</property>
 528                             <property name="receives_default">True</property>
 529                             <property name="use_underline">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                           <packing>
 533                             <property name="expand">False</property>
 534                             <property name="fill">False</property>
 535                             <property name="position">0</property>
 536                           </packing>
 537                         </child>
 538                       </object>
 539                       <packing>
 540                         <property name="padding">5</property>
 541                         <property name="position">4</property>
 542                       </packing>
 543                     </child>
 544                   </object>
 545                 </child>
 546               </object>
 547             </child>
 548             <child type="label">
 549               <object class="GtkLabel" id="label19">
 550                 <property name="visible">True</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="label" translatable="yes">Output Variable</property>
 553                 <property name="use_markup">True</property>
 554               </object>
 555             </child>
 556           </object>
 557           <packing>
 558             <property name="left_attach">3</property>
 559             <property name="right_attach">4</property>
 560             <property name="top_attach">1</property>
 561             <property name="bottom_attach">2</property>
 562           </packing>
 563         </child>
 564         <child>
 565           <object class="GtkVBox" id="vbox4">
 566             <property name="visible">True</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="orientation">vertical</property>
 569             <property name="spacing">5</property>
 570             <child>
 571               <object class="GtkFrame" id="frame3">
 572                 <property name="visible">True</property>
 573                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 574                 <property name="label_xalign">0</property>
 575                 <property name="shadow_type">none</property>
 576                 <child>
 577                   <object class="GtkAlignment" id="alignment4">
 578                     <property name="visible">True</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="left_padding">12</property>
 581                     <child>
 582                       <object class="GtkScrolledWindow" id="scrolledwindow1">
 583                         <property name="visible">True</property>
 584                         <property name="can_focus">True</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="hscrollbar_policy">never</property>
 587                         <property name="vscrollbar_policy">automatic</property>
 588                         <property name="shadow_type">etched-in</property>
 589                         <child>
 590                           <object class="PsppireVarView" id="treeview2">
 591                             <property name="visible">True</property>
 592                             <property name="can_focus">True</property>
 593                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 594                             <property name="headers_visible">False</property>
 595                           </object>
 596                         </child>
 597                       </object>
 598                     </child>
 599                   </object>
 600                 </child>
 601                 <child type="label">
 602                   <object class="GtkLabel" id="label17">
 603                     <property name="visible">True</property>
 604                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 605                     <property name="label" translatable="yes">_Variables:</property>
 606                     <property name="use_markup">True</property>
 607                     <property name="use_underline">True</property>
 608                     <property name="mnemonic_widget">treeview2</property>
 609                   </object>
 610                 </child>
 611               </object>
 612               <packing>
 613                 <property name="position">0</property>
 614               </packing>
 615             </child>
 616             <child>
 617               <object class="GtkAlignment" id="alignment5">
 618                 <property name="visible">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="xalign">0</property>
 621                 <property name="xscale">0</property>
 622                 <child>
 623                   <object class="GtkHButtonBox" id="hbuttonbox1">
 624                     <property name="visible">True</property>
 625                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 626                     <child>
 627                       <object class="GtkButton" id="button1">
 628                         <property name="label" translatable="yes">Old and New Va_lues...</property>
 629                         <property name="visible">True</property>
 630                         <property name="can_focus">True</property>
 631                         <property name="receives_default">True</property>
 632                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 633                         <property name="use_underline">True</property>
 634                       </object>
 635                       <packing>
 636                         <property name="expand">False</property>
 637                         <property name="fill">False</property>
 638                         <property name="position">0</property>
 639                       </packing>
 640                     </child>
 641                   </object>
 642                 </child>
 643               </object>
 644               <packing>
 645                 <property name="expand">False</property>
 646                 <property name="fill">False</property>
 647                 <property name="position">1</property>
 648               </packing>
 649             </child>
 650           </object>
 651           <packing>
 652             <property name="left_attach">2</property>
 653             <property name="right_attach">3</property>
 654             <property name="bottom_attach">2</property>
 655           </packing>
 656         </child>
 657       </object>
 658     </child>
 659   </object>
 660   <object class="GtkAdjustment" id="adjustment1">
 661     <property name="value">8</property>
 662     <property name="lower">1</property>
 663     <property name="upper">255</property>
 664     <property name="step_increment">1</property>
 665     <property name="page_increment">8</property>
 666   </object>
 667 </interface>