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