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 internal-child="hbox">
  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     <property name="orientation">Tabular</property>
 335     <child internal-child="hbox">
 336       <object class="GtkTable" id="dialog-hbox3">
 337         <property name="visible">True</property>
 338         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 339         <property name="n_rows">3</property>
 340         <property name="n_columns">4</property>
 341         <property name="column_spacing">5</property>
 342         <property name="row_spacing">5</property>
 343         <child>
 344           <object class="GtkLabel" id="label22">
 345             <property name="visible">True</property>
 346             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 347           </object>
 348           <packing>
 349             <property name="left_attach">1</property>
 350             <property name="right_attach">2</property>
 351             <property name="top_attach">2</property>
 352             <property name="bottom_attach">3</property>
 353             <property name="y_options"></property>
 354           </packing>
 355         </child>
 356         <child>
 357           <object class="PsppireSelector" id="psppire-selector1">
 358             <property name="visible">True</property>
 359             <property name="can_focus">True</property>
 360             <property name="receives_default">True</property>
 361             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 362             <property name="border_width">5</property>
 363             <property name="source_widget">treeview1</property>
 364             <property name="dest_widget">treeview2</property>
 365           </object>
 366           <packing>
 367             <property name="left_attach">1</property>
 368             <property name="right_attach">2</property>
 369             <property name="x_options"></property>
 370             <property name="y_options"></property>
 371           </packing>
 372         </child>
 373         <child>
 374           <object class="GtkHBox" id="hbox4">
 375             <property name="sensitive">False</property>
 376             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 377             <property name="orientation">vertical</property>
 378             <property name="spacing">5</property>
 379             <child>
 380               <object class="GtkButton" id="button2">
 381                 <property name="label" translatable="yes">_If...</property>
 382                 <property name="visible">True</property>
 383                 <property name="can_focus">True</property>
 384                 <property name="receives_default">True</property>
 385                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 386                 <property name="use_underline">True</property>
 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="GtkLabel" id="label18">
 396                 <property name="visible">True</property>
 397                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 398                 <property name="label" translatable="yes">(optional case selection condition)</property>
 399               </object>
 400               <packing>
 401                 <property name="position">1</property>
 402               </packing>
 403             </child>
 404           </object>
 405           <packing>
 406             <property name="left_attach">2</property>
 407             <property name="right_attach">4</property>
 408             <property name="top_attach">2</property>
 409             <property name="bottom_attach">3</property>
 410             <property name="y_options"></property>
 411           </packing>
 412         </child>
 413         <child>
 414           <object class="PsppireVButtonBox" id="psppire-vbuttonbox2">
 415             <property name="visible">True</property>
 416             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 417             <property name="border_width">5</property>
 418           </object>
 419           <packing>
 420             <property name="left_attach">3</property>
 421             <property name="right_attach">4</property>
 422           </packing>
 423         </child>
 424         <child>
 425           <object class="GtkScrolledWindow" id="scrolledwindow2">
 426             <property name="visible">True</property>
 427             <property name="can_focus">True</property>
 428             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 429             <property name="hscrollbar_policy">never</property>
 430             <property name="vscrollbar_policy">automatic</property>
 431             <property name="shadow_type">etched-in</property>
 432             <child>
 433               <object class="PsppireDictView" id="treeview1">
 434                 <property name="visible">True</property>
 435                 <property name="can_focus">True</property>
 436                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 437                 <property name="headers_visible">False</property>
 438               </object>
 439             </child>
 440           </object>
 441           <packing>
 442             <property name="bottom_attach">3</property>
 443           </packing>
 444         </child>
 445         <child>
 446           <object class="GtkLabel" id="label23">
 447             <property name="visible">True</property>
 448             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 449           </object>
 450           <packing>
 451             <property name="left_attach">1</property>
 452             <property name="right_attach">2</property>
 453             <property name="top_attach">1</property>
 454             <property name="bottom_attach">2</property>
 455             <property name="x_options"></property>
 456             <property name="y_options"></property>
 457           </packing>
 458         </child>
 459         <child>
 460           <object class="GtkFrame" id="frame4">
 461             <property name="visible">True</property>
 462             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 463             <property name="label_xalign">0</property>
 464             <child>
 465               <object class="GtkAlignment" id="alignment8">
 466                 <property name="visible">True</property>
 467                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 468                 <property name="left_padding">12</property>
 469                 <child>
 470                   <object class="GtkVBox" id="vbox3">
 471                     <property name="visible">True</property>
 472                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 473                     <property name="orientation">vertical</property>
 474                     <child>
 475                       <object class="GtkLabel" id="label20">
 476                         <property name="visible">True</property>
 477                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 478                         <property name="xalign">0</property>
 479                         <property name="label" translatable="yes">_Name:</property>
 480                         <property name="use_underline">True</property>
 481                         <property name="mnemonic_widget">dest-name-entry</property>
 482                       </object>
 483                       <packing>
 484                         <property name="position">0</property>
 485                       </packing>
 486                     </child>
 487                     <child>
 488                       <object class="GtkEntry" id="dest-name-entry">
 489                         <property name="visible">True</property>
 490                         <property name="can_focus">True</property>
 491                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 492                       </object>
 493                       <packing>
 494                         <property name="position">1</property>
 495                       </packing>
 496                     </child>
 497                     <child>
 498                       <object class="GtkLabel" id="label21">
 499                         <property name="visible">True</property>
 500                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 501                         <property name="xalign">0</property>
 502                         <property name="label" translatable="yes">La_bel:</property>
 503                         <property name="use_underline">True</property>
 504                         <property name="mnemonic_widget">dest-label-entry</property>
 505                       </object>
 506                       <packing>
 507                         <property name="position">2</property>
 508                       </packing>
 509                     </child>
 510                     <child>
 511                       <object class="GtkEntry" id="dest-label-entry">
 512                         <property name="visible">True</property>
 513                         <property name="can_focus">True</property>
 514                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 515                       </object>
 516                       <packing>
 517                         <property name="position">3</property>
 518                       </packing>
 519                     </child>
 520                     <child>
 521                       <object class="GtkHButtonBox" id="hbuttonbox3">
 522                         <property name="visible">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                         <child>
 525                           <object class="GtkButton" id="change-button">
 526                             <property name="label" translatable="yes">Chan_ge</property>
 527                             <property name="visible">True</property>
 528                             <property name="can_focus">True</property>
 529                             <property name="receives_default">True</property>
 530                             <property name="use_underline">True</property>
 531                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 532                           </object>
 533                           <packing>
 534                             <property name="expand">False</property>
 535                             <property name="fill">False</property>
 536                             <property name="position">0</property>
 537                           </packing>
 538                         </child>
 539                       </object>
 540                       <packing>
 541                         <property name="padding">5</property>
 542                         <property name="position">4</property>
 543                       </packing>
 544                     </child>
 545                   </object>
 546                 </child>
 547               </object>
 548             </child>
 549             <child type="label">
 550               <object class="GtkLabel" id="label19">
 551                 <property name="visible">True</property>
 552                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 553                 <property name="label" translatable="yes">Output Variable</property>
 554                 <property name="use_markup">True</property>
 555               </object>
 556             </child>
 557           </object>
 558           <packing>
 559             <property name="left_attach">3</property>
 560             <property name="right_attach">4</property>
 561             <property name="top_attach">1</property>
 562             <property name="bottom_attach">2</property>
 563           </packing>
 564         </child>
 565         <child>
 566           <object class="GtkVBox" id="vbox4">
 567             <property name="visible">True</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             <property name="spacing">5</property>
 571             <child>
 572               <object class="GtkFrame" id="frame3">
 573                 <property name="visible">True</property>
 574                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 575                 <property name="label_xalign">0</property>
 576                 <property name="shadow_type">none</property>
 577                 <child>
 578                   <object class="GtkAlignment" id="alignment4">
 579                     <property name="visible">True</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="left_padding">12</property>
 582                     <child>
 583                       <object class="GtkScrolledWindow" id="scrolledwindow1">
 584                         <property name="visible">True</property>
 585                         <property name="can_focus">True</property>
 586                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 587                         <property name="hscrollbar_policy">never</property>
 588                         <property name="vscrollbar_policy">automatic</property>
 589                         <property name="shadow_type">etched-in</property>
 590                         <child>
 591                           <object class="PsppireVarView" id="treeview2">
 592                             <property name="visible">True</property>
 593                             <property name="can_focus">True</property>
 594                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 595                             <property name="headers_visible">False</property>
 596                           </object>
 597                         </child>
 598                       </object>
 599                     </child>
 600                   </object>
 601                 </child>
 602                 <child type="label">
 603                   <object class="GtkLabel" id="label17">
 604                     <property name="visible">True</property>
 605                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 606                     <property name="label" translatable="yes">_Variables:</property>
 607                     <property name="use_markup">True</property>
 608                     <property name="use_underline">True</property>
 609                     <property name="mnemonic_widget">treeview2</property>
 610                   </object>
 611                 </child>
 612               </object>
 613               <packing>
 614                 <property name="position">0</property>
 615               </packing>
 616             </child>
 617             <child>
 618               <object class="GtkAlignment" id="alignment5">
 619                 <property name="visible">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="xalign">0</property>
 622                 <property name="xscale">0</property>
 623                 <child>
 624                   <object class="GtkHButtonBox" id="hbuttonbox1">
 625                     <property name="visible">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                     <child>
 628                       <object class="GtkButton" id="button1">
 629                         <property name="label" translatable="yes">Old and New Va_lues...</property>
 630                         <property name="visible">True</property>
 631                         <property name="can_focus">True</property>
 632                         <property name="receives_default">True</property>
 633                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 634                         <property name="use_underline">True</property>
 635                       </object>
 636                       <packing>
 637                         <property name="expand">False</property>
 638                         <property name="fill">False</property>
 639                         <property name="position">0</property>
 640                       </packing>
 641                     </child>
 642                   </object>
 643                 </child>
 644               </object>
 645               <packing>
 646                 <property name="expand">False</property>
 647                 <property name="fill">False</property>
 648                 <property name="position">1</property>
 649               </packing>
 650             </child>
 651           </object>
 652           <packing>
 653             <property name="left_attach">2</property>
 654             <property name="right_attach">3</property>
 655             <property name="bottom_attach">2</property>
 656           </packing>
 657         </child>
 658       </object>
 659     </child>
 660   </object>
 661   <object class="GtkAdjustment" id="adjustment1">
 662     <property name="value">8</property>
 663     <property name="lower">1</property>
 664     <property name="upper">255</property>
 665     <property name="step_increment">1</property>
 666     <property name="page_increment">8</property>
 667   </object>
 668 </interface>