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="GtkFrame" id="frame2">
  16             <property name="visible">True</property>
  17             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  18             <property name="label_xalign">0</property>
  19             <child>
  20               <object class="GtkAlignment" id="alignment3">
  21                 <property name="visible">True</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="left_padding">12</property>
  24                 <property name="right_padding">5</property>
  25                 <child>
  26                   <object class="GtkTable" id="table2">
  27                     <property name="visible">True</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="n_rows">11</property>
  30                     <property name="n_columns">2</property>
  31                     <child>
  32                       <object class="GtkAlignment" id="alignment11">
  33                         <property name="visible">True</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="xalign">0</property>
  36                         <property name="xscale">0</property>
  37                         <child>
  38                           <object class="GtkEntry" id="entry7">
  39                             <property name="visible">True</property>
  40                             <property name="sensitive">False</property>
  41                             <property name="can_focus">True</property>
  42                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  43                           </object>
  44                         </child>
  45                       </object>
  46                       <packing>
  47                         <property name="left_attach">1</property>
  48                         <property name="right_attach">2</property>
  49                         <property name="top_attach">9</property>
  50                         <property name="bottom_attach">10</property>
  51                       </packing>
  52                     </child>
  53                     <child>
  54                       <object class="GtkAlignment" id="alignment10">
  55                         <property name="visible">True</property>
  56                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  57                         <property name="xalign">0</property>
  58                         <property name="xscale">0</property>
  59                         <child>
  60                           <object class="GtkEntry" id="entry6">
  61                             <property name="visible">True</property>
  62                             <property name="sensitive">False</property>
  63                             <property name="can_focus">True</property>
  64                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  65                           </object>
  66                         </child>
  67                       </object>
  68                       <packing>
  69                         <property name="left_attach">1</property>
  70                         <property name="right_attach">2</property>
  71                         <property name="top_attach">7</property>
  72                         <property name="bottom_attach">8</property>
  73                       </packing>
  74                     </child>
  75                     <child>
  76                       <object class="GtkRadioButton" id="radiobutton4">
  77                         <property name="visible">True</property>
  78                         <property name="can_focus">True</property>
  79                         <property name="receives_default">False</property>
  80                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  81                         <property name="active">True</property>
  82                         <property name="draw_indicator">True</property>
  83                       </object>
  84                       <packing>
  85                         <property name="x_options"></property>
  86                       </packing>
  87                     </child>
  88                     <child>
  89                       <object class="GtkRadioButton" id="radiobutton6">
  90                         <property name="visible">True</property>
  91                         <property name="can_focus">True</property>
  92                         <property name="receives_default">False</property>
  93                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  94                         <property name="active">True</property>
  95                         <property name="draw_indicator">True</property>
  96                         <property name="group">radiobutton4</property>
  97                       </object>
  98                       <packing>
  99                         <property name="top_attach">2</property>
 100                         <property name="bottom_attach">3</property>
 101                         <property name="x_options"></property>
 102                       </packing>
 103                     </child>
 104                     <child>
 105                       <object class="GtkRadioButton" id="radiobutton7">
 106                         <property name="visible">True</property>
 107                         <property name="can_focus">True</property>
 108                         <property name="receives_default">False</property>
 109                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 110                         <property name="active">True</property>
 111                         <property name="draw_indicator">True</property>
 112                         <property name="group">radiobutton4</property>
 113                       </object>
 114                       <packing>
 115                         <property name="top_attach">3</property>
 116                         <property name="bottom_attach">4</property>
 117                         <property name="x_options"></property>
 118                       </packing>
 119                     </child>
 120                     <child>
 121                       <object class="GtkRadioButton" id="radiobutton8">
 122                         <property name="visible">True</property>
 123                         <property name="can_focus">True</property>
 124                         <property name="receives_default">False</property>
 125                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 126                         <property name="active">True</property>
 127                         <property name="draw_indicator">True</property>
 128                         <property name="group">radiobutton4</property>
 129                       </object>
 130                       <packing>
 131                         <property name="top_attach">4</property>
 132                         <property name="bottom_attach">5</property>
 133                         <property name="x_options"></property>
 134                       </packing>
 135                     </child>
 136                     <child>
 137                       <object class="GtkRadioButton" id="radiobutton10">
 138                         <property name="visible">True</property>
 139                         <property name="can_focus">True</property>
 140                         <property name="receives_default">False</property>
 141                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 142                         <property name="active">True</property>
 143                         <property name="draw_indicator">True</property>
 144                         <property name="group">radiobutton4</property>
 145                       </object>
 146                       <packing>
 147                         <property name="top_attach">6</property>
 148                         <property name="bottom_attach">7</property>
 149                         <property name="x_options"></property>
 150                       </packing>
 151                     </child>
 152                     <child>
 153                       <object class="GtkRadioButton" id="radiobutton5">
 154                         <property name="visible">True</property>
 155                         <property name="can_focus">True</property>
 156                         <property name="receives_default">False</property>
 157                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 158                         <property name="active">True</property>
 159                         <property name="draw_indicator">True</property>
 160                         <property name="group">radiobutton4</property>
 161                       </object>
 162                       <packing>
 163                         <property name="top_attach">8</property>
 164                         <property name="bottom_attach">9</property>
 165                         <property name="x_options"></property>
 166                       </packing>
 167                     </child>
 168                     <child>
 169                       <object class="GtkLabel" id="label6">
 170                         <property name="visible">True</property>
 171                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 172                         <property name="xalign">0</property>
 173                         <property name="label" translatable="yes">Value:</property>
 174                       </object>
 175                       <packing>
 176                         <property name="left_attach">1</property>
 177                         <property name="right_attach">2</property>
 178                       </packing>
 179                     </child>
 180                     <child>
 181                       <object class="GtkLabel" id="label7">
 182                         <property name="visible">True</property>
 183                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 184                         <property name="xalign">0</property>
 185                         <property name="label" translatable="yes">System Missing</property>
 186                       </object>
 187                       <packing>
 188                         <property name="left_attach">1</property>
 189                         <property name="right_attach">2</property>
 190                         <property name="top_attach">2</property>
 191                         <property name="bottom_attach">3</property>
 192                       </packing>
 193                     </child>
 194                     <child>
 195                       <object class="GtkLabel" id="label8">
 196                         <property name="visible">True</property>
 197                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 198                         <property name="xalign">0</property>
 199                         <property name="label" translatable="yes">System or User Missing</property>
 200                       </object>
 201                       <packing>
 202                         <property name="left_attach">1</property>
 203                         <property name="right_attach">2</property>
 204                         <property name="top_attach">3</property>
 205                         <property name="bottom_attach">4</property>
 206                       </packing>
 207                     </child>
 208                     <child>
 209                       <object class="GtkVBox" id="vbox2">
 210                         <property name="visible">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="orientation">vertical</property>
 213                         <child>
 214                           <object class="GtkAlignment" id="alignment9">
 215                             <property name="visible">True</property>
 216                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 217                             <property name="xalign">0</property>
 218                             <property name="xscale">0</property>
 219                             <child>
 220                               <object class="GtkEntry" id="entry5">
 221                                 <property name="visible">True</property>
 222                                 <property name="sensitive">False</property>
 223                                 <property name="can_focus">True</property>
 224                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 225                               </object>
 226                             </child>
 227                           </object>
 228                           <packing>
 229                             <property name="position">0</property>
 230                           </packing>
 231                         </child>
 232                         <child>
 233                           <object class="GtkLabel" id="label9">
 234                             <property name="visible">True</property>
 235                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 236                             <property name="xalign">0</property>
 237                             <property name="label" translatable="yes">through</property>
 238                           </object>
 239                           <packing>
 240                             <property name="position">1</property>
 241                           </packing>
 242                         </child>
 243                         <child>
 244                           <object class="GtkAlignment" id="alignment7">
 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                             <property name="xalign">0</property>
 248                             <property name="xscale">0</property>
 249                             <child>
 250                               <object class="GtkEntry" id="entry3">
 251                                 <property name="visible">True</property>
 252                                 <property name="sensitive">False</property>
 253                                 <property name="can_focus">True</property>
 254                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 255                               </object>
 256                             </child>
 257                           </object>
 258                           <packing>
 259                             <property name="position">2</property>
 260                           </packing>
 261                         </child>
 262                       </object>
 263                       <packing>
 264                         <property name="left_attach">1</property>
 265                         <property name="right_attach">2</property>
 266                         <property name="top_attach">5</property>
 267                         <property name="bottom_attach">6</property>
 268                       </packing>
 269                     </child>
 270                     <child>
 271                       <object class="GtkLabel" id="label11">
 272                         <property name="visible">True</property>
 273                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 274                         <property name="xalign">0</property>
 275                         <property name="label" translatable="yes">Range, LOWEST thru value</property>
 276                       </object>
 277                       <packing>
 278                         <property name="left_attach">1</property>
 279                         <property name="right_attach">2</property>
 280                         <property name="top_attach">6</property>
 281                         <property name="bottom_attach">7</property>
 282                       </packing>
 283                     </child>
 284                     <child>
 285                       <object class="GtkLabel" id="label12">
 286                         <property name="visible">True</property>
 287                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 288                         <property name="xalign">0</property>
 289                         <property name="label" translatable="yes">Range, value thru HIGHEST</property>
 290                       </object>
 291                       <packing>
 292                         <property name="left_attach">1</property>
 293                         <property name="right_attach">2</property>
 294                         <property name="top_attach">8</property>
 295                         <property name="bottom_attach">9</property>
 296                       </packing>
 297                     </child>
 298                     <child>
 299                       <object class="GtkRadioButton" id="radiobutton11">
 300                         <property name="visible">True</property>
 301                         <property name="can_focus">True</property>
 302                         <property name="receives_default">False</property>
 303                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 304                         <property name="active">True</property>
 305                         <property name="draw_indicator">True</property>
 306                         <property name="group">radiobutton4</property>
 307                       </object>
 308                       <packing>
 309                         <property name="top_attach">10</property>
 310                         <property name="bottom_attach">11</property>
 311                         <property name="x_options"></property>
 312                       </packing>
 313                     </child>
 314                     <child>
 315                       <object class="GtkLabel" id="label13">
 316                         <property name="visible">True</property>
 317                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 318                         <property name="xalign">0</property>
 319                         <property name="label" translatable="yes">All other values</property>
 320                       </object>
 321                       <packing>
 322                         <property name="left_attach">1</property>
 323                         <property name="right_attach">2</property>
 324                         <property name="top_attach">10</property>
 325                         <property name="bottom_attach">11</property>
 326                       </packing>
 327                     </child>
 328                     <child>
 329                       <object class="GtkAlignment" id="alignment6">
 330                         <property name="visible">True</property>
 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="xalign">0</property>
 333                         <property name="xscale">0</property>
 334                         <child>
 335                           <object class="GtkEntry" id="entry2">
 336                             <property name="visible">True</property>
 337                             <property name="sensitive">False</property>
 338                             <property name="can_focus">True</property>
 339                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 340                           </object>
 341                         </child>
 342                       </object>
 343                       <packing>
 344                         <property name="left_attach">1</property>
 345                         <property name="right_attach">2</property>
 346                         <property name="top_attach">1</property>
 347                         <property name="bottom_attach">2</property>
 348                       </packing>
 349                     </child>
 350                     <child>
 351                       <object class="GtkLabel" id="label10">
 352                         <property name="visible">True</property>
 353                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 354                         <property name="xalign">0</property>
 355                         <property name="label" translatable="yes">Range:</property>
 356                       </object>
 357                       <packing>
 358                         <property name="left_attach">1</property>
 359                         <property name="right_attach">2</property>
 360                         <property name="top_attach">4</property>
 361                         <property name="bottom_attach">5</property>
 362                       </packing>
 363                     </child>
 364                     <child>
 365                       <placeholder/>
 366                     </child>
 367                     <child>
 368                       <placeholder/>
 369                     </child>
 370                     <child>
 371                       <placeholder/>
 372                     </child>
 373                     <child>
 374                       <placeholder/>
 375                     </child>
 376                   </object>
 377                 </child>
 378               </object>
 379             </child>
 380             <child type="label">
 381               <object class="GtkLabel" id="label5">
 382                 <property name="visible">True</property>
 383                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 384                 <property name="label" translatable="yes">Old Value</property>
 385                 <property name="use_markup">True</property>
 386               </object>
 387             </child>
 388           </object>
 389           <packing>
 390             <property name="position">0</property>
 391           </packing>
 392         </child>
 393         <child>
 394           <object class="GtkVBox" id="vbox1">
 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="orientation">vertical</property>
 398             <child>
 399               <object class="GtkFrame" id="frame1">
 400                 <property name="visible">True</property>
 401                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 402                 <property name="label_xalign">0</property>
 403                 <child>
 404                   <object class="GtkAlignment" id="alignment1">
 405                     <property name="visible">True</property>
 406                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 407                     <property name="left_padding">12</property>
 408                     <child>
 409                       <object class="GtkTable" id="table1">
 410                         <property name="visible">True</property>
 411                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 412                         <property name="n_rows">3</property>
 413                         <property name="n_columns">2</property>
 414                         <child>
 415                           <object class="GtkRadioButton" id="radiobutton1">
 416                             <property name="visible">True</property>
 417                             <property name="can_focus">True</property>
 418                             <property name="receives_default">False</property>
 419                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 420                             <property name="active">True</property>
 421                             <property name="draw_indicator">True</property>
 422                           </object>
 423                           <packing>
 424                             <property name="x_options"></property>
 425                           </packing>
 426                         </child>
 427                         <child>
 428                           <object class="GtkRadioButton" id="radiobutton2">
 429                             <property name="visible">True</property>
 430                             <property name="can_focus">True</property>
 431                             <property name="receives_default">False</property>
 432                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 433                             <property name="active">True</property>
 434                             <property name="draw_indicator">True</property>
 435                             <property name="group">radiobutton1</property>
 436                           </object>
 437                           <packing>
 438                             <property name="top_attach">1</property>
 439                             <property name="bottom_attach">2</property>
 440                             <property name="x_options"></property>
 441                           </packing>
 442                         </child>
 443                         <child>
 444                           <object class="GtkRadioButton" id="radiobutton3">
 445                             <property name="visible">True</property>
 446                             <property name="can_focus">True</property>
 447                             <property name="receives_default">False</property>
 448                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 449                             <property name="active">True</property>
 450                             <property name="draw_indicator">True</property>
 451                             <property name="group">radiobutton1</property>
 452                             <child>
 453                               <placeholder/>
 454                             </child>
 455                           </object>
 456                           <packing>
 457                             <property name="top_attach">2</property>
 458                             <property name="bottom_attach">3</property>
 459                             <property name="x_options"></property>
 460                           </packing>
 461                         </child>
 462                         <child>
 463                           <object class="GtkLabel" id="label2">
 464                             <property name="visible">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="xalign">0</property>
 467                             <property name="label" translatable="yes">System Missing</property>
 468                           </object>
 469                           <packing>
 470                             <property name="left_attach">1</property>
 471                             <property name="right_attach">2</property>
 472                             <property name="top_attach">1</property>
 473                             <property name="bottom_attach">2</property>
 474                           </packing>
 475                         </child>
 476                         <child>
 477                           <object class="GtkLabel" id="label3">
 478                             <property name="visible">True</property>
 479                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 480                             <property name="xalign">0</property>
 481                             <property name="label" translatable="yes">Copy old values</property>
 482                           </object>
 483                           <packing>
 484                             <property name="left_attach">1</property>
 485                             <property name="right_attach">2</property>
 486                             <property name="top_attach">2</property>
 487                             <property name="bottom_attach">3</property>
 488                           </packing>
 489                         </child>
 490                         <child>
 491                           <object class="GtkAlignment" id="alignment2">
 492                             <property name="visible">True</property>
 493                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 494                             <property name="xalign">0</property>
 495                             <property name="xscale">0</property>
 496                             <child>
 497                               <object class="GtkHBox" id="hbox1">
 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                                 <child>
 501                                   <object class="GtkLabel" id="label4">
 502                                     <property name="visible">True</property>
 503                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 504                                     <property name="xalign">1</property>
 505                                     <property name="label" translatable="yes">Value: </property>
 506                                   </object>
 507                                   <packing>
 508                                     <property name="position">0</property>
 509                                   </packing>
 510                                 </child>
 511                                 <child>
 512                                   <object class="GtkEntry" id="entry1">
 513                                     <property name="visible">True</property>
 514                                     <property name="sensitive">False</property>
 515                                     <property name="can_focus">True</property>
 516                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 517                                   </object>
 518                                   <packing>
 519                                     <property name="position">1</property>
 520                                   </packing>
 521                                 </child>
 522                               </object>
 523                             </child>
 524                           </object>
 525                           <packing>
 526                             <property name="left_attach">1</property>
 527                             <property name="right_attach">2</property>
 528                           </packing>
 529                         </child>
 530                       </object>
 531                     </child>
 532                   </object>
 533                 </child>
 534                 <child type="label">
 535                   <object class="GtkLabel" id="label1">
 536                     <property name="visible">True</property>
 537                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 538                     <property name="label" translatable="yes">New Value</property>
 539                     <property name="use_markup">True</property>
 540                   </object>
 541                 </child>
 542               </object>
 543               <packing>
 544                 <property name="expand">False</property>
 545                 <property name="fill">False</property>
 546                 <property name="position">0</property>
 547               </packing>
 548             </child>
 549             <child>
 550               <object class="PsppireAcr" id="psppire-acr1">
 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="border_width">5</property>
 554               </object>
 555               <packing>
 556                 <property name="position">1</property>
 557               </packing>
 558             </child>
 559             <child>
 560               <object class="GtkTable" id="table3">
 561                 <property name="visible">True</property>
 562                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 563                 <property name="n_rows">2</property>
 564                 <property name="n_columns">2</property>
 565                 <child>
 566                   <object class="GtkCheckButton" id="checkbutton1">
 567                     <property name="visible">True</property>
 568                     <property name="can_focus">True</property>
 569                     <property name="receives_default">False</property>
 570                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 571                     <property name="draw_indicator">True</property>
 572                   </object>
 573                   <packing>
 574                     <property name="x_options"></property>
 575                   </packing>
 576                 </child>
 577                 <child>
 578                   <object class="GtkCheckButton" id="checkbutton2">
 579                     <property name="visible">True</property>
 580                     <property name="can_focus">True</property>
 581                     <property name="receives_default">False</property>
 582                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 583                     <property name="draw_indicator">True</property>
 584                   </object>
 585                   <packing>
 586                     <property name="top_attach">1</property>
 587                     <property name="bottom_attach">2</property>
 588                     <property name="x_options"></property>
 589                   </packing>
 590                 </child>
 591                 <child>
 592                   <object class="GtkLabel" id="label14">
 593                     <property name="visible">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="xalign">0</property>
 596                     <property name="label" translatable="yes">Convert numeric strings to numbers ('5' -&gt; 5)</property>
 597                   </object>
 598                   <packing>
 599                     <property name="left_attach">1</property>
 600                     <property name="right_attach">2</property>
 601                     <property name="top_attach">1</property>
 602                     <property name="bottom_attach">2</property>
 603                   </packing>
 604                 </child>
 605                 <child>
 606                   <object class="GtkHBox" id="hbox2">
 607                     <property name="visible">True</property>
 608                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 609                     <child>
 610                       <object class="GtkLabel" id="label15">
 611                         <property name="visible">True</property>
 612                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 613                         <property name="xalign">0</property>
 614                         <property name="label" translatable="yes">Output variables are strings</property>
 615                       </object>
 616                       <packing>
 617                         <property name="position">0</property>
 618                       </packing>
 619                     </child>
 620                     <child>
 621                       <object class="GtkHBox" id="hbox3">
 622                         <property name="visible">True</property>
 623                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 624                         <child>
 625                           <object class="GtkLabel" id="label16">
 626                             <property name="visible">True</property>
 627                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 628                             <property name="xalign">1</property>
 629                             <property name="label" translatable="yes">Width: </property>
 630                           </object>
 631                           <packing>
 632                             <property name="position">0</property>
 633                           </packing>
 634                         </child>
 635                         <child>
 636                           <object class="GtkSpinButton" id="spinbutton1">
 637                             <property name="visible">True</property>
 638                             <property name="sensitive">False</property>
 639                             <property name="can_focus">True</property>
 640                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 641                             <property name="adjustment">adjustment1</property>
 642                             <property name="numeric">True</property>
 643                             <property name="update_policy">if-valid</property>
 644                           </object>
 645                           <packing>
 646                             <property name="position">1</property>
 647                           </packing>
 648                         </child>
 649                       </object>
 650                       <packing>
 651                         <property name="fill">False</property>
 652                         <property name="position">1</property>
 653                       </packing>
 654                     </child>
 655                   </object>
 656                   <packing>
 657                     <property name="left_attach">1</property>
 658                     <property name="right_attach">2</property>
 659                   </packing>
 660                 </child>
 661               </object>
 662               <packing>
 663                 <property name="expand">False</property>
 664                 <property name="fill">False</property>
 665                 <property name="position">2</property>
 666               </packing>
 667             </child>
 668             <child>
 669               <object class="PsppireHButtonBox" id="psppire-hbuttonbox1">
 670                 <property name="visible">True</property>
 671                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 672                 <property name="border_width">10</property>
 673                 <property name="buttons">PSPPIRE_BUTTON_CONTINUE_MASK | PSPPIRE_BUTTON_CANCEL_MASK | PSPPIRE_BUTTON_HELP_MASK</property>
 674               </object>
 675               <packing>
 676                 <property name="expand">False</property>
 677                 <property name="fill">False</property>
 678                 <property name="pack_type">end</property>
 679                 <property name="position">3</property>
 680               </packing>
 681             </child>
 682           </object>
 683           <packing>
 684             <property name="position">1</property>
 685           </packing>
 686         </child>
 687       </object>
 688     </child>
 689   </object>
 690   <object class="PsppireDialog" id="recode-dialog">
 691     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 692     <property name="title">Recode into Same Variables</property>
 693     <property name="modal">True</property>
 694     <property name="orientation">Tabular</property>
 695     <child internal-child="hbox">
 696       <object class="GtkTable" id="dialog-hbox3">
 697         <property name="visible">True</property>
 698         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 699         <property name="n_rows">3</property>
 700         <property name="n_columns">4</property>
 701         <property name="column_spacing">5</property>
 702         <property name="row_spacing">5</property>
 703         <child>
 704           <object class="GtkLabel" id="label22">
 705             <property name="visible">True</property>
 706             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 707           </object>
 708           <packing>
 709             <property name="left_attach">1</property>
 710             <property name="right_attach">2</property>
 711             <property name="top_attach">2</property>
 712             <property name="bottom_attach">3</property>
 713             <property name="y_options"></property>
 714           </packing>
 715         </child>
 716         <child>
 717           <object class="PsppireSelector" id="psppire-selector1">
 718             <property name="visible">True</property>
 719             <property name="can_focus">True</property>
 720             <property name="receives_default">True</property>
 721             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 722             <property name="border_width">5</property>
 723           </object>
 724           <packing>
 725             <property name="left_attach">1</property>
 726             <property name="right_attach">2</property>
 727             <property name="x_options"></property>
 728             <property name="y_options"></property>
 729           </packing>
 730         </child>
 731         <child>
 732           <object class="GtkHBox" id="hbox4">
 733             <property name="sensitive">False</property>
 734             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 735             <property name="orientation">vertical</property>
 736             <property name="spacing">5</property>
 737             <child>
 738               <object class="GtkButton" id="button2">
 739                 <property name="label" translatable="yes">If...</property>
 740                 <property name="visible">True</property>
 741                 <property name="can_focus">True</property>
 742                 <property name="receives_default">True</property>
 743                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 744               </object>
 745               <packing>
 746                 <property name="expand">False</property>
 747                 <property name="fill">False</property>
 748                 <property name="position">0</property>
 749               </packing>
 750             </child>
 751             <child>
 752               <object class="GtkLabel" id="label18">
 753                 <property name="visible">True</property>
 754                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 755                 <property name="label" translatable="yes">(optional case selection condition)</property>
 756               </object>
 757               <packing>
 758                 <property name="position">1</property>
 759               </packing>
 760             </child>
 761           </object>
 762           <packing>
 763             <property name="left_attach">2</property>
 764             <property name="right_attach">4</property>
 765             <property name="top_attach">2</property>
 766             <property name="bottom_attach">3</property>
 767             <property name="y_options"></property>
 768           </packing>
 769         </child>
 770         <child>
 771           <object class="PsppireVButtonBox" id="psppire-vbuttonbox2">
 772             <property name="visible">True</property>
 773             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 774             <property name="border_width">5</property>
 775           </object>
 776           <packing>
 777             <property name="left_attach">3</property>
 778             <property name="right_attach">4</property>
 779           </packing>
 780         </child>
 781         <child>
 782           <object class="GtkScrolledWindow" id="scrolledwindow2">
 783             <property name="visible">True</property>
 784             <property name="can_focus">True</property>
 785             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 786             <property name="hscrollbar_policy">never</property>
 787             <property name="vscrollbar_policy">automatic</property>
 788             <property name="shadow_type">etched-in</property>
 789             <child>
 790               <object class="PsppireDictView" id="treeview1">
 791                 <property name="visible">True</property>
 792                 <property name="can_focus">True</property>
 793                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 794                 <property name="headers_visible">False</property>
 795               </object>
 796             </child>
 797           </object>
 798           <packing>
 799             <property name="bottom_attach">3</property>
 800           </packing>
 801         </child>
 802         <child>
 803           <object class="GtkLabel" id="label23">
 804             <property name="visible">True</property>
 805             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 806           </object>
 807           <packing>
 808             <property name="left_attach">1</property>
 809             <property name="right_attach">2</property>
 810             <property name="top_attach">1</property>
 811             <property name="bottom_attach">2</property>
 812             <property name="x_options"></property>
 813             <property name="y_options"></property>
 814           </packing>
 815         </child>
 816         <child>
 817           <object class="GtkFrame" id="frame4">
 818             <property name="visible">True</property>
 819             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 820             <property name="label_xalign">0</property>
 821             <child>
 822               <object class="GtkAlignment" id="alignment8">
 823                 <property name="visible">True</property>
 824                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 825                 <property name="left_padding">12</property>
 826                 <child>
 827                   <object class="GtkVBox" id="vbox3">
 828                     <property name="visible">True</property>
 829                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 830                     <property name="orientation">vertical</property>
 831                     <child>
 832                       <object class="GtkLabel" id="label20">
 833                         <property name="visible">True</property>
 834                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 835                         <property name="xalign">0</property>
 836                         <property name="label" translatable="yes">Name:</property>
 837                       </object>
 838                       <packing>
 839                         <property name="position">0</property>
 840                       </packing>
 841                     </child>
 842                     <child>
 843                       <object class="GtkEntry" id="dest-name-entry">
 844                         <property name="visible">True</property>
 845                         <property name="can_focus">True</property>
 846                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 847                       </object>
 848                       <packing>
 849                         <property name="position">1</property>
 850                       </packing>
 851                     </child>
 852                     <child>
 853                       <object class="GtkLabel" id="label21">
 854                         <property name="visible">True</property>
 855                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 856                         <property name="xalign">0</property>
 857                         <property name="label" translatable="yes">Label:</property>
 858                       </object>
 859                       <packing>
 860                         <property name="position">2</property>
 861                       </packing>
 862                     </child>
 863                     <child>
 864                       <object class="GtkEntry" id="dest-label-entry">
 865                         <property name="visible">True</property>
 866                         <property name="can_focus">True</property>
 867                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 868                       </object>
 869                       <packing>
 870                         <property name="position">3</property>
 871                       </packing>
 872                     </child>
 873                     <child>
 874                       <object class="GtkHButtonBox" id="hbuttonbox3">
 875                         <property name="visible">True</property>
 876                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 877                         <child>
 878                           <object class="GtkButton" id="change-button">
 879                             <property name="label" translatable="yes">Change</property>
 880                             <property name="visible">True</property>
 881                             <property name="can_focus">True</property>
 882                             <property name="receives_default">True</property>
 883                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 884                           </object>
 885                           <packing>
 886                             <property name="expand">False</property>
 887                             <property name="fill">False</property>
 888                             <property name="position">0</property>
 889                           </packing>
 890                         </child>
 891                       </object>
 892                       <packing>
 893                         <property name="padding">5</property>
 894                         <property name="position">4</property>
 895                       </packing>
 896                     </child>
 897                   </object>
 898                 </child>
 899               </object>
 900             </child>
 901             <child type="label">
 902               <object class="GtkLabel" id="label19">
 903                 <property name="visible">True</property>
 904                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 905                 <property name="label" translatable="yes">Output Variable</property>
 906                 <property name="use_markup">True</property>
 907               </object>
 908             </child>
 909           </object>
 910           <packing>
 911             <property name="left_attach">3</property>
 912             <property name="right_attach">4</property>
 913             <property name="top_attach">1</property>
 914             <property name="bottom_attach">2</property>
 915           </packing>
 916         </child>
 917         <child>
 918           <object class="GtkVBox" id="vbox4">
 919             <property name="visible">True</property>
 920             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 921             <property name="orientation">vertical</property>
 922             <property name="spacing">5</property>
 923             <child>
 924               <object class="GtkFrame" id="frame3">
 925                 <property name="visible">True</property>
 926                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 927                 <property name="label_xalign">0</property>
 928                 <property name="shadow_type">none</property>
 929                 <child>
 930                   <object class="GtkAlignment" id="alignment4">
 931                     <property name="visible">True</property>
 932                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 933                     <property name="left_padding">12</property>
 934                     <child>
 935                       <object class="GtkScrolledWindow" id="scrolledwindow1">
 936                         <property name="visible">True</property>
 937                         <property name="can_focus">True</property>
 938                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 939                         <property name="hscrollbar_policy">never</property>
 940                         <property name="vscrollbar_policy">automatic</property>
 941                         <property name="shadow_type">etched-in</property>
 942                         <child>
 943                           <object class="GtkTreeView" id="treeview2">
 944                             <property name="visible">True</property>
 945                             <property name="can_focus">True</property>
 946                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 947                             <property name="headers_visible">False</property>
 948                           </object>
 949                         </child>
 950                       </object>
 951                     </child>
 952                   </object>
 953                 </child>
 954                 <child type="label">
 955                   <object class="GtkLabel" id="label17">
 956                     <property name="visible">True</property>
 957                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 958                     <property name="label" translatable="yes">Variables:</property>
 959                     <property name="use_markup">True</property>
 960                   </object>
 961                 </child>
 962               </object>
 963               <packing>
 964                 <property name="position">0</property>
 965               </packing>
 966             </child>
 967             <child>
 968               <object class="GtkAlignment" id="alignment5">
 969                 <property name="visible">True</property>
 970                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 971                 <property name="xalign">0</property>
 972                 <property name="xscale">0</property>
 973                 <child>
 974                   <object class="GtkHButtonBox" id="hbuttonbox1">
 975                     <property name="visible">True</property>
 976                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 977                     <child>
 978                       <object class="GtkButton" id="button1">
 979                         <property name="label" translatable="yes">Old and New Values</property>
 980                         <property name="visible">True</property>
 981                         <property name="can_focus">True</property>
 982                         <property name="receives_default">True</property>
 983                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 984                       </object>
 985                       <packing>
 986                         <property name="expand">False</property>
 987                         <property name="fill">False</property>
 988                         <property name="position">0</property>
 989                       </packing>
 990                     </child>
 991                   </object>
 992                 </child>
 993               </object>
 994               <packing>
 995                 <property name="expand">False</property>
 996                 <property name="fill">False</property>
 997                 <property name="position">1</property>
 998               </packing>
 999             </child>
1000           </object>
1001           <packing>
1002             <property name="left_attach">2</property>
1003             <property name="right_attach">3</property>
1004             <property name="bottom_attach">2</property>
1005           </packing>
1006         </child>
1007       </object>
1008     </child>
1009   </object>
1010   <object class="GtkAdjustment" id="adjustment1">
1011     <property name="value">8</property>
1012     <property name="lower">1</property>
1013     <property name="upper">255</property>
1014     <property name="step_increment">1</property>
1015     <property name="page_increment">8</property>
1016   </object>
1017 </interface>