src/obconf.glade

   1 <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
   2 <!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
   3
   4 <glade-interface>
   5
   6 <widget class="GtkWindow" id="main_window">
   7   <property name="border_width">13</property>
   8   <property name="title" translatable="yes">Openbox Configuration Manager</property>
   9   <property name="type">GTK_WINDOW_TOPLEVEL</property>
  10   <property name="window_position">GTK_WIN_POS_NONE</property>
  11   <property name="modal">False</property>
  12   <property name="resizable">True</property>
  13   <property name="destroy_with_parent">False</property>
  14   <property name="decorated">True</property>
  15   <property name="skip_taskbar_hint">False</property>
  16   <property name="skip_pager_hint">False</property>
  17   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
  18   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
  19   <property name="focus_on_map">True</property>
  20   <property name="urgency_hint">False</property>
  21   <signal name="delete_event" handler="on_main_window_delete_event" last_modification_time="Sun, 07 Sep 2003 21:10:11 GMT"/>
  22
  23   <child>
  24     <widget class="GtkVBox" id="vbox8">
  25       <property name="visible">True</property>
  26       <property name="homogeneous">False</property>
  27       <property name="spacing">12</property>
  28
  29       <child>
  30         <widget class="GtkNotebook" id="notebook1">
  31           <property name="visible">True</property>
  32           <property name="can_focus">True</property>
  33           <property name="show_tabs">True</property>
  34           <property name="show_border">True</property>
  35           <property name="tab_pos">GTK_POS_TOP</property>
  36           <property name="scrollable">False</property>
  37           <property name="enable_popup">False</property>
  38
  39           <child>
  40             <widget class="GtkVBox" id="vbox20">
  41               <property name="border_width">12</property>
  42               <property name="visible">True</property>
  43               <property name="homogeneous">False</property>
  44               <property name="spacing">6</property>
  45
  46               <child>
  47                 <widget class="GtkVBox" id="vbox21">
  48                   <property name="visible">True</property>
  49                   <property name="homogeneous">False</property>
  50                   <property name="spacing">6</property>
  51
  52                   <child>
  53                     <widget class="GtkLabel" id="label59">
  54                       <property name="visible">True</property>
  55                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Theme&lt;/span&gt;</property>
  56                       <property name="use_underline">False</property>
  57                       <property name="use_markup">True</property>
  58                       <property name="justify">GTK_JUSTIFY_LEFT</property>
  59                       <property name="wrap">False</property>
  60                       <property name="selectable">False</property>
  61                       <property name="xalign">0</property>
  62                       <property name="yalign">0.5</property>
  63                       <property name="xpad">0</property>
  64                       <property name="ypad">0</property>
  65                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  66                       <property name="width_chars">-1</property>
  67                       <property name="single_line_mode">False</property>
  68                       <property name="angle">0</property>
  69                     </widget>
  70                     <packing>
  71                       <property name="padding">0</property>
  72                       <property name="expand">False</property>
  73                       <property name="fill">False</property>
  74                     </packing>
  75                   </child>
  76
  77                   <child>
  78                     <widget class="GtkHBox" id="hbox29">
  79                       <property name="visible">True</property>
  80                       <property name="homogeneous">False</property>
  81                       <property name="spacing">0</property>
  82
  83                       <child>
  84                         <widget class="GtkLabel" id="label60">
  85                           <property name="visible">True</property>
  86                           <property name="label" translatable="yes">    </property>
  87                           <property name="use_underline">False</property>
  88                           <property name="use_markup">False</property>
  89                           <property name="justify">GTK_JUSTIFY_LEFT</property>
  90                           <property name="wrap">False</property>
  91                           <property name="selectable">False</property>
  92                           <property name="xalign">0.5</property>
  93                           <property name="yalign">0.5</property>
  94                           <property name="xpad">0</property>
  95                           <property name="ypad">0</property>
  96                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  97                           <property name="width_chars">-1</property>
  98                           <property name="single_line_mode">False</property>
  99                           <property name="angle">0</property>
 100                         </widget>
 101                         <packing>
 102                           <property name="padding">0</property>
 103                           <property name="expand">False</property>
 104                           <property name="fill">False</property>
 105                         </packing>
 106                       </child>
 107
 108                       <child>
 109                         <widget class="GtkVBox" id="vbox22">
 110                           <property name="visible">True</property>
 111                           <property name="homogeneous">False</property>
 112                           <property name="spacing">6</property>
 113
 114                           <child>
 115                             <widget class="GtkScrolledWindow" id="scrolledwindow3">
 116                               <property name="visible">True</property>
 117                               <property name="can_focus">True</property>
 118                               <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
 119                               <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 120                               <property name="shadow_type">GTK_SHADOW_IN</property>
 121                               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 122
 123                               <child>
 124                                 <widget class="GtkTreeView" id="theme_names">
 125                                   <property name="visible">True</property>
 126                                   <property name="can_focus">True</property>
 127                                   <property name="headers_visible">False</property>
 128                                   <property name="rules_hint">False</property>
 129                                   <property name="reorderable">False</property>
 130                                   <property name="enable_search">True</property>
 131                                   <property name="fixed_height_mode">False</property>
 132                                   <property name="hover_selection">False</property>
 133                                   <property name="hover_expand">False</property>
 134                                 </widget>
 135                               </child>
 136                             </widget>
 137                             <packing>
 138                               <property name="padding">0</property>
 139                               <property name="expand">True</property>
 140                               <property name="fill">True</property>
 141                             </packing>
 142                           </child>
 143                         </widget>
 144                         <packing>
 145                           <property name="padding">0</property>
 146                           <property name="expand">True</property>
 147                           <property name="fill">True</property>
 148                         </packing>
 149                       </child>
 150                     </widget>
 151                     <packing>
 152                       <property name="padding">0</property>
 153                       <property name="expand">True</property>
 154                       <property name="fill">True</property>
 155                     </packing>
 156                   </child>
 157                 </widget>
 158                 <packing>
 159                   <property name="padding">0</property>
 160                   <property name="expand">True</property>
 161                   <property name="fill">True</property>
 162                 </packing>
 163               </child>
 164
 165               <child>
 166                 <widget class="GtkVBox" id="vbox41">
 167                   <property name="visible">True</property>
 168                   <property name="homogeneous">False</property>
 169                   <property name="spacing">0</property>
 170
 171                   <child>
 172                     <widget class="GtkButton" id="install_theme">
 173                       <property name="visible">True</property>
 174                       <property name="can_focus">True</property>
 175                       <property name="relief">GTK_RELIEF_NORMAL</property>
 176                       <property name="focus_on_click">True</property>
 177                       <signal name="clicked" handler="on_install_theme_clicked" last_modification_time="Tue, 29 May 2007 21:35:26 GMT"/>
 178
 179                       <child>
 180                         <widget class="GtkAlignment" id="alignment1">
 181                           <property name="visible">True</property>
 182                           <property name="xalign">0</property>
 183                           <property name="yalign">0.5</property>
 184                           <property name="xscale">0</property>
 185                           <property name="yscale">0</property>
 186                           <property name="top_padding">0</property>
 187                           <property name="bottom_padding">0</property>
 188                           <property name="left_padding">0</property>
 189                           <property name="right_padding">0</property>
 190
 191                           <child>
 192                             <widget class="GtkHBox" id="hbox53">
 193                               <property name="visible">True</property>
 194                               <property name="homogeneous">False</property>
 195                               <property name="spacing">2</property>
 196
 197                               <child>
 198                                 <widget class="GtkImage" id="image1">
 199                                   <property name="visible">True</property>
 200                                   <property name="stock">gtk-open</property>
 201                                   <property name="icon_size">4</property>
 202                                   <property name="xalign">0.5</property>
 203                                   <property name="yalign">0.5</property>
 204                                   <property name="xpad">0</property>
 205                                   <property name="ypad">0</property>
 206                                 </widget>
 207                                 <packing>
 208                                   <property name="padding">0</property>
 209                                   <property name="expand">False</property>
 210                                   <property name="fill">False</property>
 211                                 </packing>
 212                               </child>
 213
 214                               <child>
 215                                 <widget class="GtkLabel" id="label103">
 216                                   <property name="visible">True</property>
 217                                   <property name="label" translatable="yes">_Install a new theme...</property>
 218                                   <property name="use_underline">True</property>
 219                                   <property name="use_markup">False</property>
 220                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 221                                   <property name="wrap">False</property>
 222                                   <property name="selectable">False</property>
 223                                   <property name="xalign">0.5</property>
 224                                   <property name="yalign">0.5</property>
 225                                   <property name="xpad">0</property>
 226                                   <property name="ypad">0</property>
 227                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 228                                   <property name="width_chars">-1</property>
 229                                   <property name="single_line_mode">False</property>
 230                                   <property name="angle">0</property>
 231                                 </widget>
 232                                 <packing>
 233                                   <property name="padding">0</property>
 234                                   <property name="expand">False</property>
 235                                   <property name="fill">False</property>
 236                                 </packing>
 237                               </child>
 238                             </widget>
 239                           </child>
 240                         </widget>
 241                       </child>
 242                     </widget>
 243                     <packing>
 244                       <property name="padding">0</property>
 245                       <property name="expand">False</property>
 246                       <property name="fill">False</property>
 247                     </packing>
 248                   </child>
 249                 </widget>
 250                 <packing>
 251                   <property name="padding">0</property>
 252                   <property name="expand">False</property>
 253                   <property name="fill">True</property>
 254                 </packing>
 255               </child>
 256
 257               <child>
 258                 <widget class="GtkVBox" id="vbox42">
 259                   <property name="visible">True</property>
 260                   <property name="homogeneous">False</property>
 261                   <property name="spacing">0</property>
 262
 263                   <child>
 264                     <widget class="GtkButton" id="theme_archive">
 265                       <property name="visible">True</property>
 266                       <property name="can_focus">True</property>
 267                       <property name="relief">GTK_RELIEF_NORMAL</property>
 268                       <property name="focus_on_click">True</property>
 269                       <signal name="clicked" handler="on_theme_archive_clicked" last_modification_time="Wed, 30 May 2007 00:08:47 GMT"/>
 270
 271                       <child>
 272                         <widget class="GtkAlignment" id="alignment2">
 273                           <property name="visible">True</property>
 274                           <property name="xalign">0</property>
 275                           <property name="yalign">0.5</property>
 276                           <property name="xscale">0</property>
 277                           <property name="yscale">0</property>
 278                           <property name="top_padding">0</property>
 279                           <property name="bottom_padding">0</property>
 280                           <property name="left_padding">0</property>
 281                           <property name="right_padding">0</property>
 282
 283                           <child>
 284                             <widget class="GtkHBox" id="hbox55">
 285                               <property name="visible">True</property>
 286                               <property name="homogeneous">False</property>
 287                               <property name="spacing">2</property>
 288
 289                               <child>
 290                                 <widget class="GtkImage" id="image2">
 291                                   <property name="visible">True</property>
 292                                   <property name="stock">gtk-save</property>
 293                                   <property name="icon_size">4</property>
 294                                   <property name="xalign">0.5</property>
 295                                   <property name="yalign">0.5</property>
 296                                   <property name="xpad">0</property>
 297                                   <property name="ypad">0</property>
 298                                 </widget>
 299                                 <packing>
 300                                   <property name="padding">0</property>
 301                                   <property name="expand">False</property>
 302                                   <property name="fill">False</property>
 303                                 </packing>
 304                               </child>
 305
 306                               <child>
 307                                 <widget class="GtkLabel" id="label106">
 308                                   <property name="visible">True</property>
 309                                   <property name="label" translatable="yes">_Create a theme archive (.obt)...</property>
 310                                   <property name="use_underline">True</property>
 311                                   <property name="use_markup">False</property>
 312                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 313                                   <property name="wrap">False</property>
 314                                   <property name="selectable">False</property>
 315                                   <property name="xalign">0.5</property>
 316                                   <property name="yalign">0.5</property>
 317                                   <property name="xpad">0</property>
 318                                   <property name="ypad">0</property>
 319                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 320                                   <property name="width_chars">-1</property>
 321                                   <property name="single_line_mode">False</property>
 322                                   <property name="angle">0</property>
 323                                 </widget>
 324                                 <packing>
 325                                   <property name="padding">0</property>
 326                                   <property name="expand">False</property>
 327                                   <property name="fill">False</property>
 328                                 </packing>
 329                               </child>
 330                             </widget>
 331                           </child>
 332                         </widget>
 333                       </child>
 334                     </widget>
 335                     <packing>
 336                       <property name="padding">0</property>
 337                       <property name="expand">False</property>
 338                       <property name="fill">False</property>
 339                     </packing>
 340                   </child>
 341                 </widget>
 342                 <packing>
 343                   <property name="padding">0</property>
 344                   <property name="expand">False</property>
 345                   <property name="fill">True</property>
 346                 </packing>
 347               </child>
 348             </widget>
 349             <packing>
 350               <property name="tab_expand">False</property>
 351               <property name="tab_fill">True</property>
 352             </packing>
 353           </child>
 354
 355           <child>
 356             <widget class="GtkLabel" id="label3">
 357               <property name="visible">True</property>
 358               <property name="label" translatable="yes">Theme</property>
 359               <property name="use_underline">False</property>
 360               <property name="use_markup">False</property>
 361               <property name="justify">GTK_JUSTIFY_LEFT</property>
 362               <property name="wrap">False</property>
 363               <property name="selectable">False</property>
 364               <property name="xalign">0.5</property>
 365               <property name="yalign">0.5</property>
 366               <property name="xpad">0</property>
 367               <property name="ypad">0</property>
 368               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 369               <property name="width_chars">-1</property>
 370               <property name="single_line_mode">False</property>
 371               <property name="angle">0</property>
 372             </widget>
 373             <packing>
 374               <property name="type">tab</property>
 375             </packing>
 376           </child>
 377
 378           <child>
 379             <widget class="GtkVBox" id="vbox36">
 380               <property name="border_width">12</property>
 381               <property name="visible">True</property>
 382               <property name="homogeneous">False</property>
 383               <property name="spacing">18</property>
 384
 385               <child>
 386                 <widget class="GtkVBox" id="vbox40">
 387                   <property name="visible">True</property>
 388                   <property name="homogeneous">False</property>
 389                   <property name="spacing">6</property>
 390
 391                   <child>
 392                     <widget class="GtkLabel" id="label99">
 393                       <property name="visible">True</property>
 394                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Windows&lt;/span&gt;</property>
 395                       <property name="use_underline">False</property>
 396                       <property name="use_markup">True</property>
 397                       <property name="justify">GTK_JUSTIFY_LEFT</property>
 398                       <property name="wrap">False</property>
 399                       <property name="selectable">False</property>
 400                       <property name="xalign">0</property>
 401                       <property name="yalign">0.5</property>
 402                       <property name="xpad">0</property>
 403                       <property name="ypad">0</property>
 404                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 405                       <property name="width_chars">-1</property>
 406                       <property name="single_line_mode">False</property>
 407                       <property name="angle">0</property>
 408                     </widget>
 409                     <packing>
 410                       <property name="padding">0</property>
 411                       <property name="expand">False</property>
 412                       <property name="fill">False</property>
 413                     </packing>
 414                   </child>
 415
 416                   <child>
 417                     <widget class="GtkHBox" id="hbox50">
 418                       <property name="visible">True</property>
 419                       <property name="homogeneous">False</property>
 420                       <property name="spacing">0</property>
 421
 422                       <child>
 423                         <widget class="GtkLabel" id="label100">
 424                           <property name="visible">True</property>
 425                           <property name="label" translatable="yes">    </property>
 426                           <property name="use_underline">False</property>
 427                           <property name="use_markup">False</property>
 428                           <property name="justify">GTK_JUSTIFY_LEFT</property>
 429                           <property name="wrap">False</property>
 430                           <property name="selectable">False</property>
 431                           <property name="xalign">0.5</property>
 432                           <property name="yalign">0.5</property>
 433                           <property name="xpad">0</property>
 434                           <property name="ypad">0</property>
 435                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 436                           <property name="width_chars">-1</property>
 437                           <property name="single_line_mode">False</property>
 438                           <property name="angle">0</property>
 439                         </widget>
 440                         <packing>
 441                           <property name="padding">0</property>
 442                           <property name="expand">False</property>
 443                           <property name="fill">False</property>
 444                         </packing>
 445                       </child>
 446
 447                       <child>
 448                         <widget class="GtkHBox" id="hbox51">
 449                           <property name="visible">True</property>
 450                           <property name="homogeneous">False</property>
 451                           <property name="spacing">0</property>
 452
 453                           <child>
 454                             <widget class="GtkCheckButton" id="window_border">
 455                               <property name="visible">True</property>
 456                               <property name="can_focus">True</property>
 457                               <property name="label" translatable="yes">_Windows retain a border when undecorated</property>
 458                               <property name="use_underline">True</property>
 459                               <property name="relief">GTK_RELIEF_NORMAL</property>
 460                               <property name="focus_on_click">True</property>
 461                               <property name="active">False</property>
 462                               <property name="inconsistent">False</property>
 463                               <property name="draw_indicator">True</property>
 464                               <signal name="toggled" handler="on_window_border_toggled" after="yes" last_modification_time="Fri, 25 May 2007 16:03:01 GMT"/>
 465                             </widget>
 466                             <packing>
 467                               <property name="padding">0</property>
 468                               <property name="expand">False</property>
 469                               <property name="fill">False</property>
 470                             </packing>
 471                           </child>
 472                         </widget>
 473                         <packing>
 474                           <property name="padding">0</property>
 475                           <property name="expand">True</property>
 476                           <property name="fill">True</property>
 477                         </packing>
 478                       </child>
 479                     </widget>
 480                     <packing>
 481                       <property name="padding">0</property>
 482                       <property name="expand">False</property>
 483                       <property name="fill">True</property>
 484                     </packing>
 485                   </child>
 486                 </widget>
 487                 <packing>
 488                   <property name="padding">0</property>
 489                   <property name="expand">False</property>
 490                   <property name="fill">True</property>
 491                 </packing>
 492               </child>
 493
 494               <child>
 495                 <widget class="GtkVBox" id="vbox38">
 496                   <property name="visible">True</property>
 497                   <property name="homogeneous">False</property>
 498                   <property name="spacing">6</property>
 499
 500                   <child>
 501                     <widget class="GtkLabel" id="label88">
 502                       <property name="visible">True</property>
 503                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Window Titles&lt;/span&gt;</property>
 504                       <property name="use_underline">False</property>
 505                       <property name="use_markup">True</property>
 506                       <property name="justify">GTK_JUSTIFY_LEFT</property>
 507                       <property name="wrap">False</property>
 508                       <property name="selectable">False</property>
 509                       <property name="xalign">0</property>
 510                       <property name="yalign">0.5</property>
 511                       <property name="xpad">0</property>
 512                       <property name="ypad">0</property>
 513                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 514                       <property name="width_chars">-1</property>
 515                       <property name="single_line_mode">False</property>
 516                       <property name="angle">0</property>
 517                     </widget>
 518                     <packing>
 519                       <property name="padding">0</property>
 520                       <property name="expand">False</property>
 521                       <property name="fill">False</property>
 522                     </packing>
 523                   </child>
 524
 525                   <child>
 526                     <widget class="GtkHBox" id="hbox43">
 527                       <property name="visible">True</property>
 528                       <property name="homogeneous">False</property>
 529                       <property name="spacing">0</property>
 530
 531                       <child>
 532                         <widget class="GtkLabel" id="label89">
 533                           <property name="visible">True</property>
 534                           <property name="label" translatable="yes">    </property>
 535                           <property name="use_underline">False</property>
 536                           <property name="use_markup">False</property>
 537                           <property name="justify">GTK_JUSTIFY_LEFT</property>
 538                           <property name="wrap">False</property>
 539                           <property name="selectable">False</property>
 540                           <property name="xalign">0.5</property>
 541                           <property name="yalign">0.5</property>
 542                           <property name="xpad">0</property>
 543                           <property name="ypad">0</property>
 544                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 545                           <property name="width_chars">-1</property>
 546                           <property name="single_line_mode">False</property>
 547                           <property name="angle">0</property>
 548                         </widget>
 549                         <packing>
 550                           <property name="padding">0</property>
 551                           <property name="expand">False</property>
 552                           <property name="fill">False</property>
 553                         </packing>
 554                       </child>
 555
 556                       <child>
 557                         <widget class="GtkHBox" id="hbox44">
 558                           <property name="visible">True</property>
 559                           <property name="homogeneous">False</property>
 560                           <property name="spacing">6</property>
 561
 562                           <child>
 563                             <widget class="GtkLabel" id="label90">
 564                               <property name="visible">True</property>
 565                               <property name="label" translatable="yes">_Button order:</property>
 566                               <property name="use_underline">True</property>
 567                               <property name="use_markup">False</property>
 568                               <property name="justify">GTK_JUSTIFY_LEFT</property>
 569                               <property name="wrap">False</property>
 570                               <property name="selectable">False</property>
 571                               <property name="xalign">0.5</property>
 572                               <property name="yalign">0.5</property>
 573                               <property name="xpad">0</property>
 574                               <property name="ypad">0</property>
 575                               <property name="mnemonic_widget">title_layout</property>
 576                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 577                               <property name="width_chars">-1</property>
 578                               <property name="single_line_mode">False</property>
 579                               <property name="angle">0</property>
 580                             </widget>
 581                             <packing>
 582                               <property name="padding">0</property>
 583                               <property name="expand">False</property>
 584                               <property name="fill">False</property>
 585                             </packing>
 586                           </child>
 587
 588                           <child>
 589                             <widget class="GtkEntry" id="title_layout">
 590                               <property name="visible">True</property>
 591                               <property name="tooltip" translatable="yes">N - The window's icon
 592 D - The all-desktops (sticky) button
 593 S - The shade (roll up) button
 594 L - The label (window title)
 595 I - The iconify (minimize) button
 596 M - The maximize button
 597 C - The close button</property>
 598                               <property name="can_focus">True</property>
 599                               <property name="editable">True</property>
 600                               <property name="visibility">True</property>
 601                               <property name="max_length">0</property>
 602                               <property name="text" translatable="yes"></property>
 603                               <property name="has_frame">True</property>
 604                               <property name="invisible_char">*</property>
 605                               <property name="activates_default">False</property>
 606                               <signal name="changed" handler="on_title_layout_changed" after="yes" last_modification_time="Fri, 25 May 2007 16:02:40 GMT"/>
 607                             </widget>
 608                             <packing>
 609                               <property name="padding">0</property>
 610                               <property name="expand">True</property>
 611                               <property name="fill">True</property>
 612                             </packing>
 613                           </child>
 614                         </widget>
 615                         <packing>
 616                           <property name="padding">0</property>
 617                           <property name="expand">True</property>
 618                           <property name="fill">True</property>
 619                         </packing>
 620                       </child>
 621                     </widget>
 622                     <packing>
 623                       <property name="padding">0</property>
 624                       <property name="expand">True</property>
 625                       <property name="fill">True</property>
 626                     </packing>
 627                   </child>
 628                 </widget>
 629                 <packing>
 630                   <property name="padding">0</property>
 631                   <property name="expand">False</property>
 632                   <property name="fill">True</property>
 633                 </packing>
 634               </child>
 635
 636               <child>
 637                 <widget class="GtkVBox" id="vbox39">
 638                   <property name="visible">True</property>
 639                   <property name="homogeneous">False</property>
 640                   <property name="spacing">6</property>
 641
 642                   <child>
 643                     <widget class="GtkLabel" id="label91">
 644                       <property name="visible">True</property>
 645                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Fonts&lt;/span&gt;</property>
 646                       <property name="use_underline">False</property>
 647                       <property name="use_markup">True</property>
 648                       <property name="justify">GTK_JUSTIFY_LEFT</property>
 649                       <property name="wrap">False</property>
 650                       <property name="selectable">False</property>
 651                       <property name="xalign">0</property>
 652                       <property name="yalign">0.5</property>
 653                       <property name="xpad">0</property>
 654                       <property name="ypad">0</property>
 655                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 656                       <property name="width_chars">-1</property>
 657                       <property name="single_line_mode">False</property>
 658                       <property name="angle">0</property>
 659                     </widget>
 660                     <packing>
 661                       <property name="padding">0</property>
 662                       <property name="expand">False</property>
 663                       <property name="fill">False</property>
 664                     </packing>
 665                   </child>
 666
 667                   <child>
 668                     <widget class="GtkHBox" id="hbox45">
 669                       <property name="visible">True</property>
 670                       <property name="homogeneous">False</property>
 671                       <property name="spacing">0</property>
 672
 673                       <child>
 674                         <widget class="GtkLabel" id="label92">
 675                           <property name="visible">True</property>
 676                           <property name="label" translatable="yes">    </property>
 677                           <property name="use_underline">False</property>
 678                           <property name="use_markup">False</property>
 679                           <property name="justify">GTK_JUSTIFY_LEFT</property>
 680                           <property name="wrap">False</property>
 681                           <property name="selectable">False</property>
 682                           <property name="xalign">0.5</property>
 683                           <property name="yalign">0.5</property>
 684                           <property name="xpad">0</property>
 685                           <property name="ypad">0</property>
 686                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 687                           <property name="width_chars">-1</property>
 688                           <property name="single_line_mode">False</property>
 689                           <property name="angle">0</property>
 690                         </widget>
 691                         <packing>
 692                           <property name="padding">0</property>
 693                           <property name="expand">False</property>
 694                           <property name="fill">False</property>
 695                         </packing>
 696                       </child>
 697
 698                       <child>
 699                         <widget class="GtkTable" id="table1">
 700                           <property name="visible">True</property>
 701                           <property name="n_rows">5</property>
 702                           <property name="n_columns">2</property>
 703                           <property name="homogeneous">False</property>
 704                           <property name="row_spacing">3</property>
 705                           <property name="column_spacing">0</property>
 706
 707                           <child>
 708                             <widget class="GtkFontButton" id="font_inactive">
 709                               <property name="visible">True</property>
 710                               <property name="can_focus">True</property>
 711                               <property name="show_style">True</property>
 712                               <property name="show_size">True</property>
 713                               <property name="use_font">True</property>
 714                               <property name="use_size">False</property>
 715                               <property name="focus_on_click">True</property>
 716                               <signal name="font_set" handler="on_font_inactive_font_set" last_modification_time="Fri, 25 May 2007 16:03:13 GMT"/>
 717                             </widget>
 718                             <packing>
 719                               <property name="left_attach">1</property>
 720                               <property name="right_attach">2</property>
 721                               <property name="top_attach">1</property>
 722                               <property name="bottom_attach">2</property>
 723                               <property name="x_options">fill</property>
 724                               <property name="y_options"></property>
 725                             </packing>
 726                           </child>
 727
 728                           <child>
 729                             <widget class="GtkFontButton" id="font_menu_header">
 730                               <property name="visible">True</property>
 731                               <property name="can_focus">True</property>
 732                               <property name="show_style">True</property>
 733                               <property name="show_size">True</property>
 734                               <property name="use_font">True</property>
 735                               <property name="use_size">False</property>
 736                               <property name="focus_on_click">True</property>
 737                               <signal name="font_set" handler="on_font_menu_header_font_set" last_modification_time="Fri, 25 May 2007 16:03:17 GMT"/>
 738                             </widget>
 739                             <packing>
 740                               <property name="left_attach">1</property>
 741                               <property name="right_attach">2</property>
 742                               <property name="top_attach">2</property>
 743                               <property name="bottom_attach">3</property>
 744                               <property name="x_options">fill</property>
 745                               <property name="y_options"></property>
 746                             </packing>
 747                           </child>
 748
 749                           <child>
 750                             <widget class="GtkFontButton" id="font_menu_item">
 751                               <property name="visible">True</property>
 752                               <property name="can_focus">True</property>
 753                               <property name="show_style">True</property>
 754                               <property name="show_size">True</property>
 755                               <property name="use_font">True</property>
 756                               <property name="use_size">False</property>
 757                               <property name="focus_on_click">True</property>
 758                               <signal name="font_set" handler="on_font_menu_item_font_set" last_modification_time="Fri, 25 May 2007 16:03:20 GMT"/>
 759                             </widget>
 760                             <packing>
 761                               <property name="left_attach">1</property>
 762                               <property name="right_attach">2</property>
 763                               <property name="top_attach">3</property>
 764                               <property name="bottom_attach">4</property>
 765                               <property name="x_options">fill</property>
 766                               <property name="y_options"></property>
 767                             </packing>
 768                           </child>
 769
 770                           <child>
 771                             <widget class="GtkFontButton" id="font_display">
 772                               <property name="visible">True</property>
 773                               <property name="can_focus">True</property>
 774                               <property name="show_style">True</property>
 775                               <property name="show_size">True</property>
 776                               <property name="use_font">True</property>
 777                               <property name="use_size">False</property>
 778                               <property name="focus_on_click">True</property>
 779                               <signal name="font_set" handler="on_font_display_font_set" last_modification_time="Fri, 25 May 2007 16:03:23 GMT"/>
 780                             </widget>
 781                             <packing>
 782                               <property name="left_attach">1</property>
 783                               <property name="right_attach">2</property>
 784                               <property name="top_attach">4</property>
 785                               <property name="bottom_attach">5</property>
 786                               <property name="x_options">fill</property>
 787                               <property name="y_options"></property>
 788                             </packing>
 789                           </child>
 790
 791                           <child>
 792                             <widget class="GtkLabel" id="label94">
 793                               <property name="visible">True</property>
 794                               <property name="label" translatable="yes">_Active window title: </property>
 795                               <property name="use_underline">True</property>
 796                               <property name="use_markup">False</property>
 797                               <property name="justify">GTK_JUSTIFY_LEFT</property>
 798                               <property name="wrap">False</property>
 799                               <property name="selectable">False</property>
 800                               <property name="xalign">1</property>
 801                               <property name="yalign">0.5</property>
 802                               <property name="xpad">0</property>
 803                               <property name="ypad">0</property>
 804                               <property name="mnemonic_widget">font_active</property>
 805                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 806                               <property name="width_chars">-1</property>
 807                               <property name="single_line_mode">False</property>
 808                               <property name="angle">0</property>
 809                             </widget>
 810                             <packing>
 811                               <property name="left_attach">0</property>
 812                               <property name="right_attach">1</property>
 813                               <property name="top_attach">0</property>
 814                               <property name="bottom_attach">1</property>
 815                               <property name="x_options">fill</property>
 816                               <property name="y_options"></property>
 817                             </packing>
 818                           </child>
 819
 820                           <child>
 821                             <widget class="GtkLabel" id="label95">
 822                               <property name="visible">True</property>
 823                               <property name="label" translatable="yes">_Inactive window title: </property>
 824                               <property name="use_underline">True</property>
 825                               <property name="use_markup">False</property>
 826                               <property name="justify">GTK_JUSTIFY_LEFT</property>
 827                               <property name="wrap">False</property>
 828                               <property name="selectable">False</property>
 829                               <property name="xalign">1</property>
 830                               <property name="yalign">0.5</property>
 831                               <property name="xpad">0</property>
 832                               <property name="ypad">0</property>
 833                               <property name="mnemonic_widget">font_inactive</property>
 834                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 835                               <property name="width_chars">-1</property>
 836                               <property name="single_line_mode">False</property>
 837                               <property name="angle">0</property>
 838                             </widget>
 839                             <packing>
 840                               <property name="left_attach">0</property>
 841                               <property name="right_attach">1</property>
 842                               <property name="top_attach">1</property>
 843                               <property name="bottom_attach">2</property>
 844                               <property name="x_options">fill</property>
 845                               <property name="y_options"></property>
 846                             </packing>
 847                           </child>
 848
 849                           <child>
 850                             <widget class="GtkLabel" id="label96">
 851                               <property name="visible">True</property>
 852                               <property name="label" translatable="yes">Menu _header: </property>
 853                               <property name="use_underline">True</property>
 854                               <property name="use_markup">False</property>
 855                               <property name="justify">GTK_JUSTIFY_LEFT</property>
 856                               <property name="wrap">False</property>
 857                               <property name="selectable">False</property>
 858                               <property name="xalign">1</property>
 859                               <property name="yalign">0.5</property>
 860                               <property name="xpad">0</property>
 861                               <property name="ypad">0</property>
 862                               <property name="mnemonic_widget">font_menu_header</property>
 863                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 864                               <property name="width_chars">-1</property>
 865                               <property name="single_line_mode">False</property>
 866                               <property name="angle">0</property>
 867                             </widget>
 868                             <packing>
 869                               <property name="left_attach">0</property>
 870                               <property name="right_attach">1</property>
 871                               <property name="top_attach">2</property>
 872                               <property name="bottom_attach">3</property>
 873                               <property name="x_options">fill</property>
 874                               <property name="y_options"></property>
 875                             </packing>
 876                           </child>
 877
 878                           <child>
 879                             <widget class="GtkLabel" id="label97">
 880                               <property name="visible">True</property>
 881                               <property name="label" translatable="yes">_Menu Item: </property>
 882                               <property name="use_underline">True</property>
 883                               <property name="use_markup">False</property>
 884                               <property name="justify">GTK_JUSTIFY_LEFT</property>
 885                               <property name="wrap">False</property>
 886                               <property name="selectable">False</property>
 887                               <property name="xalign">1</property>
 888                               <property name="yalign">0.5</property>
 889                               <property name="xpad">0</property>
 890                               <property name="ypad">0</property>
 891                               <property name="mnemonic_widget">font_menu_item</property>
 892                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 893                               <property name="width_chars">-1</property>
 894                               <property name="single_line_mode">False</property>
 895                               <property name="angle">0</property>
 896                             </widget>
 897                             <packing>
 898                               <property name="left_attach">0</property>
 899                               <property name="right_attach">1</property>
 900                               <property name="top_attach">3</property>
 901                               <property name="bottom_attach">4</property>
 902                               <property name="x_options">fill</property>
 903                               <property name="y_options"></property>
 904                             </packing>
 905                           </child>
 906
 907                           <child>
 908                             <widget class="GtkLabel" id="label98">
 909                               <property name="visible">True</property>
 910                               <property name="label" translatable="yes">_On-screen display: </property>
 911                               <property name="use_underline">True</property>
 912                               <property name="use_markup">False</property>
 913                               <property name="justify">GTK_JUSTIFY_LEFT</property>
 914                               <property name="wrap">False</property>
 915                               <property name="selectable">False</property>
 916                               <property name="xalign">1</property>
 917                               <property name="yalign">0.5</property>
 918                               <property name="xpad">0</property>
 919                               <property name="ypad">0</property>
 920                               <property name="mnemonic_widget">font_display</property>
 921                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 922                               <property name="width_chars">-1</property>
 923                               <property name="single_line_mode">False</property>
 924                               <property name="angle">0</property>
 925                             </widget>
 926                             <packing>
 927                               <property name="left_attach">0</property>
 928                               <property name="right_attach">1</property>
 929                               <property name="top_attach">4</property>
 930                               <property name="bottom_attach">5</property>
 931                               <property name="x_options">fill</property>
 932                               <property name="y_options"></property>
 933                             </packing>
 934                           </child>
 935
 936                           <child>
 937                             <widget class="GtkFontButton" id="font_active">
 938                               <property name="visible">True</property>
 939                               <property name="can_focus">True</property>
 940                               <property name="show_style">True</property>
 941                               <property name="show_size">True</property>
 942                               <property name="use_font">True</property>
 943                               <property name="use_size">False</property>
 944                               <property name="focus_on_click">True</property>
 945                               <signal name="font_set" handler="on_font_active_font_set" last_modification_time="Fri, 25 May 2007 16:03:09 GMT"/>
 946                             </widget>
 947                             <packing>
 948                               <property name="left_attach">1</property>
 949                               <property name="right_attach">2</property>
 950                               <property name="top_attach">0</property>
 951                               <property name="bottom_attach">1</property>
 952                               <property name="y_options"></property>
 953                             </packing>
 954                           </child>
 955                         </widget>
 956                         <packing>
 957                           <property name="padding">0</property>
 958                           <property name="expand">True</property>
 959                           <property name="fill">True</property>
 960                         </packing>
 961                       </child>
 962                     </widget>
 963                     <packing>
 964                       <property name="padding">0</property>
 965                       <property name="expand">True</property>
 966                       <property name="fill">True</property>
 967                     </packing>
 968                   </child>
 969                 </widget>
 970                 <packing>
 971                   <property name="padding">0</property>
 972                   <property name="expand">True</property>
 973                   <property name="fill">True</property>
 974                 </packing>
 975               </child>
 976             </widget>
 977             <packing>
 978               <property name="tab_expand">False</property>
 979               <property name="tab_fill">True</property>
 980             </packing>
 981           </child>
 982
 983           <child>
 984             <widget class="GtkLabel" id="label84">
 985               <property name="visible">True</property>
 986               <property name="label" translatable="yes">Appearance</property>
 987               <property name="use_underline">False</property>
 988               <property name="use_markup">False</property>
 989               <property name="justify">GTK_JUSTIFY_LEFT</property>
 990               <property name="wrap">False</property>
 991               <property name="selectable">False</property>
 992               <property name="xalign">0.5</property>
 993               <property name="yalign">0.5</property>
 994               <property name="xpad">0</property>
 995               <property name="ypad">0</property>
 996               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 997               <property name="width_chars">-1</property>
 998               <property name="single_line_mode">False</property>
 999               <property name="angle">0</property>
1000             </widget>
1001             <packing>
1002               <property name="type">tab</property>
1003             </packing>
1004           </child>
1005
1006           <child>
1007             <widget class="GtkVBox" id="vbox12">
1008               <property name="border_width">12</property>
1009               <property name="visible">True</property>
1010               <property name="homogeneous">False</property>
1011               <property name="spacing">18</property>
1012
1013               <child>
1014                 <widget class="GtkVBox" id="vbox65">
1015                   <property name="visible">True</property>
1016                   <property name="homogeneous">False</property>
1017                   <property name="spacing">6</property>
1018
1019                   <child>
1020                     <widget class="GtkLabel" id="label164">
1021                       <property name="visible">True</property>
1022                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Focusing Windows&lt;/span&gt;</property>
1023                       <property name="use_underline">False</property>
1024                       <property name="use_markup">True</property>
1025                       <property name="justify">GTK_JUSTIFY_LEFT</property>
1026                       <property name="wrap">False</property>
1027                       <property name="selectable">False</property>
1028                       <property name="xalign">0</property>
1029                       <property name="yalign">0.5</property>
1030                       <property name="xpad">0</property>
1031                       <property name="ypad">0</property>
1032                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1033                       <property name="width_chars">-1</property>
1034                       <property name="single_line_mode">False</property>
1035                       <property name="angle">0</property>
1036                     </widget>
1037                     <packing>
1038                       <property name="padding">0</property>
1039                       <property name="expand">False</property>
1040                       <property name="fill">False</property>
1041                     </packing>
1042                   </child>
1043
1044                   <child>
1045                     <widget class="GtkHBox" id="hbox89">
1046                       <property name="visible">True</property>
1047                       <property name="homogeneous">False</property>
1048                       <property name="spacing">0</property>
1049
1050                       <child>
1051                         <widget class="GtkLabel" id="label165">
1052                           <property name="visible">True</property>
1053                           <property name="label" translatable="yes">    </property>
1054                           <property name="use_underline">False</property>
1055                           <property name="use_markup">False</property>
1056                           <property name="justify">GTK_JUSTIFY_LEFT</property>
1057                           <property name="wrap">False</property>
1058                           <property name="selectable">False</property>
1059                           <property name="xalign">0.5</property>
1060                           <property name="yalign">0.5</property>
1061                           <property name="xpad">0</property>
1062                           <property name="ypad">0</property>
1063                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1064                           <property name="width_chars">-1</property>
1065                           <property name="single_line_mode">False</property>
1066                           <property name="angle">0</property>
1067                         </widget>
1068                         <packing>
1069                           <property name="padding">0</property>
1070                           <property name="expand">False</property>
1071                           <property name="fill">False</property>
1072                         </packing>
1073                       </child>
1074
1075                       <child>
1076                         <widget class="GtkVBox" id="vbox66">
1077                           <property name="visible">True</property>
1078                           <property name="homogeneous">False</property>
1079                           <property name="spacing">6</property>
1080
1081                           <child>
1082                             <widget class="GtkCheckButton" id="focus_new">
1083                               <property name="visible">True</property>
1084                               <property name="can_focus">True</property>
1085                               <property name="label" translatable="yes">Focus _new windows when they appear</property>
1086                               <property name="use_underline">True</property>
1087                               <property name="relief">GTK_RELIEF_NORMAL</property>
1088                               <property name="focus_on_click">True</property>
1089                               <property name="active">False</property>
1090                               <property name="inconsistent">False</property>
1091                               <property name="draw_indicator">True</property>
1092                               <signal name="toggled" handler="on_focus_new_toggled" after="yes" last_modification_time="Sun, 14 Sep 2003 11:25:04 GMT"/>
1093                             </widget>
1094                             <packing>
1095                               <property name="padding">0</property>
1096                               <property name="expand">False</property>
1097                               <property name="fill">False</property>
1098                             </packing>
1099                           </child>
1100                         </widget>
1101                         <packing>
1102                           <property name="padding">0</property>
1103                           <property name="expand">True</property>
1104                           <property name="fill">True</property>
1105                         </packing>
1106                       </child>
1107                     </widget>
1108                     <packing>
1109                       <property name="padding">0</property>
1110                       <property name="expand">True</property>
1111                       <property name="fill">True</property>
1112                     </packing>
1113                   </child>
1114                 </widget>
1115                 <packing>
1116                   <property name="padding">0</property>
1117                   <property name="expand">False</property>
1118                   <property name="fill">True</property>
1119                 </packing>
1120               </child>
1121
1122               <child>
1123                 <widget class="GtkVBox" id="vbox34">
1124                   <property name="visible">True</property>
1125                   <property name="homogeneous">False</property>
1126                   <property name="spacing">6</property>
1127
1128                   <child>
1129                     <widget class="GtkLabel" id="label82">
1130                       <property name="visible">True</property>
1131                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Placing Windows&lt;/span&gt;</property>
1132                       <property name="use_underline">False</property>
1133                       <property name="use_markup">True</property>
1134                       <property name="justify">GTK_JUSTIFY_LEFT</property>
1135                       <property name="wrap">False</property>
1136                       <property name="selectable">False</property>
1137                       <property name="xalign">0</property>
1138                       <property name="yalign">0.5</property>
1139                       <property name="xpad">0</property>
1140                       <property name="ypad">0</property>
1141                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1142                       <property name="width_chars">-1</property>
1143                       <property name="single_line_mode">False</property>
1144                       <property name="angle">0</property>
1145                     </widget>
1146                     <packing>
1147                       <property name="padding">0</property>
1148                       <property name="expand">False</property>
1149                       <property name="fill">False</property>
1150                     </packing>
1151                   </child>
1152
1153                   <child>
1154                     <widget class="GtkHBox" id="hbox40">
1155                       <property name="visible">True</property>
1156                       <property name="homogeneous">False</property>
1157                       <property name="spacing">0</property>
1158
1159                       <child>
1160                         <widget class="GtkLabel" id="label83">
1161                           <property name="visible">True</property>
1162                           <property name="label" translatable="yes">    </property>
1163                           <property name="use_underline">False</property>
1164                           <property name="use_markup">False</property>
1165                           <property name="justify">GTK_JUSTIFY_LEFT</property>
1166                           <property name="wrap">False</property>
1167                           <property name="selectable">False</property>
1168                           <property name="xalign">0.5</property>
1169                           <property name="yalign">0.5</property>
1170                           <property name="xpad">0</property>
1171                           <property name="ypad">0</property>
1172                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1173                           <property name="width_chars">-1</property>
1174                           <property name="single_line_mode">False</property>
1175                           <property name="angle">0</property>
1176                         </widget>
1177                         <packing>
1178                           <property name="padding">0</property>
1179                           <property name="expand">False</property>
1180                           <property name="fill">False</property>
1181                         </packing>
1182                       </child>
1183
1184                       <child>
1185                         <widget class="GtkVBox" id="vbox35">
1186                           <property name="visible">True</property>
1187                           <property name="homogeneous">False</property>
1188                           <property name="spacing">6</property>
1189
1190                           <child>
1191                             <widget class="GtkCheckButton" id="place_mouse">
1192                               <property name="visible">True</property>
1193                               <property name="can_focus">True</property>
1194                               <property name="label" translatable="yes">_Place new windows under the mouse pointer</property>
1195                               <property name="use_underline">True</property>
1196                               <property name="relief">GTK_RELIEF_NORMAL</property>
1197                               <property name="focus_on_click">True</property>
1198                               <property name="active">False</property>
1199                               <property name="inconsistent">False</property>
1200                               <property name="draw_indicator">True</property>
1201                               <signal name="toggled" handler="on_place_mouse_toggled" after="yes" last_modification_time="Sun, 28 Sep 2003 09:09:33 GMT"/>
1202                             </widget>
1203                             <packing>
1204                               <property name="padding">0</property>
1205                               <property name="expand">False</property>
1206                               <property name="fill">False</property>
1207                             </packing>
1208                           </child>
1209                         </widget>
1210                         <packing>
1211                           <property name="padding">0</property>
1212                           <property name="expand">True</property>
1213                           <property name="fill">True</property>
1214                         </packing>
1215                       </child>
1216                     </widget>
1217                     <packing>
1218                       <property name="padding">0</property>
1219                       <property name="expand">True</property>
1220                       <property name="fill">True</property>
1221                     </packing>
1222                   </child>
1223                 </widget>
1224                 <packing>
1225                   <property name="padding">0</property>
1226                   <property name="expand">False</property>
1227                   <property name="fill">True</property>
1228                 </packing>
1229               </child>
1230
1231               <child>
1232                 <widget class="GtkVBox" id="vbox14">
1233                   <property name="visible">True</property>
1234                   <property name="homogeneous">False</property>
1235                   <property name="spacing">6</property>
1236
1237                   <child>
1238                     <widget class="GtkLabel" id="label34">
1239                       <property name="visible">True</property>
1240                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Moving and Resizing Windows&lt;/span&gt;</property>
1241                       <property name="use_underline">False</property>
1242                       <property name="use_markup">True</property>
1243                       <property name="justify">GTK_JUSTIFY_LEFT</property>
1244                       <property name="wrap">False</property>
1245                       <property name="selectable">False</property>
1246                       <property name="xalign">0</property>
1247                       <property name="yalign">0.5</property>
1248                       <property name="xpad">0</property>
1249                       <property name="ypad">0</property>
1250                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1251                       <property name="width_chars">-1</property>
1252                       <property name="single_line_mode">False</property>
1253                       <property name="angle">0</property>
1254                     </widget>
1255                     <packing>
1256                       <property name="padding">0</property>
1257                       <property name="expand">False</property>
1258                       <property name="fill">False</property>
1259                     </packing>
1260                   </child>
1261
1262                   <child>
1263                     <widget class="GtkHBox" id="hbox14">
1264                       <property name="visible">True</property>
1265                       <property name="homogeneous">False</property>
1266                       <property name="spacing">0</property>
1267
1268                       <child>
1269                         <widget class="GtkLabel" id="label35">
1270                           <property name="visible">True</property>
1271                           <property name="label" translatable="yes">    </property>
1272                           <property name="use_underline">False</property>
1273                           <property name="use_markup">False</property>
1274                           <property name="justify">GTK_JUSTIFY_LEFT</property>
1275                           <property name="wrap">False</property>
1276                           <property name="selectable">False</property>
1277                           <property name="xalign">0.5</property>
1278                           <property name="yalign">0.5</property>
1279                           <property name="xpad">0</property>
1280                           <property name="ypad">0</property>
1281                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1282                           <property name="width_chars">-1</property>
1283                           <property name="single_line_mode">False</property>
1284                           <property name="angle">0</property>
1285                         </widget>
1286                         <packing>
1287                           <property name="padding">0</property>
1288                           <property name="expand">False</property>
1289                           <property name="fill">False</property>
1290                         </packing>
1291                       </child>
1292
1293                       <child>
1294                         <widget class="GtkVBox" id="vbox16">
1295                           <property name="visible">True</property>
1296                           <property name="homogeneous">False</property>
1297                           <property name="spacing">6</property>
1298
1299                           <child>
1300                             <widget class="GtkCheckButton" id="resize_contents">
1301                               <property name="visible">True</property>
1302                               <property name="can_focus">True</property>
1303                               <property name="label" translatable="yes">Update the window c_ontents while resizing</property>
1304                               <property name="use_underline">True</property>
1305                               <property name="relief">GTK_RELIEF_NORMAL</property>
1306                               <property name="focus_on_click">True</property>
1307                               <property name="active">False</property>
1308                               <property name="inconsistent">False</property>
1309                               <property name="draw_indicator">True</property>
1310                               <signal name="toggled" handler="on_resize_contents_toggled" after="yes" last_modification_time="Sun, 14 Sep 2003 11:26:12 GMT"/>
1311                             </widget>
1312                             <packing>
1313                               <property name="padding">0</property>
1314                               <property name="expand">False</property>
1315                               <property name="fill">False</property>
1316                             </packing>
1317                           </child>
1318
1319                           <child>
1320                             <widget class="GtkHBox" id="hbox90">
1321                               <property name="visible">True</property>
1322                               <property name="homogeneous">False</property>
1323                               <property name="spacing">12</property>
1324
1325                               <child>
1326                                 <widget class="GtkLabel" id="label166">
1327                                   <property name="visible">True</property>
1328                                   <property name="label" translatable="yes">_Show size dialog:</property>
1329                                   <property name="use_underline">True</property>
1330                                   <property name="use_markup">False</property>
1331                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1332                                   <property name="wrap">False</property>
1333                                   <property name="selectable">False</property>
1334                                   <property name="xalign">0</property>
1335                                   <property name="yalign">0.5</property>
1336                                   <property name="xpad">0</property>
1337                                   <property name="ypad">0</property>
1338                                   <property name="mnemonic_widget">dock_position</property>
1339                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1340                                   <property name="width_chars">-1</property>
1341                                   <property name="single_line_mode">False</property>
1342                                   <property name="angle">0</property>
1343                                 </widget>
1344                                 <packing>
1345                                   <property name="padding">0</property>
1346                                   <property name="expand">False</property>
1347                                   <property name="fill">False</property>
1348                                 </packing>
1349                               </child>
1350
1351                               <child>
1352                                 <widget class="GtkOptionMenu" id="resize_popup">
1353                                   <property name="visible">True</property>
1354                                   <property name="can_focus">True</property>
1355                                   <property name="history">0</property>
1356
1357                                   <child>
1358                                     <widget class="GtkMenu" id="menu11">
1359
1360                                       <child>
1361                                         <widget class="GtkMenuItem" id="resize_popup_nonpixel">
1362                                           <property name="visible">True</property>
1363                                           <property name="label" translatable="yes">When resizing terminal windows</property>
1364                                           <property name="use_underline">True</property>
1365                                           <signal name="activate" handler="on_resize_popup_nonpixel_activate" last_modification_time="Fri, 01 Jun 2007 02:18:58 GMT"/>
1366                                         </widget>
1367                                       </child>
1368
1369                                       <child>
1370                                         <widget class="GtkMenuItem" id="resize_popup_always">
1371                                           <property name="visible">True</property>
1372                                           <property name="label" translatable="yes">Always</property>
1373                                           <property name="use_underline">True</property>
1374                                           <signal name="activate" handler="on_resize_popup_always_activate" last_modification_time="Fri, 01 Jun 2007 02:18:58 GMT"/>
1375                                         </widget>
1376                                       </child>
1377
1378                                       <child>
1379                                         <widget class="GtkMenuItem" id="resize_popup_never">
1380                                           <property name="visible">True</property>
1381                                           <property name="label" translatable="yes">Never</property>
1382                                           <property name="use_underline">True</property>
1383                                           <signal name="activate" handler="on_resize_popup_never_activate" last_modification_time="Fri, 01 Jun 2007 02:18:58 GMT"/>
1384                                         </widget>
1385                                       </child>
1386                                     </widget>
1387                                   </child>
1388                                 </widget>
1389                                 <packing>
1390                                   <property name="padding">0</property>
1391                                   <property name="expand">False</property>
1392                                   <property name="fill">False</property>
1393                                 </packing>
1394                               </child>
1395                             </widget>
1396                             <packing>
1397                               <property name="padding">0</property>
1398                               <property name="expand">True</property>
1399                               <property name="fill">True</property>
1400                             </packing>
1401                           </child>
1402
1403                           <child>
1404                             <widget class="GtkHBox" id="hbox86">
1405                               <property name="visible">True</property>
1406                               <property name="homogeneous">False</property>
1407                               <property name="spacing">6</property>
1408
1409                               <child>
1410                                 <widget class="GtkLabel" id="drag_threshold_label">
1411                                   <property name="visible">True</property>
1412                                   <property name="label" translatable="yes">Drag _threshold distance:</property>
1413                                   <property name="use_underline">True</property>
1414                                   <property name="use_markup">False</property>
1415                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1416                                   <property name="wrap">False</property>
1417                                   <property name="selectable">False</property>
1418                                   <property name="xalign">0</property>
1419                                   <property name="yalign">0.5</property>
1420                                   <property name="xpad">0</property>
1421                                   <property name="ypad">0</property>
1422                                   <property name="mnemonic_widget">resist_edge</property>
1423                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1424                                   <property name="width_chars">-1</property>
1425                                   <property name="single_line_mode">False</property>
1426                                   <property name="angle">0</property>
1427                                 </widget>
1428                                 <packing>
1429                                   <property name="padding">0</property>
1430                                   <property name="expand">False</property>
1431                                   <property name="fill">False</property>
1432                                 </packing>
1433                               </child>
1434
1435                               <child>
1436                                 <widget class="GtkSpinButton" id="drag_threshold">
1437                                   <property name="visible">True</property>
1438                                   <property name="can_focus">True</property>
1439                                   <property name="climb_rate">1</property>
1440                                   <property name="digits">0</property>
1441                                   <property name="numeric">True</property>
1442                                   <property name="update_policy">GTK_UPDATE_ALWAYS</property>
1443                                   <property name="snap_to_ticks">False</property>
1444                                   <property name="wrap">False</property>
1445                                   <property name="adjustment">1 1 100 1 10 10</property>
1446                                   <signal name="value_changed" handler="on_drag_threshold_value_changed" after="yes" last_modification_time="Thu, 31 May 2007 16:02:00 GMT"/>
1447                                 </widget>
1448                                 <packing>
1449                                   <property name="padding">0</property>
1450                                   <property name="expand">False</property>
1451                                   <property name="fill">True</property>
1452                                 </packing>
1453                               </child>
1454
1455                               <child>
1456                                 <widget class="GtkLabel" id="label160">
1457                                   <property name="visible">True</property>
1458                                   <property name="label" translatable="yes">px</property>
1459                                   <property name="use_underline">False</property>
1460                                   <property name="use_markup">False</property>
1461                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1462                                   <property name="wrap">False</property>
1463                                   <property name="selectable">False</property>
1464                                   <property name="xalign">0.5</property>
1465                                   <property name="yalign">0.5</property>
1466                                   <property name="xpad">0</property>
1467                                   <property name="ypad">0</property>
1468                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1469                                   <property name="width_chars">-1</property>
1470                                   <property name="single_line_mode">False</property>
1471                                   <property name="angle">0</property>
1472                                 </widget>
1473                                 <packing>
1474                                   <property name="padding">0</property>
1475                                   <property name="expand">False</property>
1476                                   <property name="fill">False</property>
1477                                 </packing>
1478                               </child>
1479                             </widget>
1480                             <packing>
1481                               <property name="padding">0</property>
1482                               <property name="expand">True</property>
1483                               <property name="fill">True</property>
1484                             </packing>
1485                           </child>
1486
1487                           <child>
1488                             <widget class="GtkHBox" id="hbox17">
1489                               <property name="visible">True</property>
1490                               <property name="homogeneous">False</property>
1491                               <property name="spacing">6</property>
1492
1493                               <child>
1494                                 <widget class="GtkLabel" id="resist_window_label">
1495                                   <property name="visible">True</property>
1496                                   <property name="label" translatable="yes">Amount of resistance against other _windows:</property>
1497                                   <property name="use_underline">True</property>
1498                                   <property name="use_markup">False</property>
1499                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1500                                   <property name="wrap">False</property>
1501                                   <property name="selectable">False</property>
1502                                   <property name="xalign">0</property>
1503                                   <property name="yalign">0.5</property>
1504                                   <property name="xpad">0</property>
1505                                   <property name="ypad">0</property>
1506                                   <property name="mnemonic_widget">resist_window</property>
1507                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1508                                   <property name="width_chars">-1</property>
1509                                   <property name="single_line_mode">False</property>
1510                                   <property name="angle">0</property>
1511                                 </widget>
1512                                 <packing>
1513                                   <property name="padding">0</property>
1514                                   <property name="expand">False</property>
1515                                   <property name="fill">False</property>
1516                                 </packing>
1517                               </child>
1518
1519                               <child>
1520                                 <widget class="GtkSpinButton" id="resist_window">
1521                                   <property name="visible">True</property>
1522                                   <property name="can_focus">True</property>
1523                                   <property name="climb_rate">1</property>
1524                                   <property name="digits">0</property>
1525                                   <property name="numeric">True</property>
1526                                   <property name="update_policy">GTK_UPDATE_ALWAYS</property>
1527                                   <property name="snap_to_ticks">False</property>
1528                                   <property name="wrap">False</property>
1529                                   <property name="adjustment">20 0 100 1 10 10</property>
1530                                   <signal name="value_changed" handler="on_resist_window_value_changed" after="yes" last_modification_time="Tue, 23 Sep 2003 22:22:53 GMT"/>
1531                                 </widget>
1532                                 <packing>
1533                                   <property name="padding">0</property>
1534                                   <property name="expand">False</property>
1535                                   <property name="fill">True</property>
1536                                 </packing>
1537                               </child>
1538
1539                               <child>
1540                                 <widget class="GtkLabel" id="label67">
1541                                   <property name="visible">True</property>
1542                                   <property name="label" translatable="yes">px</property>
1543                                   <property name="use_underline">False</property>
1544                                   <property name="use_markup">False</property>
1545                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1546                                   <property name="wrap">False</property>
1547                                   <property name="selectable">False</property>
1548                                   <property name="xalign">0.5</property>
1549                                   <property name="yalign">0.5</property>
1550                                   <property name="xpad">0</property>
1551                                   <property name="ypad">0</property>
1552                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1553                                   <property name="width_chars">-1</property>
1554                                   <property name="single_line_mode">False</property>
1555                                   <property name="angle">0</property>
1556                                 </widget>
1557                                 <packing>
1558                                   <property name="padding">0</property>
1559                                   <property name="expand">False</property>
1560                                   <property name="fill">False</property>
1561                                 </packing>
1562                               </child>
1563                             </widget>
1564                             <packing>
1565                               <property name="padding">0</property>
1566                               <property name="expand">False</property>
1567                               <property name="fill">True</property>
1568                             </packing>
1569                           </child>
1570
1571                           <child>
1572                             <widget class="GtkHBox" id="hbox18">
1573                               <property name="visible">True</property>
1574                               <property name="homogeneous">False</property>
1575                               <property name="spacing">6</property>
1576
1577                               <child>
1578                                 <widget class="GtkLabel" id="resist_edge_label">
1579                                   <property name="visible">True</property>
1580                                   <property name="label" translatable="yes">Amount of resistance against screen _edges:</property>
1581                                   <property name="use_underline">True</property>
1582                                   <property name="use_markup">False</property>
1583                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1584                                   <property name="wrap">False</property>
1585                                   <property name="selectable">False</property>
1586                                   <property name="xalign">0</property>
1587                                   <property name="yalign">0.5</property>
1588                                   <property name="xpad">0</property>
1589                                   <property name="ypad">0</property>
1590                                   <property name="mnemonic_widget">resist_edge</property>
1591                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1592                                   <property name="width_chars">-1</property>
1593                                   <property name="single_line_mode">False</property>
1594                                   <property name="angle">0</property>
1595                                 </widget>
1596                                 <packing>
1597                                   <property name="padding">0</property>
1598                                   <property name="expand">False</property>
1599                                   <property name="fill">False</property>
1600                                 </packing>
1601                               </child>
1602
1603                               <child>
1604                                 <widget class="GtkSpinButton" id="resist_edge">
1605                                   <property name="visible">True</property>
1606                                   <property name="can_focus">True</property>
1607                                   <property name="climb_rate">1</property>
1608                                   <property name="digits">0</property>
1609                                   <property name="numeric">True</property>
1610                                   <property name="update_policy">GTK_UPDATE_ALWAYS</property>
1611                                   <property name="snap_to_ticks">False</property>
1612                                   <property name="wrap">False</property>
1613                                   <property name="adjustment">1 0 100 1 10 10</property>
1614                                   <signal name="value_changed" handler="on_resist_edge_value_changed" after="yes" last_modification_time="Tue, 23 Sep 2003 22:23:04 GMT"/>
1615                                 </widget>
1616                                 <packing>
1617                                   <property name="padding">0</property>
1618                                   <property name="expand">False</property>
1619                                   <property name="fill">True</property>
1620                                 </packing>
1621                               </child>
1622
1623                               <child>
1624                                 <widget class="GtkLabel" id="label68">
1625                                   <property name="visible">True</property>
1626                                   <property name="label" translatable="yes">px</property>
1627                                   <property name="use_underline">False</property>
1628                                   <property name="use_markup">False</property>
1629                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1630                                   <property name="wrap">False</property>
1631                                   <property name="selectable">False</property>
1632                                   <property name="xalign">0.5</property>
1633                                   <property name="yalign">0.5</property>
1634                                   <property name="xpad">0</property>
1635                                   <property name="ypad">0</property>
1636                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1637                                   <property name="width_chars">-1</property>
1638                                   <property name="single_line_mode">False</property>
1639                                   <property name="angle">0</property>
1640                                 </widget>
1641                                 <packing>
1642                                   <property name="padding">0</property>
1643                                   <property name="expand">False</property>
1644                                   <property name="fill">False</property>
1645                                 </packing>
1646                               </child>
1647                             </widget>
1648                             <packing>
1649                               <property name="padding">0</property>
1650                               <property name="expand">False</property>
1651                               <property name="fill">True</property>
1652                             </packing>
1653                           </child>
1654                         </widget>
1655                         <packing>
1656                           <property name="padding">0</property>
1657                           <property name="expand">True</property>
1658                           <property name="fill">True</property>
1659                         </packing>
1660                       </child>
1661                     </widget>
1662                     <packing>
1663                       <property name="padding">0</property>
1664                       <property name="expand">True</property>
1665                       <property name="fill">True</property>
1666                     </packing>
1667                   </child>
1668                 </widget>
1669                 <packing>
1670                   <property name="padding">0</property>
1671                   <property name="expand">False</property>
1672                   <property name="fill">True</property>
1673                 </packing>
1674               </child>
1675             </widget>
1676             <packing>
1677               <property name="tab_expand">False</property>
1678               <property name="tab_fill">True</property>
1679             </packing>
1680           </child>
1681
1682           <child>
1683             <widget class="GtkLabel" id="label22">
1684               <property name="visible">True</property>
1685               <property name="label" translatable="yes">Windows</property>
1686               <property name="use_underline">False</property>
1687               <property name="use_markup">False</property>
1688               <property name="justify">GTK_JUSTIFY_LEFT</property>
1689               <property name="wrap">False</property>
1690               <property name="selectable">False</property>
1691               <property name="xalign">0.5</property>
1692               <property name="yalign">0.5</property>
1693               <property name="xpad">0</property>
1694               <property name="ypad">0</property>
1695               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1696               <property name="width_chars">-1</property>
1697               <property name="single_line_mode">False</property>
1698               <property name="angle">0</property>
1699             </widget>
1700             <packing>
1701               <property name="type">tab</property>
1702             </packing>
1703           </child>
1704
1705           <child>
1706             <widget class="GtkVBox" id="vbox56">
1707               <property name="border_width">12</property>
1708               <property name="visible">True</property>
1709               <property name="homogeneous">False</property>
1710               <property name="spacing">18</property>
1711
1712               <child>
1713                 <widget class="GtkVBox" id="vbox13">
1714                   <property name="visible">True</property>
1715                   <property name="homogeneous">False</property>
1716                   <property name="spacing">6</property>
1717
1718                   <child>
1719                     <widget class="GtkLabel" id="label32">
1720                       <property name="visible">True</property>
1721                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Focusing Windows&lt;/span&gt;</property>
1722                       <property name="use_underline">False</property>
1723                       <property name="use_markup">True</property>
1724                       <property name="justify">GTK_JUSTIFY_LEFT</property>
1725                       <property name="wrap">False</property>
1726                       <property name="selectable">False</property>
1727                       <property name="xalign">0</property>
1728                       <property name="yalign">0.5</property>
1729                       <property name="xpad">0</property>
1730                       <property name="ypad">0</property>
1731                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1732                       <property name="width_chars">-1</property>
1733                       <property name="single_line_mode">False</property>
1734                       <property name="angle">0</property>
1735                     </widget>
1736                     <packing>
1737                       <property name="padding">0</property>
1738                       <property name="expand">False</property>
1739                       <property name="fill">False</property>
1740                     </packing>
1741                   </child>
1742
1743                   <child>
1744                     <widget class="GtkHBox" id="hbox13">
1745                       <property name="visible">True</property>
1746                       <property name="homogeneous">False</property>
1747                       <property name="spacing">0</property>
1748
1749                       <child>
1750                         <widget class="GtkLabel" id="label33">
1751                           <property name="visible">True</property>
1752                           <property name="label" translatable="yes">    </property>
1753                           <property name="use_underline">False</property>
1754                           <property name="use_markup">False</property>
1755                           <property name="justify">GTK_JUSTIFY_LEFT</property>
1756                           <property name="wrap">False</property>
1757                           <property name="selectable">False</property>
1758                           <property name="xalign">0.5</property>
1759                           <property name="yalign">0.5</property>
1760                           <property name="xpad">0</property>
1761                           <property name="ypad">0</property>
1762                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1763                           <property name="width_chars">-1</property>
1764                           <property name="single_line_mode">False</property>
1765                           <property name="angle">0</property>
1766                         </widget>
1767                         <packing>
1768                           <property name="padding">0</property>
1769                           <property name="expand">False</property>
1770                           <property name="fill">False</property>
1771                         </packing>
1772                       </child>
1773
1774                       <child>
1775                         <widget class="GtkVBox" id="vbox15">
1776                           <property name="visible">True</property>
1777                           <property name="homogeneous">False</property>
1778                           <property name="spacing">6</property>
1779
1780                           <child>
1781                             <widget class="GtkCheckButton" id="focus_mouse">
1782                               <property name="visible">True</property>
1783                               <property name="can_focus">True</property>
1784                               <property name="label" translatable="yes">_Focus windows when the mouse pointer moves over them</property>
1785                               <property name="use_underline">True</property>
1786                               <property name="relief">GTK_RELIEF_NORMAL</property>
1787                               <property name="focus_on_click">True</property>
1788                               <property name="active">False</property>
1789                               <property name="inconsistent">False</property>
1790                               <property name="draw_indicator">True</property>
1791                               <signal name="toggled" handler="on_focus_mouse_toggled" after="yes" last_modification_time="Sun, 14 Sep 2003 11:24:01 GMT"/>
1792                             </widget>
1793                             <packing>
1794                               <property name="padding">0</property>
1795                               <property name="expand">False</property>
1796                               <property name="fill">False</property>
1797                             </packing>
1798                           </child>
1799
1800                           <child>
1801                             <widget class="GtkHBox" id="hbox32">
1802                               <property name="visible">True</property>
1803                               <property name="homogeneous">False</property>
1804                               <property name="spacing">0</property>
1805
1806                               <child>
1807                                 <widget class="GtkLabel" id="label65">
1808                                   <property name="visible">True</property>
1809                                   <property name="label" translatable="yes">    </property>
1810                                   <property name="use_underline">False</property>
1811                                   <property name="use_markup">False</property>
1812                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1813                                   <property name="wrap">False</property>
1814                                   <property name="selectable">False</property>
1815                                   <property name="xalign">0.5</property>
1816                                   <property name="yalign">0.5</property>
1817                                   <property name="xpad">0</property>
1818                                   <property name="ypad">0</property>
1819                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1820                                   <property name="width_chars">-1</property>
1821                                   <property name="single_line_mode">False</property>
1822                                   <property name="angle">0</property>
1823                                 </widget>
1824                                 <packing>
1825                                   <property name="padding">0</property>
1826                                   <property name="expand">False</property>
1827                                   <property name="fill">False</property>
1828                                 </packing>
1829                               </child>
1830
1831                               <child>
1832                                 <widget class="GtkVBox" id="vbox25">
1833                                   <property name="visible">True</property>
1834                                   <property name="homogeneous">False</property>
1835                                   <property name="spacing">6</property>
1836
1837                                   <child>
1838                                     <widget class="GtkCheckButton" id="focus_raise">
1839                                       <property name="visible">True</property>
1840                                       <property name="can_focus">True</property>
1841                                       <property name="label" translatable="yes">_Raise windows when the mouse pointer moves over them</property>
1842                                       <property name="use_underline">True</property>
1843                                       <property name="relief">GTK_RELIEF_NORMAL</property>
1844                                       <property name="focus_on_click">True</property>
1845                                       <property name="active">False</property>
1846                                       <property name="inconsistent">False</property>
1847                                       <property name="draw_indicator">True</property>
1848                                       <signal name="toggled" handler="on_focus_raise_toggled" after="yes" last_modification_time="Mon, 22 Sep 2003 06:37:32 GMT"/>
1849                                     </widget>
1850                                     <packing>
1851                                       <property name="padding">0</property>
1852                                       <property name="expand">False</property>
1853                                       <property name="fill">False</property>
1854                                     </packing>
1855                                   </child>
1856
1857                                   <child>
1858                                     <widget class="GtkHBox" id="hbox16">
1859                                       <property name="visible">True</property>
1860                                       <property name="homogeneous">False</property>
1861                                       <property name="spacing">6</property>
1862
1863                                       <child>
1864                                         <widget class="GtkLabel" id="focus_delay_label">
1865                                           <property name="visible">True</property>
1866                                           <property name="label" translatable="yes">_Delay before focusing and raising windows:</property>
1867                                           <property name="use_underline">True</property>
1868                                           <property name="use_markup">False</property>
1869                                           <property name="justify">GTK_JUSTIFY_LEFT</property>
1870                                           <property name="wrap">False</property>
1871                                           <property name="selectable">False</property>
1872                                           <property name="xalign">0.5</property>
1873                                           <property name="yalign">0.5</property>
1874                                           <property name="xpad">0</property>
1875                                           <property name="ypad">0</property>
1876                                           <property name="mnemonic_widget">focus_delay</property>
1877                                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1878                                           <property name="width_chars">-1</property>
1879                                           <property name="single_line_mode">False</property>
1880                                           <property name="angle">0</property>
1881                                         </widget>
1882                                         <packing>
1883                                           <property name="padding">0</property>
1884                                           <property name="expand">False</property>
1885                                           <property name="fill">False</property>
1886                                         </packing>
1887                                       </child>
1888
1889                                       <child>
1890                                         <widget class="GtkSpinButton" id="focus_delay">
1891                                           <property name="visible">True</property>
1892                                           <property name="can_focus">True</property>
1893                                           <property name="climb_rate">1</property>
1894                                           <property name="digits">0</property>
1895                                           <property name="numeric">True</property>
1896                                           <property name="update_policy">GTK_UPDATE_ALWAYS</property>
1897                                           <property name="snap_to_ticks">False</property>
1898                                           <property name="wrap">False</property>
1899                                           <property name="adjustment">0 0 10000 10 10 10</property>
1900                                           <signal name="value_changed" handler="on_focus_delay_value_changed" after="yes" last_modification_time="Sun, 14 Sep 2003 11:24:28 GMT"/>
1901                                         </widget>
1902                                         <packing>
1903                                           <property name="padding">0</property>
1904                                           <property name="expand">False</property>
1905                                           <property name="fill">True</property>
1906                                         </packing>
1907                                       </child>
1908
1909                                       <child>
1910                                         <widget class="GtkLabel" id="focus_delay_label_units">
1911                                           <property name="visible">True</property>
1912                                           <property name="label" translatable="yes">ms</property>
1913                                           <property name="use_underline">False</property>
1914                                           <property name="use_markup">False</property>
1915                                           <property name="justify">GTK_JUSTIFY_LEFT</property>
1916                                           <property name="wrap">False</property>
1917                                           <property name="selectable">False</property>
1918                                           <property name="xalign">0.5</property>
1919                                           <property name="yalign">0.5</property>
1920                                           <property name="xpad">0</property>
1921                                           <property name="ypad">0</property>
1922                                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1923                                           <property name="width_chars">-1</property>
1924                                           <property name="single_line_mode">False</property>
1925                                           <property name="angle">0</property>
1926                                         </widget>
1927                                         <packing>
1928                                           <property name="padding">0</property>
1929                                           <property name="expand">False</property>
1930                                           <property name="fill">False</property>
1931                                         </packing>
1932                                       </child>
1933                                     </widget>
1934                                     <packing>
1935                                       <property name="padding">0</property>
1936                                       <property name="expand">True</property>
1937                                       <property name="fill">True</property>
1938                                     </packing>
1939                                   </child>
1940
1941                                   <child>
1942                                     <widget class="GtkCheckButton" id="focus_last">
1943                                       <property name="visible">True</property>
1944                                       <property name="can_focus">True</property>
1945                                       <property name="label" translatable="yes">_Give focus to the last used window when switching desktops</property>
1946                                       <property name="use_underline">True</property>
1947                                       <property name="relief">GTK_RELIEF_NORMAL</property>
1948                                       <property name="focus_on_click">True</property>
1949                                       <property name="active">False</property>
1950                                       <property name="inconsistent">False</property>
1951                                       <property name="draw_indicator">True</property>
1952                                       <signal name="toggled" handler="on_focus_last_toggled" last_modification_time="Fri, 25 May 2007 18:54:28 GMT"/>
1953                                     </widget>
1954                                     <packing>
1955                                       <property name="padding">0</property>
1956                                       <property name="expand">False</property>
1957                                       <property name="fill">False</property>
1958                                     </packing>
1959                                   </child>
1960                                 </widget>
1961                                 <packing>
1962                                   <property name="padding">0</property>
1963                                   <property name="expand">True</property>
1964                                   <property name="fill">True</property>
1965                                 </packing>
1966                               </child>
1967                             </widget>
1968                             <packing>
1969                               <property name="padding">0</property>
1970                               <property name="expand">False</property>
1971                               <property name="fill">False</property>
1972                             </packing>
1973                           </child>
1974                         </widget>
1975                         <packing>
1976                           <property name="padding">0</property>
1977                           <property name="expand">True</property>
1978                           <property name="fill">True</property>
1979                         </packing>
1980                       </child>
1981                     </widget>
1982                     <packing>
1983                       <property name="padding">0</property>
1984                       <property name="expand">False</property>
1985                       <property name="fill">True</property>
1986                     </packing>
1987                   </child>
1988                 </widget>
1989                 <packing>
1990                   <property name="padding">0</property>
1991                   <property name="expand">False</property>
1992                   <property name="fill">True</property>
1993                 </packing>
1994               </child>
1995
1996               <child>
1997                 <widget class="GtkVBox" id="vbox61">
1998                   <property name="visible">True</property>
1999                   <property name="homogeneous">False</property>
2000                   <property name="spacing">6</property>
2001
2002                   <child>
2003                     <widget class="GtkLabel" id="label155">
2004                       <property name="visible">True</property>
2005                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Titlebar&lt;/span&gt;</property>
2006                       <property name="use_underline">False</property>
2007                       <property name="use_markup">True</property>
2008                       <property name="justify">GTK_JUSTIFY_LEFT</property>
2009                       <property name="wrap">False</property>
2010                       <property name="selectable">False</property>
2011                       <property name="xalign">0</property>
2012                       <property name="yalign">0.5</property>
2013                       <property name="xpad">0</property>
2014                       <property name="ypad">0</property>
2015                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2016                       <property name="width_chars">-1</property>
2017                       <property name="single_line_mode">False</property>
2018                       <property name="angle">0</property>
2019                     </widget>
2020                     <packing>
2021                       <property name="padding">0</property>
2022                       <property name="expand">False</property>
2023                       <property name="fill">False</property>
2024                     </packing>
2025                   </child>
2026
2027                   <child>
2028                     <widget class="GtkHBox" id="hbox84">
2029                       <property name="visible">True</property>
2030                       <property name="homogeneous">False</property>
2031                       <property name="spacing">0</property>
2032
2033                       <child>
2034                         <widget class="GtkLabel" id="label156">
2035                           <property name="visible">True</property>
2036                           <property name="label" translatable="yes">    </property>
2037                           <property name="use_underline">False</property>
2038                           <property name="use_markup">False</property>
2039                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2040                           <property name="wrap">False</property>
2041                           <property name="selectable">False</property>
2042                           <property name="xalign">0.5</property>
2043                           <property name="yalign">0.5</property>
2044                           <property name="xpad">0</property>
2045                           <property name="ypad">0</property>
2046                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2047                           <property name="width_chars">-1</property>
2048                           <property name="single_line_mode">False</property>
2049                           <property name="angle">0</property>
2050                         </widget>
2051                         <packing>
2052                           <property name="padding">0</property>
2053                           <property name="expand">False</property>
2054                           <property name="fill">False</property>
2055                         </packing>
2056                       </child>
2057
2058                       <child>
2059                         <widget class="GtkVBox" id="vbox62">
2060                           <property name="visible">True</property>
2061                           <property name="homogeneous">False</property>
2062                           <property name="spacing">6</property>
2063
2064                           <child>
2065                             <widget class="GtkHBox" id="hbox87">
2066                               <property name="visible">True</property>
2067                               <property name="homogeneous">False</property>
2068                               <property name="spacing">12</property>
2069
2070                               <child>
2071                                 <widget class="GtkLabel" id="label161">
2072                                   <property name="visible">True</property>
2073                                   <property name="label" translatable="yes">_Double click on the titlebar:</property>
2074                                   <property name="use_underline">True</property>
2075                                   <property name="use_markup">False</property>
2076                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2077                                   <property name="wrap">False</property>
2078                                   <property name="selectable">False</property>
2079                                   <property name="xalign">0</property>
2080                                   <property name="yalign">0.5</property>
2081                                   <property name="xpad">0</property>
2082                                   <property name="ypad">0</property>
2083                                   <property name="mnemonic_widget">dock_position</property>
2084                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2085                                   <property name="width_chars">-1</property>
2086                                   <property name="single_line_mode">False</property>
2087                                   <property name="angle">0</property>
2088                                 </widget>
2089                                 <packing>
2090                                   <property name="padding">0</property>
2091                                   <property name="expand">False</property>
2092                                   <property name="fill">False</property>
2093                                 </packing>
2094                               </child>
2095
2096                               <child>
2097                                 <widget class="GtkOptionMenu" id="titlebar_doubleclick">
2098                                   <property name="visible">True</property>
2099                                   <property name="can_focus">True</property>
2100                                   <property name="history">0</property>
2101
2102                                   <child>
2103                                     <widget class="GtkMenu" id="menu10">
2104
2105                                       <child>
2106                                         <widget class="GtkMenuItem" id="titlebar_doubleclick_maximize">
2107                                           <property name="visible">True</property>
2108                                           <property name="label" translatable="yes">Maximizes the window</property>
2109                                           <property name="use_underline">True</property>
2110                                           <signal name="activate" handler="on_titlebar_doubleclick_maximize_activate" last_modification_time="Fri, 01 Jun 2007 00:41:35 GMT"/>
2111                                         </widget>
2112                                       </child>
2113
2114                                       <child>
2115                                         <widget class="GtkMenuItem" id="titlebar_doubleclick_shade">
2116                                           <property name="visible">True</property>
2117                                           <property name="label" translatable="yes">Shades the window</property>
2118                                           <property name="use_underline">True</property>
2119                                           <signal name="activate" handler="on_titlebar_doubleclick_shade_activate" last_modification_time="Fri, 01 Jun 2007 00:41:35 GMT"/>
2120                                         </widget>
2121                                       </child>
2122                                     </widget>
2123                                   </child>
2124                                 </widget>
2125                                 <packing>
2126                                   <property name="padding">0</property>
2127                                   <property name="expand">False</property>
2128                                   <property name="fill">False</property>
2129                                 </packing>
2130                               </child>
2131                             </widget>
2132                             <packing>
2133                               <property name="padding">0</property>
2134                               <property name="expand">True</property>
2135                               <property name="fill">True</property>
2136                             </packing>
2137                           </child>
2138
2139                           <child>
2140                             <widget class="GtkHBox" id="hbox85">
2141                               <property name="visible">True</property>
2142                               <property name="homogeneous">False</property>
2143                               <property name="spacing">6</property>
2144
2145                               <child>
2146                                 <widget class="GtkLabel" id="doubleclick_time_label">
2147                                   <property name="visible">True</property>
2148                                   <property name="label" translatable="yes">Double _click time:</property>
2149                                   <property name="use_underline">True</property>
2150                                   <property name="use_markup">False</property>
2151                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2152                                   <property name="wrap">False</property>
2153                                   <property name="selectable">False</property>
2154                                   <property name="xalign">0</property>
2155                                   <property name="yalign">0.5</property>
2156                                   <property name="xpad">0</property>
2157                                   <property name="ypad">0</property>
2158                                   <property name="mnemonic_widget">resist_window</property>
2159                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2160                                   <property name="width_chars">-1</property>
2161                                   <property name="single_line_mode">False</property>
2162                                   <property name="angle">0</property>
2163                                 </widget>
2164                                 <packing>
2165                                   <property name="padding">0</property>
2166                                   <property name="expand">False</property>
2167                                   <property name="fill">False</property>
2168                                 </packing>
2169                               </child>
2170
2171                               <child>
2172                                 <widget class="GtkSpinButton" id="doubleclick_time">
2173                                   <property name="visible">True</property>
2174                                   <property name="can_focus">True</property>
2175                                   <property name="climb_rate">1</property>
2176                                   <property name="digits">0</property>
2177                                   <property name="numeric">True</property>
2178                                   <property name="update_policy">GTK_UPDATE_ALWAYS</property>
2179                                   <property name="snap_to_ticks">False</property>
2180                                   <property name="wrap">False</property>
2181                                   <property name="adjustment">0 0 10000 10 10 10</property>
2182                                   <signal name="value_changed" handler="on_doubleclick_time_value_changed" after="yes" last_modification_time="Thu, 31 May 2007 16:09:40 GMT"/>
2183                                 </widget>
2184                                 <packing>
2185                                   <property name="padding">0</property>
2186                                   <property name="expand">False</property>
2187                                   <property name="fill">True</property>
2188                                 </packing>
2189                               </child>
2190
2191                               <child>
2192                                 <widget class="GtkLabel" id="label158">
2193                                   <property name="visible">True</property>
2194                                   <property name="label" translatable="yes">ms</property>
2195                                   <property name="use_underline">False</property>
2196                                   <property name="use_markup">False</property>
2197                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2198                                   <property name="wrap">False</property>
2199                                   <property name="selectable">False</property>
2200                                   <property name="xalign">0.5</property>
2201                                   <property name="yalign">0.5</property>
2202                                   <property name="xpad">0</property>
2203                                   <property name="ypad">0</property>
2204                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2205                                   <property name="width_chars">-1</property>
2206                                   <property name="single_line_mode">False</property>
2207                                   <property name="angle">0</property>
2208                                 </widget>
2209                                 <packing>
2210                                   <property name="padding">0</property>
2211                                   <property name="expand">False</property>
2212                                   <property name="fill">False</property>
2213                                 </packing>
2214                               </child>
2215                             </widget>
2216                             <packing>
2217                               <property name="padding">0</property>
2218                               <property name="expand">True</property>
2219                               <property name="fill">True</property>
2220                             </packing>
2221                           </child>
2222                         </widget>
2223                         <packing>
2224                           <property name="padding">0</property>
2225                           <property name="expand">True</property>
2226                           <property name="fill">True</property>
2227                         </packing>
2228                       </child>
2229                     </widget>
2230                     <packing>
2231                       <property name="padding">0</property>
2232                       <property name="expand">True</property>
2233                       <property name="fill">True</property>
2234                     </packing>
2235                   </child>
2236                 </widget>
2237                 <packing>
2238                   <property name="padding">0</property>
2239                   <property name="expand">False</property>
2240                   <property name="fill">True</property>
2241                 </packing>
2242               </child>
2243
2244               <child>
2245                 <widget class="GtkVBox" id="vbox63">
2246                   <property name="visible">True</property>
2247                   <property name="homogeneous">False</property>
2248                   <property name="spacing">0</property>
2249
2250                   <child>
2251                     <widget class="GtkHBox" id="hbox88">
2252                       <property name="visible">True</property>
2253                       <property name="homogeneous">False</property>
2254                       <property name="spacing">0</property>
2255
2256                       <child>
2257                         <widget class="GtkLabel" id="label162">
2258                           <property name="visible">True</property>
2259                           <property name="label" translatable="yes">    </property>
2260                           <property name="use_underline">False</property>
2261                           <property name="use_markup">False</property>
2262                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2263                           <property name="wrap">False</property>
2264                           <property name="selectable">False</property>
2265                           <property name="xalign">0.5</property>
2266                           <property name="yalign">0.5</property>
2267                           <property name="xpad">0</property>
2268                           <property name="ypad">0</property>
2269                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2270                           <property name="width_chars">-1</property>
2271                           <property name="single_line_mode">False</property>
2272                           <property name="angle">0</property>
2273                         </widget>
2274                         <packing>
2275                           <property name="padding">0</property>
2276                           <property name="expand">False</property>
2277                           <property name="fill">False</property>
2278                         </packing>
2279                       </child>
2280                     </widget>
2281                     <packing>
2282                       <property name="padding">0</property>
2283                       <property name="expand">True</property>
2284                       <property name="fill">True</property>
2285                     </packing>
2286                   </child>
2287                 </widget>
2288                 <packing>
2289                   <property name="padding">0</property>
2290                   <property name="expand">False</property>
2291                   <property name="fill">True</property>
2292                 </packing>
2293               </child>
2294             </widget>
2295             <packing>
2296               <property name="tab_expand">False</property>
2297               <property name="tab_fill">True</property>
2298             </packing>
2299           </child>
2300
2301           <child>
2302             <widget class="GtkLabel" id="label118">
2303               <property name="visible">True</property>
2304               <property name="label" translatable="yes">Mouse</property>
2305               <property name="use_underline">False</property>
2306               <property name="use_markup">False</property>
2307               <property name="justify">GTK_JUSTIFY_LEFT</property>
2308               <property name="wrap">False</property>
2309               <property name="selectable">False</property>
2310               <property name="xalign">0.5</property>
2311               <property name="yalign">0.5</property>
2312               <property name="xpad">0</property>
2313               <property name="ypad">0</property>
2314               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2315               <property name="width_chars">-1</property>
2316               <property name="single_line_mode">False</property>
2317               <property name="angle">0</property>
2318             </widget>
2319             <packing>
2320               <property name="type">tab</property>
2321             </packing>
2322           </child>
2323
2324           <child>
2325             <widget class="GtkVBox" id="vbox18">
2326               <property name="border_width">12</property>
2327               <property name="visible">True</property>
2328               <property name="homogeneous">False</property>
2329               <property name="spacing">6</property>
2330
2331               <child>
2332                 <widget class="GtkLabel" id="label51">
2333                   <property name="visible">True</property>
2334                   <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Desktops&lt;/span&gt;</property>
2335                   <property name="use_underline">False</property>
2336                   <property name="use_markup">True</property>
2337                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2338                   <property name="wrap">False</property>
2339                   <property name="selectable">False</property>
2340                   <property name="xalign">0</property>
2341                   <property name="yalign">0.5</property>
2342                   <property name="xpad">0</property>
2343                   <property name="ypad">0</property>
2344                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2345                   <property name="width_chars">-1</property>
2346                   <property name="single_line_mode">False</property>
2347                   <property name="angle">0</property>
2348                 </widget>
2349                 <packing>
2350                   <property name="padding">0</property>
2351                   <property name="expand">False</property>
2352                   <property name="fill">False</property>
2353                 </packing>
2354               </child>
2355
2356               <child>
2357                 <widget class="GtkHBox" id="hbox24">
2358                   <property name="visible">True</property>
2359                   <property name="homogeneous">False</property>
2360                   <property name="spacing">0</property>
2361
2362                   <child>
2363                     <widget class="GtkLabel" id="label52">
2364                       <property name="visible">True</property>
2365                       <property name="label" translatable="yes">    </property>
2366                       <property name="use_underline">False</property>
2367                       <property name="use_markup">False</property>
2368                       <property name="justify">GTK_JUSTIFY_LEFT</property>
2369                       <property name="wrap">False</property>
2370                       <property name="selectable">False</property>
2371                       <property name="xalign">0.5</property>
2372                       <property name="yalign">0.5</property>
2373                       <property name="xpad">0</property>
2374                       <property name="ypad">0</property>
2375                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2376                       <property name="width_chars">-1</property>
2377                       <property name="single_line_mode">False</property>
2378                       <property name="angle">0</property>
2379                     </widget>
2380                     <packing>
2381                       <property name="padding">0</property>
2382                       <property name="expand">False</property>
2383                       <property name="fill">False</property>
2384                     </packing>
2385                   </child>
2386
2387                   <child>
2388                     <widget class="GtkVBox" id="vbox19">
2389                       <property name="visible">True</property>
2390                       <property name="homogeneous">False</property>
2391                       <property name="spacing">6</property>
2392
2393                       <child>
2394                         <widget class="GtkHBox" id="hbox25">
2395                           <property name="visible">True</property>
2396                           <property name="homogeneous">False</property>
2397                           <property name="spacing">6</property>
2398
2399                           <child>
2400                             <widget class="GtkLabel" id="label53">
2401                               <property name="visible">True</property>
2402                               <property name="label" translatable="yes">_Number of desktops: </property>
2403                               <property name="use_underline">True</property>
2404                               <property name="use_markup">False</property>
2405                               <property name="justify">GTK_JUSTIFY_LEFT</property>
2406                               <property name="wrap">False</property>
2407                               <property name="selectable">False</property>
2408                               <property name="xalign">0.5</property>
2409                               <property name="yalign">0.5</property>
2410                               <property name="xpad">0</property>
2411                               <property name="ypad">0</property>
2412                               <property name="mnemonic_widget">desktop_num</property>
2413                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2414                               <property name="width_chars">-1</property>
2415                               <property name="single_line_mode">False</property>
2416                               <property name="angle">0</property>
2417                             </widget>
2418                             <packing>
2419                               <property name="padding">0</property>
2420                               <property name="expand">False</property>
2421                               <property name="fill">False</property>
2422                             </packing>
2423                           </child>
2424
2425                           <child>
2426                             <widget class="GtkSpinButton" id="desktop_num">
2427                               <property name="visible">True</property>
2428                               <property name="can_focus">True</property>
2429                               <property name="climb_rate">1</property>
2430                               <property name="digits">0</property>
2431                               <property name="numeric">True</property>
2432                               <property name="update_policy">GTK_UPDATE_ALWAYS</property>
2433                               <property name="snap_to_ticks">False</property>
2434                               <property name="wrap">False</property>
2435                               <property name="adjustment">1 1 100 1 10 10</property>
2436                               <signal name="value_changed" handler="on_desktop_num_value_changed" after="yes" last_modification_time="Mon, 15 Sep 2003 01:16:20 GMT"/>
2437                             </widget>
2438                             <packing>
2439                               <property name="padding">0</property>
2440                               <property name="expand">False</property>
2441                               <property name="fill">True</property>
2442                             </packing>
2443                           </child>
2444                         </widget>
2445                         <packing>
2446                           <property name="padding">0</property>
2447                           <property name="expand">False</property>
2448                           <property name="fill">True</property>
2449                         </packing>
2450                       </child>
2451
2452                       <child>
2453                         <widget class="GtkLabel" id="label54">
2454                           <property name="visible">True</property>
2455                           <property name="label" translatable="yes">_Desktop names:</property>
2456                           <property name="use_underline">True</property>
2457                           <property name="use_markup">False</property>
2458                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2459                           <property name="wrap">False</property>
2460                           <property name="selectable">False</property>
2461                           <property name="xalign">0</property>
2462                           <property name="yalign">0.5</property>
2463                           <property name="xpad">0</property>
2464                           <property name="ypad">0</property>
2465                           <property name="mnemonic_widget">desktop_names</property>
2466                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2467                           <property name="width_chars">-1</property>
2468                           <property name="single_line_mode">False</property>
2469                           <property name="angle">0</property>
2470                         </widget>
2471                         <packing>
2472                           <property name="padding">0</property>
2473                           <property name="expand">False</property>
2474                           <property name="fill">False</property>
2475                         </packing>
2476                       </child>
2477
2478                       <child>
2479                         <widget class="GtkScrolledWindow" id="scrolledwindow1">
2480                           <property name="visible">True</property>
2481                           <property name="can_focus">True</property>
2482                           <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
2483                           <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2484                           <property name="shadow_type">GTK_SHADOW_IN</property>
2485                           <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
2486
2487                           <child>
2488                             <widget class="GtkTreeView" id="desktop_names">
2489                               <property name="visible">True</property>
2490                               <property name="can_focus">True</property>
2491                               <property name="headers_visible">False</property>
2492                               <property name="rules_hint">False</property>
2493                               <property name="reorderable">False</property>
2494                               <property name="enable_search">True</property>
2495                               <property name="fixed_height_mode">False</property>
2496                               <property name="hover_selection">False</property>
2497                               <property name="hover_expand">False</property>
2498                             </widget>
2499                           </child>
2500                         </widget>
2501                         <packing>
2502                           <property name="padding">0</property>
2503                           <property name="expand">True</property>
2504                           <property name="fill">True</property>
2505                         </packing>
2506                       </child>
2507                     </widget>
2508                     <packing>
2509                       <property name="padding">0</property>
2510                       <property name="expand">True</property>
2511                       <property name="fill">True</property>
2512                     </packing>
2513                   </child>
2514                 </widget>
2515                 <packing>
2516                   <property name="padding">0</property>
2517                   <property name="expand">True</property>
2518                   <property name="fill">True</property>
2519                 </packing>
2520               </child>
2521             </widget>
2522             <packing>
2523               <property name="tab_expand">False</property>
2524               <property name="tab_fill">True</property>
2525             </packing>
2526           </child>
2527
2528           <child>
2529             <widget class="GtkLabel" id="label31">
2530               <property name="visible">True</property>
2531               <property name="label" translatable="yes">Desktops</property>
2532               <property name="use_underline">False</property>
2533               <property name="use_markup">False</property>
2534               <property name="justify">GTK_JUSTIFY_LEFT</property>
2535               <property name="wrap">False</property>
2536               <property name="selectable">False</property>
2537               <property name="xalign">0.5</property>
2538               <property name="yalign">0.5</property>
2539               <property name="xpad">0</property>
2540               <property name="ypad">0</property>
2541               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2542               <property name="width_chars">-1</property>
2543               <property name="single_line_mode">False</property>
2544               <property name="angle">0</property>
2545             </widget>
2546             <packing>
2547               <property name="type">tab</property>
2548             </packing>
2549           </child>
2550
2551           <child>
2552             <widget class="GtkVBox" id="vbox26">
2553               <property name="border_width">12</property>
2554               <property name="visible">True</property>
2555               <property name="homogeneous">False</property>
2556               <property name="spacing">18</property>
2557
2558               <child>
2559                 <widget class="GtkVBox" id="vbox27">
2560                   <property name="visible">True</property>
2561                   <property name="homogeneous">False</property>
2562                   <property name="spacing">6</property>
2563
2564                   <child>
2565                     <widget class="GtkLabel" id="label70">
2566                       <property name="visible">True</property>
2567                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Position&lt;/span&gt;</property>
2568                       <property name="use_underline">False</property>
2569                       <property name="use_markup">True</property>
2570                       <property name="justify">GTK_JUSTIFY_LEFT</property>
2571                       <property name="wrap">False</property>
2572                       <property name="selectable">False</property>
2573                       <property name="xalign">0</property>
2574                       <property name="yalign">0.5</property>
2575                       <property name="xpad">0</property>
2576                       <property name="ypad">0</property>
2577                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2578                       <property name="width_chars">-1</property>
2579                       <property name="single_line_mode">False</property>
2580                       <property name="angle">0</property>
2581                     </widget>
2582                     <packing>
2583                       <property name="padding">0</property>
2584                       <property name="expand">False</property>
2585                       <property name="fill">False</property>
2586                     </packing>
2587                   </child>
2588
2589                   <child>
2590                     <widget class="GtkHBox" id="hbox33">
2591                       <property name="visible">True</property>
2592                       <property name="homogeneous">False</property>
2593                       <property name="spacing">0</property>
2594
2595                       <child>
2596                         <widget class="GtkLabel" id="label71">
2597                           <property name="visible">True</property>
2598                           <property name="label" translatable="yes">    </property>
2599                           <property name="use_underline">False</property>
2600                           <property name="use_markup">False</property>
2601                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2602                           <property name="wrap">False</property>
2603                           <property name="selectable">False</property>
2604                           <property name="xalign">0.5</property>
2605                           <property name="yalign">0.5</property>
2606                           <property name="xpad">0</property>
2607                           <property name="ypad">0</property>
2608                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2609                           <property name="width_chars">-1</property>
2610                           <property name="single_line_mode">False</property>
2611                           <property name="angle">0</property>
2612                         </widget>
2613                         <packing>
2614                           <property name="padding">0</property>
2615                           <property name="expand">False</property>
2616                           <property name="fill">False</property>
2617                         </packing>
2618                       </child>
2619
2620                       <child>
2621                         <widget class="GtkVBox" id="vbox30">
2622                           <property name="visible">True</property>
2623                           <property name="homogeneous">False</property>
2624                           <property name="spacing">6</property>
2625
2626                           <child>
2627                             <widget class="GtkHBox" id="hbox19">
2628                               <property name="visible">True</property>
2629                               <property name="homogeneous">False</property>
2630                               <property name="spacing">12</property>
2631
2632                               <child>
2633                                 <widget class="GtkLabel" id="dock_position_label">
2634                                   <property name="visible">True</property>
2635                                   <property name="label" translatable="yes">_Position:</property>
2636                                   <property name="use_underline">True</property>
2637                                   <property name="use_markup">False</property>
2638                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2639                                   <property name="wrap">False</property>
2640                                   <property name="selectable">False</property>
2641                                   <property name="xalign">0</property>
2642                                   <property name="yalign">0.5</property>
2643                                   <property name="xpad">0</property>
2644                                   <property name="ypad">0</property>
2645                                   <property name="mnemonic_widget">dock_position</property>
2646                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2647                                   <property name="width_chars">-1</property>
2648                                   <property name="single_line_mode">False</property>
2649                                   <property name="angle">0</property>
2650                                 </widget>
2651                                 <packing>
2652                                   <property name="padding">0</property>
2653                                   <property name="expand">False</property>
2654                                   <property name="fill">False</property>
2655                                 </packing>
2656                               </child>
2657
2658                               <child>
2659                                 <widget class="GtkOptionMenu" id="dock_position">
2660                                   <property name="visible">True</property>
2661                                   <property name="can_focus">True</property>
2662                                   <property name="history">0</property>
2663
2664                                   <child>
2665                                     <widget class="GtkMenu" id="menu5">
2666
2667                                       <child>
2668                                         <widget class="GtkMenuItem" id="top_left">
2669                                           <property name="visible">True</property>
2670                                           <property name="label" translatable="yes">Top Left</property>
2671                                           <property name="use_underline">True</property>
2672                                           <signal name="activate" handler="on_dock_top_left_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
2673                                         </widget>
2674                                       </child>
2675
2676                                       <child>
2677                                         <widget class="GtkMenuItem" id="top">
2678                                           <property name="visible">True</property>
2679                                           <property name="label" translatable="yes">Top</property>
2680                                           <property name="use_underline">True</property>
2681                                           <signal name="activate" handler="on_dock_top_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
2682                                         </widget>
2683                                       </child>
2684
2685                                       <child>
2686                                         <widget class="GtkMenuItem" id="top_right">
2687                                           <property name="visible">True</property>
2688                                           <property name="label" translatable="yes">Top Right</property>
2689                                           <property name="use_underline">True</property>
2690                                           <signal name="activate" handler="on_dock_top_right_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
2691                                         </widget>
2692                                       </child>
2693
2694                                       <child>
2695                                         <widget class="GtkMenuItem" id="left">
2696                                           <property name="visible">True</property>
2697                                           <property name="label" translatable="yes">Left</property>
2698                                           <property name="use_underline">True</property>
2699                                           <signal name="activate" handler="on_dock_left_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
2700                                         </widget>
2701                                       </child>
2702
2703                                       <child>
2704                                         <widget class="GtkMenuItem" id="right">
2705                                           <property name="visible">True</property>
2706                                           <property name="label" translatable="yes">Right</property>
2707                                           <property name="use_underline">True</property>
2708                                           <signal name="activate" handler="on_dock_right_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
2709                                         </widget>
2710                                       </child>
2711
2712                                       <child>
2713                                         <widget class="GtkMenuItem" id="bottom_left">
2714                                           <property name="visible">True</property>
2715                                           <property name="label" translatable="yes">Bottom Left</property>
2716                                           <property name="use_underline">True</property>
2717                                           <signal name="activate" handler="on_dock_bottom_left_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
2718                                         </widget>
2719                                       </child>
2720
2721                                       <child>
2722                                         <widget class="GtkMenuItem" id="bottom">
2723                                           <property name="visible">True</property>
2724                                           <property name="label" translatable="yes">Bottom</property>
2725                                           <property name="use_underline">True</property>
2726                                           <signal name="activate" handler="on_dock_bottom_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
2727                                         </widget>
2728                                       </child>
2729
2730                                       <child>
2731                                         <widget class="GtkMenuItem" id="bottom_right">
2732                                           <property name="visible">True</property>
2733                                           <property name="label" translatable="yes">Bottom Right</property>
2734                                           <property name="use_underline">True</property>
2735                                           <signal name="activate" handler="on_dock_bottom_right_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
2736                                         </widget>
2737                                       </child>
2738
2739                                       <child>
2740                                         <widget class="GtkMenuItem" id="floating">
2741                                           <property name="visible">True</property>
2742                                           <property name="label" translatable="yes">Floating</property>
2743                                           <property name="use_underline">True</property>
2744                                           <signal name="activate" handler="on_dock_floating_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
2745                                         </widget>
2746                                       </child>
2747                                     </widget>
2748                                   </child>
2749                                 </widget>
2750                                 <packing>
2751                                   <property name="padding">0</property>
2752                                   <property name="expand">False</property>
2753                                   <property name="fill">False</property>
2754                                 </packing>
2755                               </child>
2756                             </widget>
2757                             <packing>
2758                               <property name="padding">0</property>
2759                               <property name="expand">False</property>
2760                               <property name="fill">False</property>
2761                             </packing>
2762                           </child>
2763
2764                           <child>
2765                             <widget class="GtkHBox" id="hbox36">
2766                               <property name="visible">True</property>
2767                               <property name="homogeneous">False</property>
2768                               <property name="spacing">0</property>
2769
2770                               <child>
2771                                 <widget class="GtkLabel" id="label76">
2772                                   <property name="visible">True</property>
2773                                   <property name="label" translatable="yes">    </property>
2774                                   <property name="use_underline">False</property>
2775                                   <property name="use_markup">False</property>
2776                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2777                                   <property name="wrap">False</property>
2778                                   <property name="selectable">False</property>
2779                                   <property name="xalign">0.5</property>
2780                                   <property name="yalign">0.5</property>
2781                                   <property name="xpad">0</property>
2782                                   <property name="ypad">0</property>
2783                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2784                                   <property name="width_chars">-1</property>
2785                                   <property name="single_line_mode">False</property>
2786                                   <property name="angle">0</property>
2787                                 </widget>
2788                                 <packing>
2789                                   <property name="padding">0</property>
2790                                   <property name="expand">False</property>
2791                                   <property name="fill">False</property>
2792                                 </packing>
2793                               </child>
2794
2795                               <child>
2796                                 <widget class="GtkHBox" id="hbox20">
2797                                   <property name="visible">True</property>
2798                                   <property name="homogeneous">False</property>
2799                                   <property name="spacing">6</property>
2800
2801                                   <child>
2802                                     <widget class="GtkLabel" id="dock_float_label">
2803                                       <property name="visible">True</property>
2804                                       <property name="label" translatable="yes">_Floating position:</property>
2805                                       <property name="use_underline">True</property>
2806                                       <property name="use_markup">False</property>
2807                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
2808                                       <property name="wrap">False</property>
2809                                       <property name="selectable">False</property>
2810                                       <property name="xalign">0.5</property>
2811                                       <property name="yalign">0.5</property>
2812                                       <property name="xpad">0</property>
2813                                       <property name="ypad">0</property>
2814                                       <property name="mnemonic_widget">dock_float_x</property>
2815                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2816                                       <property name="width_chars">-1</property>
2817                                       <property name="single_line_mode">False</property>
2818                                       <property name="angle">0</property>
2819                                     </widget>
2820                                     <packing>
2821                                       <property name="padding">0</property>
2822                                       <property name="expand">False</property>
2823                                       <property name="fill">False</property>
2824                                     </packing>
2825                                   </child>
2826
2827                                   <child>
2828                                     <widget class="GtkSpinButton" id="dock_float_x">
2829                                       <property name="visible">True</property>
2830                                       <property name="can_focus">True</property>
2831                                       <property name="climb_rate">1</property>
2832                                       <property name="digits">0</property>
2833                                       <property name="numeric">True</property>
2834                                       <property name="update_policy">GTK_UPDATE_ALWAYS</property>
2835                                       <property name="snap_to_ticks">False</property>
2836                                       <property name="wrap">False</property>
2837                                       <property name="adjustment">1 0 10000 1 10 10</property>
2838                                       <signal name="value_changed" handler="on_dock_float_x_value_changed" after="yes" last_modification_time="Sun, 14 Sep 2003 11:07:38 GMT"/>
2839                                     </widget>
2840                                     <packing>
2841                                       <property name="padding">0</property>
2842                                       <property name="expand">False</property>
2843                                       <property name="fill">True</property>
2844                                     </packing>
2845                                   </child>
2846
2847                                   <child>
2848                                     <widget class="GtkLabel" id="dock_float_label_x">
2849                                       <property name="visible">True</property>
2850                                       <property name="label" translatable="yes">x</property>
2851                                       <property name="use_underline">False</property>
2852                                       <property name="use_markup">False</property>
2853                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
2854                                       <property name="wrap">False</property>
2855                                       <property name="selectable">False</property>
2856                                       <property name="xalign">0.5</property>
2857                                       <property name="yalign">0.5</property>
2858                                       <property name="xpad">0</property>
2859                                       <property name="ypad">0</property>
2860                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2861                                       <property name="width_chars">-1</property>
2862                                       <property name="single_line_mode">False</property>
2863                                       <property name="angle">0</property>
2864                                     </widget>
2865                                     <packing>
2866                                       <property name="padding">0</property>
2867                                       <property name="expand">False</property>
2868                                       <property name="fill">False</property>
2869                                     </packing>
2870                                   </child>
2871
2872                                   <child>
2873                                     <widget class="GtkSpinButton" id="dock_float_y">
2874                                       <property name="visible">True</property>
2875                                       <property name="can_focus">True</property>
2876                                       <property name="climb_rate">1</property>
2877                                       <property name="digits">0</property>
2878                                       <property name="numeric">True</property>
2879                                       <property name="update_policy">GTK_UPDATE_ALWAYS</property>
2880                                       <property name="snap_to_ticks">False</property>
2881                                       <property name="wrap">False</property>
2882                                       <property name="adjustment">1 0 10000 1 10 10</property>
2883                                       <signal name="value_changed" handler="on_dock_float_y_value_changed" after="yes" last_modification_time="Sun, 14 Sep 2003 11:08:09 GMT"/>
2884                                     </widget>
2885                                     <packing>
2886                                       <property name="padding">0</property>
2887                                       <property name="expand">False</property>
2888                                       <property name="fill">True</property>
2889                                     </packing>
2890                                   </child>
2891                                 </widget>
2892                                 <packing>
2893                                   <property name="padding">0</property>
2894                                   <property name="expand">True</property>
2895                                   <property name="fill">True</property>
2896                                 </packing>
2897                               </child>
2898                             </widget>
2899                             <packing>
2900                               <property name="padding">0</property>
2901                               <property name="expand">False</property>
2902                               <property name="fill">False</property>
2903                             </packing>
2904                           </child>
2905
2906                           <child>
2907                             <widget class="GtkHBox" id="hbox58">
2908                               <property name="visible">True</property>
2909                               <property name="homogeneous">False</property>
2910                               <property name="spacing">0</property>
2911
2912                               <child>
2913                                 <widget class="GtkLabel" id="label108">
2914                                   <property name="visible">True</property>
2915                                   <property name="label" translatable="yes">    </property>
2916                                   <property name="use_underline">False</property>
2917                                   <property name="use_markup">False</property>
2918                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2919                                   <property name="wrap">False</property>
2920                                   <property name="selectable">False</property>
2921                                   <property name="xalign">0.5</property>
2922                                   <property name="yalign">0.5</property>
2923                                   <property name="xpad">0</property>
2924                                   <property name="ypad">0</property>
2925                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2926                                   <property name="width_chars">-1</property>
2927                                   <property name="single_line_mode">False</property>
2928                                   <property name="angle">0</property>
2929                                 </widget>
2930                                 <packing>
2931                                   <property name="padding">0</property>
2932                                   <property name="expand">False</property>
2933                                   <property name="fill">False</property>
2934                                 </packing>
2935                               </child>
2936
2937                               <child>
2938                                 <widget class="GtkCheckButton" id="dock_nostrut">
2939                                   <property name="visible">True</property>
2940                                   <property name="can_focus">True</property>
2941                                   <property name="label" translatable="yes">Allow _windows to be placed within the dock's area</property>
2942                                   <property name="use_underline">True</property>
2943                                   <property name="relief">GTK_RELIEF_NORMAL</property>
2944                                   <property name="focus_on_click">True</property>
2945                                   <property name="active">False</property>
2946                                   <property name="inconsistent">False</property>
2947                                   <property name="draw_indicator">True</property>
2948                                   <signal name="toggled" handler="on_dock_nostrut_toggled" last_modification_time="Thu, 31 May 2007 15:33:51 GMT"/>
2949                                 </widget>
2950                                 <packing>
2951                                   <property name="padding">0</property>
2952                                   <property name="expand">False</property>
2953                                   <property name="fill">False</property>
2954                                 </packing>
2955                               </child>
2956                             </widget>
2957                             <packing>
2958                               <property name="padding">0</property>
2959                               <property name="expand">True</property>
2960                               <property name="fill">True</property>
2961                             </packing>
2962                           </child>
2963
2964                           <child>
2965                             <widget class="GtkHBox" id="hbox38">
2966                               <property name="visible">True</property>
2967                               <property name="homogeneous">False</property>
2968                               <property name="spacing">12</property>
2969
2970                               <child>
2971                                 <widget class="GtkLabel" id="dock_direction_label">
2972                                   <property name="visible">True</property>
2973                                   <property name="label" translatable="yes">_Orientation: </property>
2974                                   <property name="use_underline">True</property>
2975                                   <property name="use_markup">False</property>
2976                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2977                                   <property name="wrap">False</property>
2978                                   <property name="selectable">False</property>
2979                                   <property name="xalign">0</property>
2980                                   <property name="yalign">0.5</property>
2981                                   <property name="xpad">0</property>
2982                                   <property name="ypad">0</property>
2983                                   <property name="mnemonic_widget">dock_direction</property>
2984                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2985                                   <property name="width_chars">-1</property>
2986                                   <property name="single_line_mode">False</property>
2987                                   <property name="angle">0</property>
2988                                 </widget>
2989                                 <packing>
2990                                   <property name="padding">0</property>
2991                                   <property name="expand">False</property>
2992                                   <property name="fill">False</property>
2993                                 </packing>
2994                               </child>
2995
2996                               <child>
2997                                 <widget class="GtkOptionMenu" id="dock_direction">
2998                                   <property name="visible">True</property>
2999                                   <property name="can_focus">True</property>
3000                                   <property name="history">0</property>
3001
3002                                   <child>
3003                                     <widget class="GtkMenu" id="menu7">
3004
3005                                       <child>
3006                                         <widget class="GtkMenuItem" id="vertical">
3007                                           <property name="visible">True</property>
3008                                           <property name="label" translatable="yes">Vertical</property>
3009                                           <property name="use_underline">True</property>
3010                                           <signal name="activate" handler="on_dock_vertical_activate" last_modification_time="Sun, 07 Sep 2003 20:38:38 GMT"/>
3011                                         </widget>
3012                                       </child>
3013
3014                                       <child>
3015                                         <widget class="GtkMenuItem" id="horizontal">
3016                                           <property name="visible">True</property>
3017                                           <property name="label" translatable="yes">Horizontal</property>
3018                                           <property name="use_underline">True</property>
3019                                           <signal name="activate" handler="on_dock_horizontal_activate" last_modification_time="Sun, 07 Sep 2003 20:38:38 GMT"/>
3020                                         </widget>
3021                                       </child>
3022                                     </widget>
3023                                   </child>
3024                                 </widget>
3025                                 <packing>
3026                                   <property name="padding">0</property>
3027                                   <property name="expand">False</property>
3028                                   <property name="fill">False</property>
3029                                 </packing>
3030                               </child>
3031                             </widget>
3032                             <packing>
3033                               <property name="padding">0</property>
3034                               <property name="expand">True</property>
3035                               <property name="fill">True</property>
3036                             </packing>
3037                           </child>
3038                         </widget>
3039                         <packing>
3040                           <property name="padding">0</property>
3041                           <property name="expand">True</property>
3042                           <property name="fill">True</property>
3043                         </packing>
3044                       </child>
3045                     </widget>
3046                     <packing>
3047                       <property name="padding">0</property>
3048                       <property name="expand">False</property>
3049                       <property name="fill">False</property>
3050                     </packing>
3051                   </child>
3052                 </widget>
3053                 <packing>
3054                   <property name="padding">0</property>
3055                   <property name="expand">False</property>
3056                   <property name="fill">False</property>
3057                 </packing>
3058               </child>
3059
3060               <child>
3061                 <widget class="GtkVBox" id="vbox28">
3062                   <property name="visible">True</property>
3063                   <property name="homogeneous">False</property>
3064                   <property name="spacing">6</property>
3065
3066                   <child>
3067                     <widget class="GtkLabel" id="label74">
3068                       <property name="visible">True</property>
3069                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Stacking&lt;/span&gt;</property>
3070                       <property name="use_underline">False</property>
3071                       <property name="use_markup">True</property>
3072                       <property name="justify">GTK_JUSTIFY_LEFT</property>
3073                       <property name="wrap">False</property>
3074                       <property name="selectable">False</property>
3075                       <property name="xalign">0</property>
3076                       <property name="yalign">0.5</property>
3077                       <property name="xpad">0</property>
3078                       <property name="ypad">0</property>
3079                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3080                       <property name="width_chars">-1</property>
3081                       <property name="single_line_mode">False</property>
3082                       <property name="angle">0</property>
3083                     </widget>
3084                     <packing>
3085                       <property name="padding">0</property>
3086                       <property name="expand">False</property>
3087                       <property name="fill">False</property>
3088                     </packing>
3089                   </child>
3090
3091                   <child>
3092                     <widget class="GtkHBox" id="hbox34">
3093                       <property name="visible">True</property>
3094                       <property name="homogeneous">False</property>
3095                       <property name="spacing">0</property>
3096
3097                       <child>
3098                         <widget class="GtkLabel" id="label72">
3099                           <property name="visible">True</property>
3100                           <property name="label" translatable="yes">    </property>
3101                           <property name="use_underline">False</property>
3102                           <property name="use_markup">False</property>
3103                           <property name="justify">GTK_JUSTIFY_LEFT</property>
3104                           <property name="wrap">False</property>
3105                           <property name="selectable">False</property>
3106                           <property name="xalign">0.5</property>
3107                           <property name="yalign">0.5</property>
3108                           <property name="xpad">0</property>
3109                           <property name="ypad">0</property>
3110                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3111                           <property name="width_chars">-1</property>
3112                           <property name="single_line_mode">False</property>
3113                           <property name="angle">0</property>
3114                         </widget>
3115                         <packing>
3116                           <property name="padding">0</property>
3117                           <property name="expand">False</property>
3118                           <property name="fill">False</property>
3119                         </packing>
3120                       </child>
3121
3122                       <child>
3123                         <widget class="GtkVBox" id="vbox31">
3124                           <property name="visible">True</property>
3125                           <property name="homogeneous">False</property>
3126                           <property name="spacing">6</property>
3127
3128                           <child>
3129                             <widget class="GtkRadioButton" id="dock_stack_top">
3130                               <property name="visible">True</property>
3131                               <property name="can_focus">True</property>
3132                               <property name="label" translatable="yes">Keep dock _above other windows</property>
3133                               <property name="use_underline">True</property>
3134                               <property name="relief">GTK_RELIEF_NORMAL</property>
3135                               <property name="focus_on_click">True</property>
3136                               <property name="active">False</property>
3137                               <property name="inconsistent">False</property>
3138                               <property name="draw_indicator">True</property>
3139                               <signal name="toggled" handler="on_dock_stacking_top_toggled" after="yes" last_modification_time="Wed, 24 Sep 2003 13:56:02 GMT"/>
3140                             </widget>
3141                             <packing>
3142                               <property name="padding">0</property>
3143                               <property name="expand">False</property>
3144                               <property name="fill">False</property>
3145                             </packing>
3146                           </child>
3147
3148                           <child>
3149                             <widget class="GtkRadioButton" id="dock_stack_normal">
3150                               <property name="visible">True</property>
3151                               <property name="can_focus">True</property>
3152                               <property name="label" translatable="yes">A_llow dock to be both above and below windows</property>
3153                               <property name="use_underline">True</property>
3154                               <property name="relief">GTK_RELIEF_NORMAL</property>
3155                               <property name="focus_on_click">True</property>
3156                               <property name="active">False</property>
3157                               <property name="inconsistent">False</property>
3158                               <property name="draw_indicator">True</property>
3159                               <property name="group">dock_stack_top</property>
3160                               <signal name="toggled" handler="on_dock_stacking_normal_toggled" after="yes" last_modification_time="Wed, 24 Sep 2003 13:56:08 GMT"/>
3161                             </widget>
3162                             <packing>
3163                               <property name="padding">0</property>
3164                               <property name="expand">False</property>
3165                               <property name="fill">False</property>
3166                             </packing>
3167                           </child>
3168
3169                           <child>
3170                             <widget class="GtkRadioButton" id="dock_stack_bottom">
3171                               <property name="visible">True</property>
3172                               <property name="can_focus">True</property>
3173                               <property name="label" translatable="yes">Keep dock _below other windows</property>
3174                               <property name="use_underline">True</property>
3175                               <property name="relief">GTK_RELIEF_NORMAL</property>
3176                               <property name="focus_on_click">True</property>
3177                               <property name="active">False</property>
3178                               <property name="inconsistent">False</property>
3179                               <property name="draw_indicator">True</property>
3180                               <property name="group">dock_stack_top</property>
3181                               <signal name="toggled" handler="on_dock_stacking_bottom_toggled" after="yes" last_modification_time="Wed, 24 Sep 2003 13:56:15 GMT"/>
3182                             </widget>
3183                             <packing>
3184                               <property name="padding">0</property>
3185                               <property name="expand">False</property>
3186                               <property name="fill">False</property>
3187                             </packing>
3188                           </child>
3189                         </widget>
3190                         <packing>
3191                           <property name="padding">0</property>
3192                           <property name="expand">False</property>
3193                           <property name="fill">False</property>
3194                         </packing>
3195                       </child>
3196                     </widget>
3197                     <packing>
3198                       <property name="padding">0</property>
3199                       <property name="expand">False</property>
3200                       <property name="fill">False</property>
3201                     </packing>
3202                   </child>
3203                 </widget>
3204                 <packing>
3205                   <property name="padding">0</property>
3206                   <property name="expand">False</property>
3207                   <property name="fill">False</property>
3208                 </packing>
3209               </child>
3210
3211               <child>
3212                 <widget class="GtkVBox" id="vbox29">
3213                   <property name="visible">True</property>
3214                   <property name="homogeneous">False</property>
3215                   <property name="spacing">6</property>
3216
3217                   <child>
3218                     <widget class="GtkLabel" id="label75">
3219                       <property name="visible">True</property>
3220                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Hiding&lt;/span&gt;</property>
3221                       <property name="use_underline">False</property>
3222                       <property name="use_markup">True</property>
3223                       <property name="justify">GTK_JUSTIFY_LEFT</property>
3224                       <property name="wrap">False</property>
3225                       <property name="selectable">False</property>
3226                       <property name="xalign">0</property>
3227                       <property name="yalign">0.5</property>
3228                       <property name="xpad">0</property>
3229                       <property name="ypad">0</property>
3230                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3231                       <property name="width_chars">-1</property>
3232                       <property name="single_line_mode">False</property>
3233                       <property name="angle">0</property>
3234                     </widget>
3235                     <packing>
3236                       <property name="padding">0</property>
3237                       <property name="expand">False</property>
3238                       <property name="fill">False</property>
3239                     </packing>
3240                   </child>
3241
3242                   <child>
3243                     <widget class="GtkHBox" id="hbox35">
3244                       <property name="visible">True</property>
3245                       <property name="homogeneous">False</property>
3246                       <property name="spacing">0</property>
3247
3248                       <child>
3249                         <widget class="GtkLabel" id="label73">
3250                           <property name="visible">True</property>
3251                           <property name="label" translatable="yes">    </property>
3252                           <property name="use_underline">False</property>
3253                           <property name="use_markup">False</property>
3254                           <property name="justify">GTK_JUSTIFY_LEFT</property>
3255                           <property name="wrap">False</property>
3256                           <property name="selectable">False</property>
3257                           <property name="xalign">0.5</property>
3258                           <property name="yalign">0.5</property>
3259                           <property name="xpad">0</property>
3260                           <property name="ypad">0</property>
3261                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3262                           <property name="width_chars">-1</property>
3263                           <property name="single_line_mode">False</property>
3264                           <property name="angle">0</property>
3265                         </widget>
3266                         <packing>
3267                           <property name="padding">0</property>
3268                           <property name="expand">False</property>
3269                           <property name="fill">False</property>
3270                         </packing>
3271                       </child>
3272
3273                       <child>
3274                         <widget class="GtkVBox" id="vbox32">
3275                           <property name="visible">True</property>
3276                           <property name="homogeneous">False</property>
3277                           <property name="spacing">6</property>
3278
3279                           <child>
3280                             <widget class="GtkCheckButton" id="dock_hide">
3281                               <property name="visible">True</property>
3282                               <property name="can_focus">True</property>
3283                               <property name="label" translatable="yes">_Hide off screen</property>
3284                               <property name="use_underline">True</property>
3285                               <property name="relief">GTK_RELIEF_NORMAL</property>
3286                               <property name="focus_on_click">True</property>
3287                               <property name="active">False</property>
3288                               <property name="inconsistent">False</property>
3289                               <property name="draw_indicator">True</property>
3290                               <signal name="toggled" handler="on_dock_hide_toggled" last_modification_time="Sun, 14 Sep 2003 11:08:31 GMT"/>
3291                             </widget>
3292                             <packing>
3293                               <property name="padding">0</property>
3294                               <property name="expand">False</property>
3295                               <property name="fill">False</property>
3296                             </packing>
3297                           </child>
3298
3299                           <child>
3300                             <widget class="GtkHBox" id="hbox37">
3301                               <property name="visible">True</property>
3302                               <property name="homogeneous">False</property>
3303                               <property name="spacing">0</property>
3304
3305                               <child>
3306                                 <widget class="GtkLabel" id="label77">
3307                                   <property name="visible">True</property>
3308                                   <property name="label" translatable="yes">    </property>
3309                                   <property name="use_underline">False</property>
3310                                   <property name="use_markup">False</property>
3311                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
3312                                   <property name="wrap">False</property>
3313                                   <property name="selectable">False</property>
3314                                   <property name="xalign">0.5</property>
3315                                   <property name="yalign">0.5</property>
3316                                   <property name="xpad">0</property>
3317                                   <property name="ypad">0</property>
3318                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3319                                   <property name="width_chars">-1</property>
3320                                   <property name="single_line_mode">False</property>
3321                                   <property name="angle">0</property>
3322                                 </widget>
3323                                 <packing>
3324                                   <property name="padding">0</property>
3325                                   <property name="expand">False</property>
3326                                   <property name="fill">False</property>
3327                                 </packing>
3328                               </child>
3329
3330                               <child>
3331                                 <widget class="GtkHBox" id="hbox23">
3332                                   <property name="visible">True</property>
3333                                   <property name="homogeneous">False</property>
3334                                   <property name="spacing">6</property>
3335
3336                                   <child>
3337                                     <widget class="GtkLabel" id="dock_hide_label">
3338                                       <property name="visible">True</property>
3339                                       <property name="label" translatable="yes">_Delay before hiding:</property>
3340                                       <property name="use_underline">True</property>
3341                                       <property name="use_markup">False</property>
3342                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
3343                                       <property name="wrap">False</property>
3344                                       <property name="selectable">False</property>
3345                                       <property name="xalign">0</property>
3346                                       <property name="yalign">0.5</property>
3347                                       <property name="xpad">0</property>
3348                                       <property name="ypad">0</property>
3349                                       <property name="mnemonic_widget">dock_hide_delay</property>
3350                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3351                                       <property name="width_chars">-1</property>
3352                                       <property name="single_line_mode">False</property>
3353                                       <property name="angle">0</property>
3354                                     </widget>
3355                                     <packing>
3356                                       <property name="padding">0</property>
3357                                       <property name="expand">False</property>
3358                                       <property name="fill">False</property>
3359                                     </packing>
3360                                   </child>
3361
3362                                   <child>
3363                                     <widget class="GtkSpinButton" id="dock_hide_delay">
3364                                       <property name="visible">True</property>
3365                                       <property name="can_focus">True</property>
3366                                       <property name="climb_rate">1</property>
3367                                       <property name="digits">0</property>
3368                                       <property name="numeric">True</property>
3369                                       <property name="update_policy">GTK_UPDATE_ALWAYS</property>
3370                                       <property name="snap_to_ticks">False</property>
3371                                       <property name="wrap">False</property>
3372                                       <property name="adjustment">300 0 10000 10 10 10</property>
3373                                       <signal name="value_changed" handler="on_dock_hide_delay_value_changed" after="yes" last_modification_time="Sun, 14 Sep 2003 11:08:49 GMT"/>
3374                                     </widget>
3375                                     <packing>
3376                                       <property name="padding">0</property>
3377                                       <property name="expand">False</property>
3378                                       <property name="fill">True</property>
3379                                     </packing>
3380                                   </child>
3381
3382                                   <child>
3383                                     <widget class="GtkLabel" id="dock_hide_label_units">
3384                                       <property name="visible">True</property>
3385                                       <property name="label" translatable="yes">ms</property>
3386                                       <property name="use_underline">False</property>
3387                                       <property name="use_markup">False</property>
3388                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
3389                                       <property name="wrap">False</property>
3390                                       <property name="selectable">False</property>
3391                                       <property name="xalign">0.5</property>
3392                                       <property name="yalign">0.5</property>
3393                                       <property name="xpad">0</property>
3394                                       <property name="ypad">0</property>
3395                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3396                                       <property name="width_chars">-1</property>
3397                                       <property name="single_line_mode">False</property>
3398                                       <property name="angle">0</property>
3399                                     </widget>
3400                                     <packing>
3401                                       <property name="padding">0</property>
3402                                       <property name="expand">False</property>
3403                                       <property name="fill">False</property>
3404                                     </packing>
3405                                   </child>
3406                                 </widget>
3407                                 <packing>
3408                                   <property name="padding">0</property>
3409                                   <property name="expand">True</property>
3410                                   <property name="fill">True</property>
3411                                 </packing>
3412                               </child>
3413                             </widget>
3414                             <packing>
3415                               <property name="padding">0</property>
3416                               <property name="expand">True</property>
3417                               <property name="fill">True</property>
3418                             </packing>
3419                           </child>
3420
3421                           <child>
3422                             <widget class="GtkHBox" id="hbox56">
3423                               <property name="visible">True</property>
3424                               <property name="homogeneous">False</property>
3425                               <property name="spacing">0</property>
3426
3427                               <child>
3428                                 <widget class="GtkLabel" id="label107">
3429                                   <property name="visible">True</property>
3430                                   <property name="label" translatable="yes">    </property>
3431                                   <property name="use_underline">False</property>
3432                                   <property name="use_markup">False</property>
3433                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
3434                                   <property name="wrap">False</property>
3435                                   <property name="selectable">False</property>
3436                                   <property name="xalign">0.5</property>
3437                                   <property name="yalign">0.5</property>
3438                                   <property name="xpad">0</property>
3439                                   <property name="ypad">0</property>
3440                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3441                                   <property name="width_chars">-1</property>
3442                                   <property name="single_line_mode">False</property>
3443                                   <property name="angle">0</property>
3444                                 </widget>
3445                                 <packing>
3446                                   <property name="padding">0</property>
3447                                   <property name="expand">False</property>
3448                                   <property name="fill">False</property>
3449                                 </packing>
3450                               </child>
3451
3452                               <child>
3453                                 <widget class="GtkHBox" id="hbox57">
3454                                   <property name="visible">True</property>
3455                                   <property name="homogeneous">False</property>
3456                                   <property name="spacing">6</property>
3457
3458                                   <child>
3459                                     <widget class="GtkLabel" id="dock_show_label">
3460                                       <property name="visible">True</property>
3461                                       <property name="label" translatable="yes">Delay before _showing:</property>
3462                                       <property name="use_underline">True</property>
3463                                       <property name="use_markup">False</property>
3464                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
3465                                       <property name="wrap">False</property>
3466                                       <property name="selectable">False</property>
3467                                       <property name="xalign">0</property>
3468                                       <property name="yalign">0.5</property>
3469                                       <property name="xpad">0</property>
3470                                       <property name="ypad">0</property>
3471                                       <property name="mnemonic_widget">dock_hide_delay</property>
3472                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3473                                       <property name="width_chars">-1</property>
3474                                       <property name="single_line_mode">False</property>
3475                                       <property name="angle">0</property>
3476                                     </widget>
3477                                     <packing>
3478                                       <property name="padding">0</property>
3479                                       <property name="expand">False</property>
3480                                       <property name="fill">False</property>
3481                                     </packing>
3482                                   </child>
3483
3484                                   <child>
3485                                     <widget class="GtkSpinButton" id="dock_show_delay">
3486                                       <property name="visible">True</property>
3487                                       <property name="can_focus">True</property>
3488                                       <property name="climb_rate">1</property>
3489                                       <property name="digits">0</property>
3490                                       <property name="numeric">True</property>
3491                                       <property name="update_policy">GTK_UPDATE_ALWAYS</property>
3492                                       <property name="snap_to_ticks">False</property>
3493                                       <property name="wrap">False</property>
3494                                       <property name="adjustment">300 0 10000 10 10 10</property>
3495                                       <signal name="value_changed" handler="on_dock_show_delay_value_changed" after="yes" last_modification_time="Thu, 31 May 2007 15:17:16 GMT"/>
3496                                     </widget>
3497                                     <packing>
3498                                       <property name="padding">0</property>
3499                                       <property name="expand">False</property>
3500                                       <property name="fill">True</property>
3501                                     </packing>
3502                                   </child>
3503
3504                                   <child>
3505                                     <widget class="GtkLabel" id="dock_show_label_units">
3506                                       <property name="visible">True</property>
3507                                       <property name="label" translatable="yes">ms</property>
3508                                       <property name="use_underline">False</property>
3509                                       <property name="use_markup">False</property>
3510                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
3511                                       <property name="wrap">False</property>
3512                                       <property name="selectable">False</property>
3513                                       <property name="xalign">0.5</property>
3514                                       <property name="yalign">0.5</property>
3515                                       <property name="xpad">0</property>
3516                                       <property name="ypad">0</property>
3517                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3518                                       <property name="width_chars">-1</property>
3519                                       <property name="single_line_mode">False</property>
3520                                       <property name="angle">0</property>
3521                                     </widget>
3522                                     <packing>
3523                                       <property name="padding">0</property>
3524                                       <property name="expand">False</property>
3525                                       <property name="fill">False</property>
3526                                     </packing>
3527                                   </child>
3528                                 </widget>
3529                                 <packing>
3530                                   <property name="padding">0</property>
3531                                   <property name="expand">True</property>
3532                                   <property name="fill">True</property>
3533                                 </packing>
3534                               </child>
3535                             </widget>
3536                             <packing>
3537                               <property name="padding">0</property>
3538                               <property name="expand">True</property>
3539                               <property name="fill">True</property>
3540                             </packing>
3541                           </child>
3542                         </widget>
3543                         <packing>
3544                           <property name="padding">0</property>
3545                           <property name="expand">True</property>
3546                           <property name="fill">True</property>
3547                         </packing>
3548                       </child>
3549                     </widget>
3550                     <packing>
3551                       <property name="padding">0</property>
3552                       <property name="expand">True</property>
3553                       <property name="fill">True</property>
3554                     </packing>
3555                   </child>
3556                 </widget>
3557                 <packing>
3558                   <property name="padding">0</property>
3559                   <property name="expand">False</property>
3560                   <property name="fill">False</property>
3561                 </packing>
3562               </child>
3563             </widget>
3564             <packing>
3565               <property name="tab_expand">False</property>
3566               <property name="tab_fill">True</property>
3567             </packing>
3568           </child>
3569
3570           <child>
3571             <widget class="GtkLabel" id="label41">
3572               <property name="visible">True</property>
3573               <property name="label" translatable="yes">Dock</property>
3574               <property name="use_underline">False</property>
3575               <property name="use_markup">False</property>
3576               <property name="justify">GTK_JUSTIFY_LEFT</property>
3577               <property name="wrap">False</property>
3578               <property name="selectable">False</property>
3579               <property name="xalign">0.5</property>
3580               <property name="yalign">0.5</property>
3581               <property name="xpad">0</property>
3582               <property name="ypad">0</property>
3583               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3584               <property name="width_chars">-1</property>
3585               <property name="single_line_mode">False</property>
3586               <property name="angle">0</property>
3587             </widget>
3588             <packing>
3589               <property name="type">tab</property>
3590             </packing>
3591           </child>
3592         </widget>
3593         <packing>
3594           <property name="padding">0</property>
3595           <property name="expand">True</property>
3596           <property name="fill">True</property>
3597         </packing>
3598       </child>
3599
3600       <child>
3601         <widget class="GtkHBox" id="hbox39">
3602           <property name="visible">True</property>
3603           <property name="homogeneous">False</property>
3604           <property name="spacing">0</property>
3605
3606           <child>
3607             <widget class="GtkHButtonBox" id="hbuttonbox1">
3608               <property name="visible">True</property>
3609               <property name="layout_style">GTK_BUTTONBOX_START</property>
3610               <property name="spacing">0</property>
3611
3612               <child>
3613                 <widget class="GtkButton" id="about">
3614                   <property name="visible">True</property>
3615                   <property name="can_default">True</property>
3616                   <property name="can_focus">True</property>
3617                   <property name="label" translatable="yes">Abo_ut</property>
3618                   <property name="use_underline">True</property>
3619                   <property name="relief">GTK_RELIEF_NORMAL</property>
3620                   <property name="focus_on_click">True</property>
3621                   <signal name="clicked" handler="on_about_clicked" after="yes" last_modification_time="Wed, 24 Sep 2003 15:10:23 GMT"/>
3622                 </widget>
3623               </child>
3624             </widget>
3625             <packing>
3626               <property name="padding">0</property>
3627               <property name="expand">True</property>
3628               <property name="fill">True</property>
3629             </packing>
3630           </child>
3631
3632           <child>
3633             <widget class="GtkHButtonBox" id="hbuttonbox1">
3634               <property name="visible">True</property>
3635               <property name="layout_style">GTK_BUTTONBOX_END</property>
3636               <property name="spacing">0</property>
3637
3638               <child>
3639                 <widget class="GtkButton" id="close">
3640                   <property name="visible">True</property>
3641                   <property name="can_default">True</property>
3642                   <property name="can_focus">True</property>
3643                   <property name="label">gtk-close</property>
3644                   <property name="use_stock">True</property>
3645                   <property name="relief">GTK_RELIEF_NORMAL</property>
3646                   <property name="focus_on_click">True</property>
3647                   <signal name="clicked" handler="on_close_clicked" last_modification_time="Sun, 14 Sep 2003 11:27:56 GMT"/>
3648                 </widget>
3649               </child>
3650             </widget>
3651             <packing>
3652               <property name="padding">0</property>
3653               <property name="expand">True</property>
3654               <property name="fill">True</property>
3655             </packing>
3656           </child>
3657         </widget>
3658         <packing>
3659           <property name="padding">0</property>
3660           <property name="expand">False</property>
3661           <property name="fill">False</property>
3662         </packing>
3663       </child>
3664     </widget>
3665   </child>
3666 </widget>
3667
3668 <widget class="GtkWindow" id="about_window">
3669   <property name="title" translatable="yes">About ObConf</property>
3670   <property name="type">GTK_WINDOW_TOPLEVEL</property>
3671   <property name="window_position">GTK_WIN_POS_NONE</property>
3672   <property name="modal">False</property>
3673   <property name="resizable">True</property>
3674   <property name="destroy_with_parent">False</property>
3675   <property name="decorated">True</property>
3676   <property name="skip_taskbar_hint">False</property>
3677   <property name="skip_pager_hint">False</property>
3678   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
3679   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
3680   <property name="focus_on_map">True</property>
3681   <property name="urgency_hint">False</property>
3682   <signal name="delete_event" handler="on_about_window_delete_event" last_modification_time="Wed, 24 Sep 2003 15:28:37 GMT"/>
3683
3684   <child>
3685     <widget class="GtkVBox" id="vbox33">
3686       <property name="border_width">12</property>
3687       <property name="visible">True</property>
3688       <property name="homogeneous">False</property>
3689       <property name="spacing">12</property>
3690
3691       <child>
3692         <widget class="GtkVBox" id="vbox33">
3693           <property name="visible">True</property>
3694           <property name="homogeneous">False</property>
3695           <property name="spacing">6</property>
3696
3697           <child>
3698             <widget class="GtkLabel" id="title_label">
3699               <property name="visible">True</property>
3700               <property name="can_focus">True</property>
3701               <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot; size=&quot;xx-large&quot;&gt;ObConf VERSION&lt;/span&gt;</property>
3702               <property name="use_underline">False</property>
3703               <property name="use_markup">True</property>
3704               <property name="justify">GTK_JUSTIFY_LEFT</property>
3705               <property name="wrap">False</property>
3706               <property name="selectable">True</property>
3707               <property name="xalign">0.5</property>
3708               <property name="yalign">0.5</property>
3709               <property name="xpad">0</property>
3710               <property name="ypad">0</property>
3711               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3712               <property name="width_chars">-1</property>
3713               <property name="single_line_mode">False</property>
3714               <property name="angle">0</property>
3715             </widget>
3716             <packing>
3717               <property name="padding">0</property>
3718               <property name="expand">False</property>
3719               <property name="fill">False</property>
3720             </packing>
3721           </child>
3722
3723           <child>
3724             <widget class="GtkLabel" id="label81">
3725               <property name="visible">True</property>
3726               <property name="can_focus">True</property>
3727               <property name="label" translatable="yes">A preferences manager for Openbox</property>
3728               <property name="use_underline">False</property>
3729               <property name="use_markup">False</property>
3730               <property name="justify">GTK_JUSTIFY_LEFT</property>
3731               <property name="wrap">False</property>
3732               <property name="selectable">True</property>
3733               <property name="xalign">0.5</property>
3734               <property name="yalign">0.5</property>
3735               <property name="xpad">0</property>
3736               <property name="ypad">0</property>
3737               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3738               <property name="width_chars">-1</property>
3739               <property name="single_line_mode">False</property>
3740               <property name="angle">0</property>
3741             </widget>
3742             <packing>
3743               <property name="padding">0</property>
3744               <property name="expand">False</property>
3745               <property name="fill">False</property>
3746             </packing>
3747           </child>
3748
3749           <child>
3750             <widget class="GtkLabel" id="label80">
3751               <property name="visible">True</property>
3752               <property name="can_focus">True</property>
3753               <property name="label" translatable="yes">Copyright (c) 2003-2007
3754 Dana Jansens &lt;danakj@orodu.net&gt;
3755 Tim Riley &lt;tr@slackzone.org&gt;
3756 Javeed Shaikh &lt;syscrash2k@gmail.com&gt;</property>
3757               <property name="use_underline">False</property>
3758               <property name="use_markup">False</property>
3759               <property name="justify">GTK_JUSTIFY_CENTER</property>
3760               <property name="wrap">False</property>
3761               <property name="selectable">True</property>
3762               <property name="xalign">0.5</property>
3763               <property name="yalign">0.5</property>
3764               <property name="xpad">0</property>
3765               <property name="ypad">0</property>
3766               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3767               <property name="width_chars">-1</property>
3768               <property name="single_line_mode">False</property>
3769               <property name="angle">0</property>
3770             </widget>
3771             <packing>
3772               <property name="padding">0</property>
3773               <property name="expand">False</property>
3774               <property name="fill">False</property>
3775             </packing>
3776           </child>
3777         </widget>
3778         <packing>
3779           <property name="padding">0</property>
3780           <property name="expand">True</property>
3781           <property name="fill">True</property>
3782         </packing>
3783       </child>
3784
3785       <child>
3786         <widget class="GtkHButtonBox" id="hbuttonbox2">
3787           <property name="visible">True</property>
3788           <property name="layout_style">GTK_BUTTONBOX_END</property>
3789           <property name="spacing">0</property>
3790
3791           <child>
3792             <widget class="GtkButton" id="about_close">
3793               <property name="visible">True</property>
3794               <property name="can_default">True</property>
3795               <property name="has_default">True</property>
3796               <property name="can_focus">True</property>
3797               <property name="has_focus">True</property>
3798               <property name="label">gtk-close</property>
3799               <property name="use_stock">True</property>
3800               <property name="relief">GTK_RELIEF_NORMAL</property>
3801               <property name="focus_on_click">True</property>
3802               <signal name="clicked" handler="on_about_close_clicked" after="yes" last_modification_time="Wed, 24 Sep 2003 15:27:04 GMT"/>
3803             </widget>
3804           </child>
3805         </widget>
3806         <packing>
3807           <property name="padding">0</property>
3808           <property name="expand">True</property>
3809           <property name="fill">True</property>
3810         </packing>
3811       </child>
3812     </widget>
3813   </child>
3814 </widget>
3815
3816 <widget class="GtkWindow" id="key_prompt">
3817   <property name="title" translatable="yes">window1</property>
3818   <property name="type">GTK_WINDOW_TOPLEVEL</property>
3819   <property name="window_position">GTK_WIN_POS_NONE</property>
3820   <property name="modal">False</property>
3821   <property name="resizable">True</property>
3822   <property name="destroy_with_parent">False</property>
3823   <property name="decorated">True</property>
3824   <property name="skip_taskbar_hint">False</property>
3825   <property name="skip_pager_hint">False</property>
3826   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
3827   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
3828   <property name="focus_on_map">True</property>
3829   <property name="urgency_hint">False</property>
3830
3831   <child>
3832     <widget class="GtkVBox" id="vbox49">
3833       <property name="border_width">12</property>
3834       <property name="visible">True</property>
3835       <property name="homogeneous">False</property>
3836       <property name="spacing">18</property>
3837
3838       <child>
3839         <widget class="GtkLabel" id="label117">
3840           <property name="visible">True</property>
3841           <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Press the key you wish to bind...&lt;/span&gt;</property>
3842           <property name="use_underline">False</property>
3843           <property name="use_markup">True</property>
3844           <property name="justify">GTK_JUSTIFY_LEFT</property>
3845           <property name="wrap">False</property>
3846           <property name="selectable">False</property>
3847           <property name="xalign">0</property>
3848           <property name="yalign">0.5</property>
3849           <property name="xpad">0</property>
3850           <property name="ypad">0</property>
3851           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3852           <property name="width_chars">-1</property>
3853           <property name="single_line_mode">False</property>
3854           <property name="angle">0</property>
3855         </widget>
3856         <packing>
3857           <property name="padding">0</property>
3858           <property name="expand">False</property>
3859           <property name="fill">False</property>
3860         </packing>
3861       </child>
3862
3863       <child>
3864         <widget class="GtkEntry" id="entry2">
3865           <property name="visible">True</property>
3866           <property name="can_focus">True</property>
3867           <property name="has_focus">True</property>
3868           <property name="editable">True</property>
3869           <property name="visibility">True</property>
3870           <property name="max_length">0</property>
3871           <property name="text" translatable="yes"></property>
3872           <property name="has_frame">True</property>
3873           <property name="invisible_char">●</property>
3874           <property name="activates_default">False</property>
3875         </widget>
3876         <packing>
3877           <property name="padding">0</property>
3878           <property name="expand">False</property>
3879           <property name="fill">False</property>
3880         </packing>
3881       </child>
3882     </widget>
3883   </child>
3884 </widget>
3885
3886 </glade-interface>