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