src/obconf.glade

   1 <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
   2 <!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
   3
   4 <glade-interface>
   5
   6 <widget class="GtkWindow" id="main_window">
   7   <property name="border_width">13</property>
   8   <property name="title" translatable="yes">Openbox Configuration Manager</property>
   9   <property name="type">GTK_WINDOW_TOPLEVEL</property>
  10   <property name="window_position">GTK_WIN_POS_NONE</property>
  11   <property name="modal">False</property>
  12   <property name="resizable">True</property>
  13   <property name="destroy_with_parent">False</property>
  14   <property name="decorated">True</property>
  15   <property name="skip_taskbar_hint">False</property>
  16   <property name="skip_pager_hint">False</property>
  17   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
  18   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
  19   <property name="focus_on_map">True</property>
  20   <property name="urgency_hint">False</property>
  21   <signal name="delete_event" handler="on_main_window_delete_event" last_modification_time="Sun, 07 Sep 2003 21:10:11 GMT"/>
  22
  23   <child>
  24     <widget class="GtkVBox" id="vbox8">
  25       <property name="visible">True</property>
  26       <property name="homogeneous">False</property>
  27       <property name="spacing">12</property>
  28
  29       <child>
  30         <widget class="GtkNotebook" id="notebook1">
  31           <property name="visible">True</property>
  32           <property name="can_focus">True</property>
  33           <property name="show_tabs">True</property>
  34           <property name="show_border">True</property>
  35           <property name="tab_pos">GTK_POS_TOP</property>
  36           <property name="scrollable">False</property>
  37           <property name="enable_popup">False</property>
  38
  39           <child>
  40             <widget class="GtkVBox" id="vbox20">
  41               <property name="border_width">12</property>
  42               <property name="visible">True</property>
  43               <property name="homogeneous">False</property>
  44               <property name="spacing">6</property>
  45
  46               <child>
  47                 <widget class="GtkVBox" id="vbox21">
  48                   <property name="visible">True</property>
  49                   <property name="homogeneous">False</property>
  50                   <property name="spacing">6</property>
  51
  52                   <child>
  53                     <widget class="GtkLabel" id="label59">
  54                       <property name="visible">True</property>
  55                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Theme&lt;/span&gt;</property>
  56                       <property name="use_underline">False</property>
  57                       <property name="use_markup">True</property>
  58                       <property name="justify">GTK_JUSTIFY_LEFT</property>
  59                       <property name="wrap">False</property>
  60                       <property name="selectable">False</property>
  61                       <property name="xalign">0</property>
  62                       <property name="yalign">0.5</property>
  63                       <property name="xpad">0</property>
  64                       <property name="ypad">0</property>
  65                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  66                       <property name="width_chars">-1</property>
  67                       <property name="single_line_mode">False</property>
  68                       <property name="angle">0</property>
  69                     </widget>
  70                     <packing>
  71                       <property name="padding">0</property>
  72                       <property name="expand">False</property>
  73                       <property name="fill">False</property>
  74                     </packing>
  75                   </child>
  76
  77                   <child>
  78                     <widget class="GtkHBox" id="hbox29">
  79                       <property name="visible">True</property>
  80                       <property name="homogeneous">False</property>
  81                       <property name="spacing">0</property>
  82
  83                       <child>
  84                         <widget class="GtkLabel" id="label60">
  85                           <property name="visible">True</property>
  86                           <property name="label" translatable="yes">    </property>
  87                           <property name="use_underline">False</property>
  88                           <property name="use_markup">False</property>
  89                           <property name="justify">GTK_JUSTIFY_LEFT</property>
  90                           <property name="wrap">False</property>
  91                           <property name="selectable">False</property>
  92                           <property name="xalign">0.5</property>
  93                           <property name="yalign">0.5</property>
  94                           <property name="xpad">0</property>
  95                           <property name="ypad">0</property>
  96                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  97                           <property name="width_chars">-1</property>
  98                           <property name="single_line_mode">False</property>
  99                           <property name="angle">0</property>
 100                         </widget>
 101                         <packing>
 102                           <property name="padding">0</property>
 103                           <property name="expand">False</property>
 104                           <property name="fill">False</property>
 105                         </packing>
 106                       </child>
 107
 108                       <child>
 109                         <widget class="GtkVBox" id="vbox22">
 110                           <property name="visible">True</property>
 111                           <property name="homogeneous">False</property>
 112                           <property name="spacing">6</property>
 113
 114                           <child>
 115                             <widget class="GtkScrolledWindow" id="scrolledwindow3">
 116                               <property name="visible">True</property>
 117                               <property name="can_focus">True</property>
 118                               <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
 119                               <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
 120                               <property name="shadow_type">GTK_SHADOW_IN</property>
 121                               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 122
 123                               <child>
 124                                 <widget class="GtkTreeView" id="theme_names">
 125                                   <property name="visible">True</property>
 126                                   <property name="can_focus">True</property>
 127                                   <property name="headers_visible">False</property>
 128                                   <property name="rules_hint">False</property>
 129                                   <property name="reorderable">False</property>
 130                                   <property name="enable_search">True</property>
 131                                   <property name="fixed_height_mode">False</property>
 132                                   <property name="hover_selection">False</property>
 133                                   <property name="hover_expand">False</property>
 134                                 </widget>
 135                               </child>
 136                             </widget>
 137                             <packing>
 138                               <property name="padding">0</property>
 139                               <property name="expand">True</property>
 140                               <property name="fill">True</property>
 141                             </packing>
 142                           </child>
 143                         </widget>
 144                         <packing>
 145                           <property name="padding">0</property>
 146                           <property name="expand">True</property>
 147                           <property name="fill">True</property>
 148                         </packing>
 149                       </child>
 150                     </widget>
 151                     <packing>
 152                       <property name="padding">0</property>
 153                       <property name="expand">True</property>
 154                       <property name="fill">True</property>
 155                     </packing>
 156                   </child>
 157                 </widget>
 158                 <packing>
 159                   <property name="padding">0</property>
 160                   <property name="expand">True</property>
 161                   <property name="fill">True</property>
 162                 </packing>
 163               </child>
 164
 165               <child>
 166                 <widget class="GtkVBox" id="vbox41">
 167                   <property name="visible">True</property>
 168                   <property name="homogeneous">False</property>
 169                   <property name="spacing">0</property>
 170
 171                   <child>
 172                     <widget class="GtkButton" id="install_theme">
 173                       <property name="visible">True</property>
 174                       <property name="can_focus">True</property>
 175                       <property name="relief">GTK_RELIEF_NORMAL</property>
 176                       <property name="focus_on_click">True</property>
 177                       <signal name="clicked" handler="on_install_theme_clicked" last_modification_time="Tue, 29 May 2007 21:35:26 GMT"/>
 178
 179                       <child>
 180                         <widget class="GtkAlignment" id="alignment1">
 181                           <property name="visible">True</property>
 182                           <property name="xalign">0</property>
 183                           <property name="yalign">0.5</property>
 184                           <property name="xscale">0</property>
 185                           <property name="yscale">0</property>
 186                           <property name="top_padding">0</property>
 187                           <property name="bottom_padding">0</property>
 188                           <property name="left_padding">0</property>
 189                           <property name="right_padding">0</property>
 190
 191                           <child>
 192                             <widget class="GtkHBox" id="hbox53">
 193                               <property name="visible">True</property>
 194                               <property name="homogeneous">False</property>
 195                               <property name="spacing">2</property>
 196
 197                               <child>
 198                                 <widget class="GtkImage" id="image1">
 199                                   <property name="visible">True</property>
 200                                   <property name="stock">gtk-open</property>
 201                                   <property name="icon_size">4</property>
 202                                   <property name="xalign">0.5</property>
 203                                   <property name="yalign">0.5</property>
 204                                   <property name="xpad">0</property>
 205                                   <property name="ypad">0</property>
 206                                 </widget>
 207                                 <packing>
 208                                   <property name="padding">0</property>
 209                                   <property name="expand">False</property>
 210                                   <property name="fill">False</property>
 211                                 </packing>
 212                               </child>
 213
 214                               <child>
 215                                 <widget class="GtkLabel" id="label103">
 216                                   <property name="visible">True</property>
 217                                   <property name="label" translatable="yes">_Install a new theme...</property>
 218                                   <property name="use_underline">True</property>
 219                                   <property name="use_markup">False</property>
 220                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 221                                   <property name="wrap">False</property>
 222                                   <property name="selectable">False</property>
 223                                   <property name="xalign">0.5</property>
 224                                   <property name="yalign">0.5</property>
 225                                   <property name="xpad">0</property>
 226                                   <property name="ypad">0</property>
 227                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 228                                   <property name="width_chars">-1</property>
 229                                   <property name="single_line_mode">False</property>
 230                                   <property name="angle">0</property>
 231                                 </widget>
 232                                 <packing>
 233                                   <property name="padding">0</property>
 234                                   <property name="expand">False</property>
 235                                   <property name="fill">False</property>
 236                                 </packing>
 237                               </child>
 238                             </widget>
 239                           </child>
 240                         </widget>
 241                       </child>
 242                     </widget>
 243                     <packing>
 244                       <property name="padding">0</property>
 245                       <property name="expand">False</property>
 246                       <property name="fill">False</property>
 247                     </packing>
 248                   </child>
 249                 </widget>
 250                 <packing>
 251                   <property name="padding">0</property>
 252                   <property name="expand">False</property>
 253                   <property name="fill">True</property>
 254                 </packing>
 255               </child>
 256
 257               <child>
 258                 <widget class="GtkVBox" id="vbox42">
 259                   <property name="visible">True</property>
 260                   <property name="homogeneous">False</property>
 261                   <property name="spacing">0</property>
 262
 263                   <child>
 264                     <widget class="GtkButton" id="theme_archive">
 265                       <property name="visible">True</property>
 266                       <property name="can_focus">True</property>
 267                       <property name="relief">GTK_RELIEF_NORMAL</property>
 268                       <property name="focus_on_click">True</property>
 269                       <signal name="clicked" handler="on_theme_archive_clicked" last_modification_time="Wed, 30 May 2007 00:08:47 GMT"/>
 270
 271                       <child>
 272                         <widget class="GtkAlignment" id="alignment2">
 273                           <property name="visible">True</property>
 274                           <property name="xalign">0</property>
 275                           <property name="yalign">0.5</property>
 276                           <property name="xscale">0</property>
 277                           <property name="yscale">0</property>
 278                           <property name="top_padding">0</property>
 279                           <property name="bottom_padding">0</property>
 280                           <property name="left_padding">0</property>
 281                           <property name="right_padding">0</property>
 282
 283                           <child>
 284                             <widget class="GtkHBox" id="hbox55">
 285                               <property name="visible">True</property>
 286                               <property name="homogeneous">False</property>
 287                               <property name="spacing">2</property>
 288
 289                               <child>
 290                                 <widget class="GtkImage" id="image2">
 291                                   <property name="visible">True</property>
 292                                   <property name="stock">gtk-save</property>
 293                                   <property name="icon_size">4</property>
 294                                   <property name="xalign">0.5</property>
 295                                   <property name="yalign">0.5</property>
 296                                   <property name="xpad">0</property>
 297                                   <property name="ypad">0</property>
 298                                 </widget>
 299                                 <packing>
 300                                   <property name="padding">0</property>
 301                                   <property name="expand">False</property>
 302                                   <property name="fill">False</property>
 303                                 </packing>
 304                               </child>
 305
 306                               <child>
 307                                 <widget class="GtkLabel" id="label106">
 308                                   <property name="visible">True</property>
 309                                   <property name="label" translatable="yes">_Create a theme archive (.obt)...</property>
 310                                   <property name="use_underline">True</property>
 311                                   <property name="use_markup">False</property>
 312                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 313                                   <property name="wrap">False</property>
 314                                   <property name="selectable">False</property>
 315                                   <property name="xalign">0.5</property>
 316                                   <property name="yalign">0.5</property>
 317                                   <property name="xpad">0</property>
 318                                   <property name="ypad">0</property>
 319                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 320                                   <property name="width_chars">-1</property>
 321                                   <property name="single_line_mode">False</property>
 322                                   <property name="angle">0</property>
 323                                 </widget>
 324                                 <packing>
 325                                   <property name="padding">0</property>
 326                                   <property name="expand">False</property>
 327                                   <property name="fill">False</property>
 328                                 </packing>
 329                               </child>
 330                             </widget>
 331                           </child>
 332                         </widget>
 333                       </child>
 334                     </widget>
 335                     <packing>
 336                       <property name="padding">0</property>
 337                       <property name="expand">False</property>
 338                       <property name="fill">False</property>
 339                     </packing>
 340                   </child>
 341                 </widget>
 342                 <packing>
 343                   <property name="padding">0</property>
 344                   <property name="expand">False</property>
 345                   <property name="fill">True</property>
 346                 </packing>
 347               </child>
 348             </widget>
 349             <packing>
 350               <property name="tab_expand">False</property>
 351               <property name="tab_fill">True</property>
 352             </packing>
 353           </child>
 354
 355           <child>
 356             <widget class="GtkLabel" id="label3">
 357               <property name="visible">True</property>
 358               <property name="label" translatable="yes">Theme</property>
 359               <property name="use_underline">False</property>
 360               <property name="use_markup">False</property>
 361               <property name="justify">GTK_JUSTIFY_LEFT</property>
 362               <property name="wrap">False</property>
 363               <property name="selectable">False</property>
 364               <property name="xalign">0.5</property>
 365               <property name="yalign">0.5</property>
 366               <property name="xpad">0</property>
 367               <property name="ypad">0</property>
 368               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 369               <property name="width_chars">-1</property>
 370               <property name="single_line_mode">False</property>
 371               <property name="angle">0</property>
 372             </widget>
 373             <packing>
 374               <property name="type">tab</property>
 375             </packing>
 376           </child>
 377
 378           <child>
 379             <widget class="GtkVBox" id="vbox36">
 380               <property name="border_width">12</property>
 381               <property name="visible">True</property>
 382               <property name="homogeneous">False</property>
 383               <property name="spacing">18</property>
 384
 385               <child>
 386                 <widget class="GtkVBox" id="vbox40">
 387                   <property name="visible">True</property>
 388                   <property name="homogeneous">False</property>
 389                   <property name="spacing">6</property>
 390
 391                   <child>
 392                     <widget class="GtkLabel" id="label99">
 393                       <property name="visible">True</property>
 394                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Windows&lt;/span&gt;</property>
 395                       <property name="use_underline">False</property>
 396                       <property name="use_markup">True</property>
 397                       <property name="justify">GTK_JUSTIFY_LEFT</property>
 398                       <property name="wrap">False</property>
 399                       <property name="selectable">False</property>
 400                       <property name="xalign">0</property>
 401                       <property name="yalign">0.5</property>
 402                       <property name="xpad">0</property>
 403                       <property name="ypad">0</property>
 404                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 405                       <property name="width_chars">-1</property>
 406                       <property name="single_line_mode">False</property>
 407                       <property name="angle">0</property>
 408                     </widget>
 409                     <packing>
 410                       <property name="padding">0</property>
 411                       <property name="expand">False</property>
 412                       <property name="fill">False</property>
 413                     </packing>
 414                   </child>
 415
 416                   <child>
 417                     <widget class="GtkHBox" id="hbox50">
 418                       <property name="visible">True</property>
 419                       <property name="homogeneous">False</property>
 420                       <property name="spacing">0</property>
 421
 422                       <child>
 423                         <widget class="GtkLabel" id="label100">
 424                           <property name="visible">True</property>
 425                           <property name="label" translatable="yes">    </property>
 426                           <property name="use_underline">False</property>
 427                           <property name="use_markup">False</property>
 428                           <property name="justify">GTK_JUSTIFY_LEFT</property>
 429                           <property name="wrap">False</property>
 430                           <property name="selectable">False</property>
 431                           <property name="xalign">0.5</property>
 432                           <property name="yalign">0.5</property>
 433                           <property name="xpad">0</property>
 434                           <property name="ypad">0</property>
 435                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 436                           <property name="width_chars">-1</property>
 437                           <property name="single_line_mode">False</property>
 438                           <property name="angle">0</property>
 439                         </widget>
 440                         <packing>
 441                           <property name="padding">0</property>
 442                           <property name="expand">False</property>
 443                           <property name="fill">False</property>
 444                         </packing>
 445                       </child>
 446
 447                       <child>
 448                         <widget class="GtkHBox" id="hbox51">
 449                           <property name="visible">True</property>
 450                           <property name="homogeneous">False</property>
 451                           <property name="spacing">0</property>
 452
 453                           <child>
 454                             <widget class="GtkCheckButton" id="window_border">
 455                               <property name="visible">True</property>
 456                               <property name="can_focus">True</property>
 457                               <property name="label" translatable="yes">_Windows retain a border when undecorated</property>
 458                               <property name="use_underline">True</property>
 459                               <property name="relief">GTK_RELIEF_NORMAL</property>
 460                               <property name="focus_on_click">True</property>
 461                               <property name="active">False</property>
 462                               <property name="inconsistent">False</property>
 463                               <property name="draw_indicator">True</property>
 464                               <signal name="toggled" handler="on_window_border_toggled" after="yes" last_modification_time="Fri, 25 May 2007 16:03:01 GMT"/>
 465                             </widget>
 466                             <packing>
 467                               <property name="padding">0</property>
 468                               <property name="expand">False</property>
 469                               <property name="fill">False</property>
 470                             </packing>
 471                           </child>
 472                         </widget>
 473                         <packing>
 474                           <property name="padding">0</property>
 475                           <property name="expand">True</property>
 476                           <property name="fill">True</property>
 477                         </packing>
 478                       </child>
 479                     </widget>
 480                     <packing>
 481                       <property name="padding">0</property>
 482                       <property name="expand">False</property>
 483                       <property name="fill">True</property>
 484                     </packing>
 485                   </child>
 486                 </widget>
 487                 <packing>
 488                   <property name="padding">0</property>
 489                   <property name="expand">False</property>
 490                   <property name="fill">True</property>
 491                 </packing>
 492               </child>
 493
 494               <child>
 495                 <widget class="GtkVBox" id="vbox38">
 496                   <property name="visible">True</property>
 497                   <property name="homogeneous">False</property>
 498                   <property name="spacing">6</property>
 499
 500                   <child>
 501                     <widget class="GtkLabel" id="label88">
 502                       <property name="visible">True</property>
 503                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Window Titles&lt;/span&gt;</property>
 504                       <property name="use_underline">False</property>
 505                       <property name="use_markup">True</property>
 506                       <property name="justify">GTK_JUSTIFY_LEFT</property>
 507                       <property name="wrap">False</property>
 508                       <property name="selectable">False</property>
 509                       <property name="xalign">0</property>
 510                       <property name="yalign">0.5</property>
 511                       <property name="xpad">0</property>
 512                       <property name="ypad">0</property>
 513                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 514                       <property name="width_chars">-1</property>
 515                       <property name="single_line_mode">False</property>
 516                       <property name="angle">0</property>
 517                     </widget>
 518                     <packing>
 519                       <property name="padding">0</property>
 520                       <property name="expand">False</property>
 521                       <property name="fill">False</property>
 522                     </packing>
 523                   </child>
 524
 525                   <child>
 526                     <widget class="GtkHBox" id="hbox43">
 527                       <property name="visible">True</property>
 528                       <property name="homogeneous">False</property>
 529                       <property name="spacing">0</property>
 530
 531                       <child>
 532                         <widget class="GtkLabel" id="label89">
 533                           <property name="visible">True</property>
 534                           <property name="label" translatable="yes">    </property>
 535                           <property name="use_underline">False</property>
 536                           <property name="use_markup">False</property>
 537                           <property name="justify">GTK_JUSTIFY_LEFT</property>
 538                           <property name="wrap">False</property>
 539                           <property name="selectable">False</property>
 540                           <property name="xalign">0.5</property>
 541                           <property name="yalign">0.5</property>
 542                           <property name="xpad">0</property>
 543                           <property name="ypad">0</property>
 544                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 545                           <property name="width_chars">-1</property>
 546                           <property name="single_line_mode">False</property>
 547                           <property name="angle">0</property>
 548                         </widget>
 549                         <packing>
 550                           <property name="padding">0</property>
 551                           <property name="expand">False</property>
 552                           <property name="fill">False</property>
 553                         </packing>
 554                       </child>
 555
 556                       <child>
 557                         <widget class="GtkHBox" id="hbox44">
 558                           <property name="visible">True</property>
 559                           <property name="homogeneous">False</property>
 560                           <property name="spacing">6</property>
 561
 562                           <child>
 563                             <widget class="GtkLabel" id="label90">
 564                               <property name="visible">True</property>
 565                               <property name="label" translatable="yes">_Button order:</property>
 566                               <property name="use_underline">True</property>
 567                               <property name="use_markup">False</property>
 568                               <property name="justify">GTK_JUSTIFY_LEFT</property>
 569                               <property name="wrap">False</property>
 570                               <property name="selectable">False</property>
 571                               <property name="xalign">0.5</property>
 572                               <property name="yalign">0.5</property>
 573                               <property name="xpad">0</property>
 574                               <property name="ypad">0</property>
 575                               <property name="mnemonic_widget">title_layout</property>
 576                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 577                               <property name="width_chars">-1</property>
 578                               <property name="single_line_mode">False</property>
 579                               <property name="angle">0</property>
 580                             </widget>
 581                             <packing>
 582                               <property name="padding">0</property>
 583                               <property name="expand">False</property>
 584                               <property name="fill">False</property>
 585                             </packing>
 586                           </child>
 587
 588                           <child>
 589                             <widget class="GtkEntry" id="title_layout">
 590                               <property name="visible">True</property>
 591                               <property name="tooltip" translatable="yes">N - The window's icon
 592 D - The all-desktops (sticky) button
 593 S - The shade (roll up) button
 594 L - The label (window title)
 595 I - The iconify (minimize) button
 596 M - The maximize button
 597 C - The close button</property>
 598                               <property name="can_focus">True</property>
 599                               <property name="editable">True</property>
 600                               <property name="visibility">True</property>
 601                               <property name="max_length">0</property>
 602                               <property name="text" translatable="yes"></property>
 603                               <property name="has_frame">True</property>
 604                               <property name="invisible_char">*</property>
 605                               <property name="activates_default">False</property>
 606                               <signal name="changed" handler="on_title_layout_changed" after="yes" last_modification_time="Fri, 25 May 2007 16:02:40 GMT"/>
 607                             </widget>
 608                             <packing>
 609                               <property name="padding">0</property>
 610                               <property name="expand">True</property>
 611                               <property name="fill">True</property>
 612                             </packing>
 613                           </child>
 614                         </widget>
 615                         <packing>
 616                           <property name="padding">0</property>
 617                           <property name="expand">True</property>
 618                           <property name="fill">True</property>
 619                         </packing>
 620                       </child>
 621                     </widget>
 622                     <packing>
 623                       <property name="padding">0</property>
 624                       <property name="expand">True</property>
 625                       <property name="fill">True</property>
 626                     </packing>
 627                   </child>
 628                 </widget>
 629                 <packing>
 630                   <property name="padding">0</property>
 631                   <property name="expand">False</property>
 632                   <property name="fill">True</property>
 633                 </packing>
 634               </child>
 635
 636               <child>
 637                 <widget class="GtkVBox" id="vbox39">
 638                   <property name="visible">True</property>
 639                   <property name="homogeneous">False</property>
 640                   <property name="spacing">6</property>
 641
 642                   <child>
 643                     <widget class="GtkLabel" id="label91">
 644                       <property name="visible">True</property>
 645                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Fonts&lt;/span&gt;</property>
 646                       <property name="use_underline">False</property>
 647                       <property name="use_markup">True</property>
 648                       <property name="justify">GTK_JUSTIFY_LEFT</property>
 649                       <property name="wrap">False</property>
 650                       <property name="selectable">False</property>
 651                       <property name="xalign">0</property>
 652                       <property name="yalign">0.5</property>
 653                       <property name="xpad">0</property>
 654                       <property name="ypad">0</property>
 655                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 656                       <property name="width_chars">-1</property>
 657                       <property name="single_line_mode">False</property>
 658                       <property name="angle">0</property>
 659                     </widget>
 660                     <packing>
 661                       <property name="padding">0</property>
 662                       <property name="expand">False</property>
 663                       <property name="fill">False</property>
 664                     </packing>
 665                   </child>
 666
 667                   <child>
 668                     <widget class="GtkHBox" id="hbox45">
 669                       <property name="visible">True</property>
 670                       <property name="homogeneous">False</property>
 671                       <property name="spacing">0</property>
 672
 673                       <child>
 674                         <widget class="GtkLabel" id="label92">
 675                           <property name="visible">True</property>
 676                           <property name="label" translatable="yes">    </property>
 677                           <property name="use_underline">False</property>
 678                           <property name="use_markup">False</property>
 679                           <property name="justify">GTK_JUSTIFY_LEFT</property>
 680                           <property name="wrap">False</property>
 681                           <property name="selectable">False</property>
 682                           <property name="xalign">0.5</property>
 683                           <property name="yalign">0.5</property>
 684                           <property name="xpad">0</property>
 685                           <property name="ypad">0</property>
 686                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 687                           <property name="width_chars">-1</property>
 688                           <property name="single_line_mode">False</property>
 689                           <property name="angle">0</property>
 690                         </widget>
 691                         <packing>
 692                           <property name="padding">0</property>
 693                           <property name="expand">False</property>
 694                           <property name="fill">False</property>
 695                         </packing>
 696                       </child>
 697
 698                       <child>
 699                         <widget class="GtkTable" id="table1">
 700                           <property name="visible">True</property>
 701                           <property name="n_rows">5</property>
 702                           <property name="n_columns">2</property>
 703                           <property name="homogeneous">False</property>
 704                           <property name="row_spacing">3</property>
 705                           <property name="column_spacing">0</property>
 706
 707                           <child>
 708                             <widget class="GtkFontButton" id="font_inactive">
 709                               <property name="visible">True</property>
 710                               <property name="can_focus">True</property>
 711                               <property name="show_style">True</property>
 712                               <property name="show_size">True</property>
 713                               <property name="use_font">False</property>
 714                               <property name="use_size">False</property>
 715                               <property name="focus_on_click">True</property>
 716                               <signal name="font_set" handler="on_font_inactive_font_set" last_modification_time="Fri, 25 May 2007 16:03:13 GMT"/>
 717                             </widget>
 718                             <packing>
 719                               <property name="left_attach">1</property>
 720                               <property name="right_attach">2</property>
 721                               <property name="top_attach">1</property>
 722                               <property name="bottom_attach">2</property>
 723                               <property name="x_options">fill</property>
 724                               <property name="y_options"></property>
 725                             </packing>
 726                           </child>
 727
 728                           <child>
 729                             <widget class="GtkFontButton" id="font_menu_header">
 730                               <property name="visible">True</property>
 731                               <property name="can_focus">True</property>
 732                               <property name="show_style">True</property>
 733                               <property name="show_size">True</property>
 734                               <property name="use_font">False</property>
 735                               <property name="use_size">False</property>
 736                               <property name="focus_on_click">True</property>
 737                               <signal name="font_set" handler="on_font_menu_header_font_set" last_modification_time="Fri, 25 May 2007 16:03:17 GMT"/>
 738                             </widget>
 739                             <packing>
 740                               <property name="left_attach">1</property>
 741                               <property name="right_attach">2</property>
 742                               <property name="top_attach">2</property>
 743                               <property name="bottom_attach">3</property>
 744                               <property name="x_options">fill</property>
 745                               <property name="y_options"></property>
 746                             </packing>
 747                           </child>
 748
 749                           <child>
 750                             <widget class="GtkFontButton" id="font_menu_item">
 751                               <property name="visible">True</property>
 752                               <property name="can_focus">True</property>
 753                               <property name="show_style">True</property>
 754                               <property name="show_size">True</property>
 755                               <property name="use_font">False</property>
 756                               <property name="use_size">False</property>
 757                               <property name="focus_on_click">True</property>
 758                               <signal name="font_set" handler="on_font_menu_item_font_set" last_modification_time="Fri, 25 May 2007 16:03:20 GMT"/>
 759                             </widget>
 760                             <packing>
 761                               <property name="left_attach">1</property>
 762                               <property name="right_attach">2</property>
 763                               <property name="top_attach">3</property>
 764                               <property name="bottom_attach">4</property>
 765                               <property name="x_options">fill</property>
 766                               <property name="y_options"></property>
 767                             </packing>
 768                           </child>
 769
 770                           <child>
 771                             <widget class="GtkFontButton" id="font_display">
 772                               <property name="visible">True</property>
 773                               <property name="can_focus">True</property>
 774                               <property name="show_style">True</property>
 775                               <property name="show_size">True</property>
 776                               <property name="use_font">False</property>
 777                               <property name="use_size">False</property>
 778                               <property name="focus_on_click">True</property>
 779                               <signal name="font_set" handler="on_font_display_font_set" last_modification_time="Fri, 25 May 2007 16:03:23 GMT"/>
 780                             </widget>
 781                             <packing>
 782                               <property name="left_attach">1</property>
 783                               <property name="right_attach">2</property>
 784                               <property name="top_attach">4</property>
 785                               <property name="bottom_attach">5</property>
 786                               <property name="x_options">fill</property>
 787                               <property name="y_options"></property>
 788                             </packing>
 789                           </child>
 790
 791                           <child>
 792                             <widget class="GtkLabel" id="label94">
 793                               <property name="visible">True</property>
 794                               <property name="label" translatable="yes">_Active window title: </property>
 795                               <property name="use_underline">True</property>
 796                               <property name="use_markup">False</property>
 797                               <property name="justify">GTK_JUSTIFY_LEFT</property>
 798                               <property name="wrap">False</property>
 799                               <property name="selectable">False</property>
 800                               <property name="xalign">1</property>
 801                               <property name="yalign">0.5</property>
 802                               <property name="xpad">0</property>
 803                               <property name="ypad">0</property>
 804                               <property name="mnemonic_widget">font_active</property>
 805                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 806                               <property name="width_chars">-1</property>
 807                               <property name="single_line_mode">False</property>
 808                               <property name="angle">0</property>
 809                             </widget>
 810                             <packing>
 811                               <property name="left_attach">0</property>
 812                               <property name="right_attach">1</property>
 813                               <property name="top_attach">0</property>
 814                               <property name="bottom_attach">1</property>
 815                               <property name="x_options">fill</property>
 816                               <property name="y_options"></property>
 817                             </packing>
 818                           </child>
 819
 820                           <child>
 821                             <widget class="GtkLabel" id="label95">
 822                               <property name="visible">True</property>
 823                               <property name="label" translatable="yes">_Inactive window title: </property>
 824                               <property name="use_underline">True</property>
 825                               <property name="use_markup">False</property>
 826                               <property name="justify">GTK_JUSTIFY_LEFT</property>
 827                               <property name="wrap">False</property>
 828                               <property name="selectable">False</property>
 829                               <property name="xalign">1</property>
 830                               <property name="yalign">0.5</property>
 831                               <property name="xpad">0</property>
 832                               <property name="ypad">0</property>
 833                               <property name="mnemonic_widget">font_inactive</property>
 834                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 835                               <property name="width_chars">-1</property>
 836                               <property name="single_line_mode">False</property>
 837                               <property name="angle">0</property>
 838                             </widget>
 839                             <packing>
 840                               <property name="left_attach">0</property>
 841                               <property name="right_attach">1</property>
 842                               <property name="top_attach">1</property>
 843                               <property name="bottom_attach">2</property>
 844                               <property name="x_options">fill</property>
 845                               <property name="y_options"></property>
 846                             </packing>
 847                           </child>
 848
 849                           <child>
 850                             <widget class="GtkLabel" id="label96">
 851                               <property name="visible">True</property>
 852                               <property name="label" translatable="yes">Menu _header: </property>
 853                               <property name="use_underline">True</property>
 854                               <property name="use_markup">False</property>
 855                               <property name="justify">GTK_JUSTIFY_LEFT</property>
 856                               <property name="wrap">False</property>
 857                               <property name="selectable">False</property>
 858                               <property name="xalign">1</property>
 859                               <property name="yalign">0.5</property>
 860                               <property name="xpad">0</property>
 861                               <property name="ypad">0</property>
 862                               <property name="mnemonic_widget">font_menu_header</property>
 863                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 864                               <property name="width_chars">-1</property>
 865                               <property name="single_line_mode">False</property>
 866                               <property name="angle">0</property>
 867                             </widget>
 868                             <packing>
 869                               <property name="left_attach">0</property>
 870                               <property name="right_attach">1</property>
 871                               <property name="top_attach">2</property>
 872                               <property name="bottom_attach">3</property>
 873                               <property name="x_options">fill</property>
 874                               <property name="y_options"></property>
 875                             </packing>
 876                           </child>
 877
 878                           <child>
 879                             <widget class="GtkLabel" id="label97">
 880                               <property name="visible">True</property>
 881                               <property name="label" translatable="yes">_Menu Item: </property>
 882                               <property name="use_underline">True</property>
 883                               <property name="use_markup">False</property>
 884                               <property name="justify">GTK_JUSTIFY_LEFT</property>
 885                               <property name="wrap">False</property>
 886                               <property name="selectable">False</property>
 887                               <property name="xalign">1</property>
 888                               <property name="yalign">0.5</property>
 889                               <property name="xpad">0</property>
 890                               <property name="ypad">0</property>
 891                               <property name="mnemonic_widget">font_menu_item</property>
 892                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 893                               <property name="width_chars">-1</property>
 894                               <property name="single_line_mode">False</property>
 895                               <property name="angle">0</property>
 896                             </widget>
 897                             <packing>
 898                               <property name="left_attach">0</property>
 899                               <property name="right_attach">1</property>
 900                               <property name="top_attach">3</property>
 901                               <property name="bottom_attach">4</property>
 902                               <property name="x_options">fill</property>
 903                               <property name="y_options"></property>
 904                             </packing>
 905                           </child>
 906
 907                           <child>
 908                             <widget class="GtkLabel" id="label98">
 909                               <property name="visible">True</property>
 910                               <property name="label" translatable="yes">_On-screen display: </property>
 911                               <property name="use_underline">True</property>
 912                               <property name="use_markup">False</property>
 913                               <property name="justify">GTK_JUSTIFY_LEFT</property>
 914                               <property name="wrap">False</property>
 915                               <property name="selectable">False</property>
 916                               <property name="xalign">1</property>
 917                               <property name="yalign">0.5</property>
 918                               <property name="xpad">0</property>
 919                               <property name="ypad">0</property>
 920                               <property name="mnemonic_widget">font_display</property>
 921                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 922                               <property name="width_chars">-1</property>
 923                               <property name="single_line_mode">False</property>
 924                               <property name="angle">0</property>
 925                             </widget>
 926                             <packing>
 927                               <property name="left_attach">0</property>
 928                               <property name="right_attach">1</property>
 929                               <property name="top_attach">4</property>
 930                               <property name="bottom_attach">5</property>
 931                               <property name="x_options">fill</property>
 932                               <property name="y_options"></property>
 933                             </packing>
 934                           </child>
 935
 936                           <child>
 937                             <widget class="GtkFontButton" id="font_active">
 938                               <property name="visible">True</property>
 939                               <property name="can_focus">True</property>
 940                               <property name="show_style">True</property>
 941                               <property name="show_size">True</property>
 942                               <property name="use_font">False</property>
 943                               <property name="use_size">False</property>
 944                               <property name="focus_on_click">True</property>
 945                               <signal name="font_set" handler="on_font_active_font_set" last_modification_time="Fri, 25 May 2007 16:03:09 GMT"/>
 946                             </widget>
 947                             <packing>
 948                               <property name="left_attach">1</property>
 949                               <property name="right_attach">2</property>
 950                               <property name="top_attach">0</property>
 951                               <property name="bottom_attach">1</property>
 952                               <property name="y_options"></property>
 953                             </packing>
 954                           </child>
 955                         </widget>
 956                         <packing>
 957                           <property name="padding">0</property>
 958                           <property name="expand">True</property>
 959                           <property name="fill">True</property>
 960                         </packing>
 961                       </child>
 962                     </widget>
 963                     <packing>
 964                       <property name="padding">0</property>
 965                       <property name="expand">True</property>
 966                       <property name="fill">True</property>
 967                     </packing>
 968                   </child>
 969                 </widget>
 970                 <packing>
 971                   <property name="padding">0</property>
 972                   <property name="expand">True</property>
 973                   <property name="fill">True</property>
 974                 </packing>
 975               </child>
 976             </widget>
 977             <packing>
 978               <property name="tab_expand">False</property>
 979               <property name="tab_fill">True</property>
 980             </packing>
 981           </child>
 982
 983           <child>
 984             <widget class="GtkLabel" id="label84">
 985               <property name="visible">True</property>
 986               <property name="label" translatable="yes">Appearance</property>
 987               <property name="use_underline">False</property>
 988               <property name="use_markup">False</property>
 989               <property name="justify">GTK_JUSTIFY_LEFT</property>
 990               <property name="wrap">False</property>
 991               <property name="selectable">False</property>
 992               <property name="xalign">0.5</property>
 993               <property name="yalign">0.5</property>
 994               <property name="xpad">0</property>
 995               <property name="ypad">0</property>
 996               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 997               <property name="width_chars">-1</property>
 998               <property name="single_line_mode">False</property>
 999               <property name="angle">0</property>
1000             </widget>
1001             <packing>
1002               <property name="type">tab</property>
1003             </packing>
1004           </child>
1005
1006           <child>
1007             <widget class="GtkVBox" id="vbox12">
1008               <property name="border_width">12</property>
1009               <property name="visible">True</property>
1010               <property name="homogeneous">False</property>
1011               <property name="spacing">18</property>
1012
1013               <child>
1014                 <widget class="GtkVBox" id="vbox13">
1015                   <property name="visible">True</property>
1016                   <property name="homogeneous">False</property>
1017                   <property name="spacing">6</property>
1018
1019                   <child>
1020                     <widget class="GtkLabel" id="label32">
1021                       <property name="visible">True</property>
1022                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Focusing Windows&lt;/span&gt;</property>
1023                       <property name="use_underline">False</property>
1024                       <property name="use_markup">True</property>
1025                       <property name="justify">GTK_JUSTIFY_LEFT</property>
1026                       <property name="wrap">False</property>
1027                       <property name="selectable">False</property>
1028                       <property name="xalign">0</property>
1029                       <property name="yalign">0.5</property>
1030                       <property name="xpad">0</property>
1031                       <property name="ypad">0</property>
1032                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1033                       <property name="width_chars">-1</property>
1034                       <property name="single_line_mode">False</property>
1035                       <property name="angle">0</property>
1036                     </widget>
1037                     <packing>
1038                       <property name="padding">0</property>
1039                       <property name="expand">False</property>
1040                       <property name="fill">False</property>
1041                     </packing>
1042                   </child>
1043
1044                   <child>
1045                     <widget class="GtkHBox" id="hbox13">
1046                       <property name="visible">True</property>
1047                       <property name="homogeneous">False</property>
1048                       <property name="spacing">0</property>
1049
1050                       <child>
1051                         <widget class="GtkLabel" id="label33">
1052                           <property name="visible">True</property>
1053                           <property name="label" translatable="yes">    </property>
1054                           <property name="use_underline">False</property>
1055                           <property name="use_markup">False</property>
1056                           <property name="justify">GTK_JUSTIFY_LEFT</property>
1057                           <property name="wrap">False</property>
1058                           <property name="selectable">False</property>
1059                           <property name="xalign">0.5</property>
1060                           <property name="yalign">0.5</property>
1061                           <property name="xpad">0</property>
1062                           <property name="ypad">0</property>
1063                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1064                           <property name="width_chars">-1</property>
1065                           <property name="single_line_mode">False</property>
1066                           <property name="angle">0</property>
1067                         </widget>
1068                         <packing>
1069                           <property name="padding">0</property>
1070                           <property name="expand">False</property>
1071                           <property name="fill">False</property>
1072                         </packing>
1073                       </child>
1074
1075                       <child>
1076                         <widget class="GtkVBox" id="vbox15">
1077                           <property name="visible">True</property>
1078                           <property name="homogeneous">False</property>
1079                           <property name="spacing">6</property>
1080
1081                           <child>
1082                             <widget class="GtkCheckButton" id="focus_mouse">
1083                               <property name="visible">True</property>
1084                               <property name="can_focus">True</property>
1085                               <property name="label" translatable="yes">_Focus windows when the mouse pointer moves over them</property>
1086                               <property name="use_underline">True</property>
1087                               <property name="relief">GTK_RELIEF_NORMAL</property>
1088                               <property name="focus_on_click">True</property>
1089                               <property name="active">False</property>
1090                               <property name="inconsistent">False</property>
1091                               <property name="draw_indicator">True</property>
1092                               <signal name="toggled" handler="on_focus_mouse_toggled" after="yes" last_modification_time="Sun, 14 Sep 2003 11:24:01 GMT"/>
1093                             </widget>
1094                             <packing>
1095                               <property name="padding">0</property>
1096                               <property name="expand">False</property>
1097                               <property name="fill">False</property>
1098                             </packing>
1099                           </child>
1100
1101                           <child>
1102                             <widget class="GtkHBox" id="hbox32">
1103                               <property name="visible">True</property>
1104                               <property name="homogeneous">False</property>
1105                               <property name="spacing">0</property>
1106
1107                               <child>
1108                                 <widget class="GtkLabel" id="label65">
1109                                   <property name="visible">True</property>
1110                                   <property name="label" translatable="yes">    </property>
1111                                   <property name="use_underline">False</property>
1112                                   <property name="use_markup">False</property>
1113                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1114                                   <property name="wrap">False</property>
1115                                   <property name="selectable">False</property>
1116                                   <property name="xalign">0.5</property>
1117                                   <property name="yalign">0.5</property>
1118                                   <property name="xpad">0</property>
1119                                   <property name="ypad">0</property>
1120                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1121                                   <property name="width_chars">-1</property>
1122                                   <property name="single_line_mode">False</property>
1123                                   <property name="angle">0</property>
1124                                 </widget>
1125                                 <packing>
1126                                   <property name="padding">0</property>
1127                                   <property name="expand">False</property>
1128                                   <property name="fill">False</property>
1129                                 </packing>
1130                               </child>
1131
1132                               <child>
1133                                 <widget class="GtkVBox" id="vbox25">
1134                                   <property name="visible">True</property>
1135                                   <property name="homogeneous">False</property>
1136                                   <property name="spacing">6</property>
1137
1138                                   <child>
1139                                     <widget class="GtkCheckButton" id="focus_raise">
1140                                       <property name="visible">True</property>
1141                                       <property name="can_focus">True</property>
1142                                       <property name="label" translatable="yes">_Raise windows when the mouse pointer moves over them</property>
1143                                       <property name="use_underline">True</property>
1144                                       <property name="relief">GTK_RELIEF_NORMAL</property>
1145                                       <property name="focus_on_click">True</property>
1146                                       <property name="active">False</property>
1147                                       <property name="inconsistent">False</property>
1148                                       <property name="draw_indicator">True</property>
1149                                       <signal name="toggled" handler="on_focus_raise_toggled" after="yes" last_modification_time="Mon, 22 Sep 2003 06:37:32 GMT"/>
1150                                     </widget>
1151                                     <packing>
1152                                       <property name="padding">0</property>
1153                                       <property name="expand">False</property>
1154                                       <property name="fill">False</property>
1155                                     </packing>
1156                                   </child>
1157
1158                                   <child>
1159                                     <widget class="GtkHBox" id="hbox16">
1160                                       <property name="visible">True</property>
1161                                       <property name="homogeneous">False</property>
1162                                       <property name="spacing">6</property>
1163
1164                                       <child>
1165                                         <widget class="GtkLabel" id="focus_delay_label">
1166                                           <property name="visible">True</property>
1167                                           <property name="label" translatable="yes">_Delay before focusing and raising windows:</property>
1168                                           <property name="use_underline">True</property>
1169                                           <property name="use_markup">False</property>
1170                                           <property name="justify">GTK_JUSTIFY_LEFT</property>
1171                                           <property name="wrap">False</property>
1172                                           <property name="selectable">False</property>
1173                                           <property name="xalign">0.5</property>
1174                                           <property name="yalign">0.5</property>
1175                                           <property name="xpad">0</property>
1176                                           <property name="ypad">0</property>
1177                                           <property name="mnemonic_widget">focus_delay</property>
1178                                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1179                                           <property name="width_chars">-1</property>
1180                                           <property name="single_line_mode">False</property>
1181                                           <property name="angle">0</property>
1182                                         </widget>
1183                                         <packing>
1184                                           <property name="padding">0</property>
1185                                           <property name="expand">False</property>
1186                                           <property name="fill">False</property>
1187                                         </packing>
1188                                       </child>
1189
1190                                       <child>
1191                                         <widget class="GtkSpinButton" id="focus_delay">
1192                                           <property name="visible">True</property>
1193                                           <property name="can_focus">True</property>
1194                                           <property name="climb_rate">1</property>
1195                                           <property name="digits">0</property>
1196                                           <property name="numeric">False</property>
1197                                           <property name="update_policy">GTK_UPDATE_ALWAYS</property>
1198                                           <property name="snap_to_ticks">False</property>
1199                                           <property name="wrap">False</property>
1200                                           <property name="adjustment">0 0 100000 100 10 100000</property>
1201                                           <signal name="value_changed" handler="on_focus_delay_value_changed" after="yes" last_modification_time="Sun, 14 Sep 2003 11:24:28 GMT"/>
1202                                         </widget>
1203                                         <packing>
1204                                           <property name="padding">0</property>
1205                                           <property name="expand">False</property>
1206                                           <property name="fill">True</property>
1207                                         </packing>
1208                                       </child>
1209
1210                                       <child>
1211                                         <widget class="GtkLabel" id="focus_delay_label_units">
1212                                           <property name="visible">True</property>
1213                                           <property name="label" translatable="yes">ms</property>
1214                                           <property name="use_underline">False</property>
1215                                           <property name="use_markup">False</property>
1216                                           <property name="justify">GTK_JUSTIFY_LEFT</property>
1217                                           <property name="wrap">False</property>
1218                                           <property name="selectable">False</property>
1219                                           <property name="xalign">0.5</property>
1220                                           <property name="yalign">0.5</property>
1221                                           <property name="xpad">0</property>
1222                                           <property name="ypad">0</property>
1223                                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1224                                           <property name="width_chars">-1</property>
1225                                           <property name="single_line_mode">False</property>
1226                                           <property name="angle">0</property>
1227                                         </widget>
1228                                         <packing>
1229                                           <property name="padding">0</property>
1230                                           <property name="expand">False</property>
1231                                           <property name="fill">False</property>
1232                                         </packing>
1233                                       </child>
1234                                     </widget>
1235                                     <packing>
1236                                       <property name="padding">0</property>
1237                                       <property name="expand">True</property>
1238                                       <property name="fill">True</property>
1239                                     </packing>
1240                                   </child>
1241
1242                                   <child>
1243                                     <widget class="GtkCheckButton" id="focus_last">
1244                                       <property name="visible">True</property>
1245                                       <property name="can_focus">True</property>
1246                                       <property name="label" translatable="yes">_Give focus to the last used window when switching desktops</property>
1247                                       <property name="use_underline">True</property>
1248                                       <property name="relief">GTK_RELIEF_NORMAL</property>
1249                                       <property name="focus_on_click">True</property>
1250                                       <property name="active">False</property>
1251                                       <property name="inconsistent">False</property>
1252                                       <property name="draw_indicator">True</property>
1253                                       <signal name="toggled" handler="on_focus_last_toggled" last_modification_time="Fri, 25 May 2007 18:54:28 GMT"/>
1254                                     </widget>
1255                                     <packing>
1256                                       <property name="padding">0</property>
1257                                       <property name="expand">False</property>
1258                                       <property name="fill">False</property>
1259                                     </packing>
1260                                   </child>
1261                                 </widget>
1262                                 <packing>
1263                                   <property name="padding">0</property>
1264                                   <property name="expand">True</property>
1265                                   <property name="fill">True</property>
1266                                 </packing>
1267                               </child>
1268                             </widget>
1269                             <packing>
1270                               <property name="padding">0</property>
1271                               <property name="expand">False</property>
1272                               <property name="fill">False</property>
1273                             </packing>
1274                           </child>
1275
1276                           <child>
1277                             <widget class="GtkCheckButton" id="focus_new">
1278                               <property name="visible">True</property>
1279                               <property name="can_focus">True</property>
1280                               <property name="label" translatable="yes">Focus _new windows when they appear</property>
1281                               <property name="use_underline">True</property>
1282                               <property name="relief">GTK_RELIEF_NORMAL</property>
1283                               <property name="focus_on_click">True</property>
1284                               <property name="active">False</property>
1285                               <property name="inconsistent">False</property>
1286                               <property name="draw_indicator">True</property>
1287                               <signal name="toggled" handler="on_focus_new_toggled" after="yes" last_modification_time="Sun, 14 Sep 2003 11:25:04 GMT"/>
1288                             </widget>
1289                             <packing>
1290                               <property name="padding">0</property>
1291                               <property name="expand">False</property>
1292                               <property name="fill">False</property>
1293                             </packing>
1294                           </child>
1295                         </widget>
1296                         <packing>
1297                           <property name="padding">0</property>
1298                           <property name="expand">True</property>
1299                           <property name="fill">True</property>
1300                         </packing>
1301                       </child>
1302                     </widget>
1303                     <packing>
1304                       <property name="padding">0</property>
1305                       <property name="expand">False</property>
1306                       <property name="fill">True</property>
1307                     </packing>
1308                   </child>
1309                 </widget>
1310                 <packing>
1311                   <property name="padding">0</property>
1312                   <property name="expand">False</property>
1313                   <property name="fill">True</property>
1314                 </packing>
1315               </child>
1316
1317               <child>
1318                 <widget class="GtkVBox" id="vbox34">
1319                   <property name="visible">True</property>
1320                   <property name="homogeneous">False</property>
1321                   <property name="spacing">6</property>
1322
1323                   <child>
1324                     <widget class="GtkLabel" id="label82">
1325                       <property name="visible">True</property>
1326                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Placing Windows&lt;/span&gt;</property>
1327                       <property name="use_underline">False</property>
1328                       <property name="use_markup">True</property>
1329                       <property name="justify">GTK_JUSTIFY_LEFT</property>
1330                       <property name="wrap">False</property>
1331                       <property name="selectable">False</property>
1332                       <property name="xalign">0</property>
1333                       <property name="yalign">0.5</property>
1334                       <property name="xpad">0</property>
1335                       <property name="ypad">0</property>
1336                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1337                       <property name="width_chars">-1</property>
1338                       <property name="single_line_mode">False</property>
1339                       <property name="angle">0</property>
1340                     </widget>
1341                     <packing>
1342                       <property name="padding">0</property>
1343                       <property name="expand">False</property>
1344                       <property name="fill">False</property>
1345                     </packing>
1346                   </child>
1347
1348                   <child>
1349                     <widget class="GtkHBox" id="hbox40">
1350                       <property name="visible">True</property>
1351                       <property name="homogeneous">False</property>
1352                       <property name="spacing">0</property>
1353
1354                       <child>
1355                         <widget class="GtkLabel" id="label83">
1356                           <property name="visible">True</property>
1357                           <property name="label" translatable="yes">    </property>
1358                           <property name="use_underline">False</property>
1359                           <property name="use_markup">False</property>
1360                           <property name="justify">GTK_JUSTIFY_LEFT</property>
1361                           <property name="wrap">False</property>
1362                           <property name="selectable">False</property>
1363                           <property name="xalign">0.5</property>
1364                           <property name="yalign">0.5</property>
1365                           <property name="xpad">0</property>
1366                           <property name="ypad">0</property>
1367                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1368                           <property name="width_chars">-1</property>
1369                           <property name="single_line_mode">False</property>
1370                           <property name="angle">0</property>
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="GtkVBox" id="vbox35">
1381                           <property name="visible">True</property>
1382                           <property name="homogeneous">False</property>
1383                           <property name="spacing">6</property>
1384
1385                           <child>
1386                             <widget class="GtkCheckButton" id="place_mouse">
1387                               <property name="visible">True</property>
1388                               <property name="can_focus">True</property>
1389                               <property name="label" translatable="yes">_Place new windows under the mouse pointer</property>
1390                               <property name="use_underline">True</property>
1391                               <property name="relief">GTK_RELIEF_NORMAL</property>
1392                               <property name="focus_on_click">True</property>
1393                               <property name="active">False</property>
1394                               <property name="inconsistent">False</property>
1395                               <property name="draw_indicator">True</property>
1396                               <signal name="toggled" handler="on_place_mouse_toggled" after="yes" last_modification_time="Sun, 28 Sep 2003 09:09:33 GMT"/>
1397                             </widget>
1398                             <packing>
1399                               <property name="padding">0</property>
1400                               <property name="expand">False</property>
1401                               <property name="fill">False</property>
1402                             </packing>
1403                           </child>
1404                         </widget>
1405                         <packing>
1406                           <property name="padding">0</property>
1407                           <property name="expand">True</property>
1408                           <property name="fill">True</property>
1409                         </packing>
1410                       </child>
1411                     </widget>
1412                     <packing>
1413                       <property name="padding">0</property>
1414                       <property name="expand">True</property>
1415                       <property name="fill">True</property>
1416                     </packing>
1417                   </child>
1418                 </widget>
1419                 <packing>
1420                   <property name="padding">0</property>
1421                   <property name="expand">False</property>
1422                   <property name="fill">True</property>
1423                 </packing>
1424               </child>
1425
1426               <child>
1427                 <widget class="GtkVBox" id="vbox14">
1428                   <property name="visible">True</property>
1429                   <property name="homogeneous">False</property>
1430                   <property name="spacing">6</property>
1431
1432                   <child>
1433                     <widget class="GtkLabel" id="label34">
1434                       <property name="visible">True</property>
1435                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Moving and Resizing Windows&lt;/span&gt;</property>
1436                       <property name="use_underline">False</property>
1437                       <property name="use_markup">True</property>
1438                       <property name="justify">GTK_JUSTIFY_LEFT</property>
1439                       <property name="wrap">False</property>
1440                       <property name="selectable">False</property>
1441                       <property name="xalign">0</property>
1442                       <property name="yalign">0.5</property>
1443                       <property name="xpad">0</property>
1444                       <property name="ypad">0</property>
1445                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1446                       <property name="width_chars">-1</property>
1447                       <property name="single_line_mode">False</property>
1448                       <property name="angle">0</property>
1449                     </widget>
1450                     <packing>
1451                       <property name="padding">0</property>
1452                       <property name="expand">False</property>
1453                       <property name="fill">False</property>
1454                     </packing>
1455                   </child>
1456
1457                   <child>
1458                     <widget class="GtkHBox" id="hbox14">
1459                       <property name="visible">True</property>
1460                       <property name="homogeneous">False</property>
1461                       <property name="spacing">0</property>
1462
1463                       <child>
1464                         <widget class="GtkLabel" id="label35">
1465                           <property name="visible">True</property>
1466                           <property name="label" translatable="yes">    </property>
1467                           <property name="use_underline">False</property>
1468                           <property name="use_markup">False</property>
1469                           <property name="justify">GTK_JUSTIFY_LEFT</property>
1470                           <property name="wrap">False</property>
1471                           <property name="selectable">False</property>
1472                           <property name="xalign">0.5</property>
1473                           <property name="yalign">0.5</property>
1474                           <property name="xpad">0</property>
1475                           <property name="ypad">0</property>
1476                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1477                           <property name="width_chars">-1</property>
1478                           <property name="single_line_mode">False</property>
1479                           <property name="angle">0</property>
1480                         </widget>
1481                         <packing>
1482                           <property name="padding">0</property>
1483                           <property name="expand">False</property>
1484                           <property name="fill">False</property>
1485                         </packing>
1486                       </child>
1487
1488                       <child>
1489                         <widget class="GtkVBox" id="vbox16">
1490                           <property name="visible">True</property>
1491                           <property name="homogeneous">False</property>
1492                           <property name="spacing">6</property>
1493
1494                           <child>
1495                             <widget class="GtkCheckButton" id="resize_contents">
1496                               <property name="visible">True</property>
1497                               <property name="can_focus">True</property>
1498                               <property name="label" translatable="yes">Update the window c_ontents while resizing</property>
1499                               <property name="use_underline">True</property>
1500                               <property name="relief">GTK_RELIEF_NORMAL</property>
1501                               <property name="focus_on_click">True</property>
1502                               <property name="active">False</property>
1503                               <property name="inconsistent">False</property>
1504                               <property name="draw_indicator">True</property>
1505                               <signal name="toggled" handler="on_resize_contents_toggled" after="yes" last_modification_time="Sun, 14 Sep 2003 11:26:12 GMT"/>
1506                             </widget>
1507                             <packing>
1508                               <property name="padding">0</property>
1509                               <property name="expand">False</property>
1510                               <property name="fill">False</property>
1511                             </packing>
1512                           </child>
1513
1514                           <child>
1515                             <widget class="GtkHBox" id="hbox17">
1516                               <property name="visible">True</property>
1517                               <property name="homogeneous">False</property>
1518                               <property name="spacing">6</property>
1519
1520                               <child>
1521                                 <widget class="GtkLabel" id="resist_window_label">
1522                                   <property name="visible">True</property>
1523                                   <property name="label" translatable="yes">Amount of resistance against other _windows:</property>
1524                                   <property name="use_underline">True</property>
1525                                   <property name="use_markup">False</property>
1526                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1527                                   <property name="wrap">False</property>
1528                                   <property name="selectable">False</property>
1529                                   <property name="xalign">0</property>
1530                                   <property name="yalign">0.5</property>
1531                                   <property name="xpad">0</property>
1532                                   <property name="ypad">0</property>
1533                                   <property name="mnemonic_widget">resist_window</property>
1534                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1535                                   <property name="width_chars">-1</property>
1536                                   <property name="single_line_mode">False</property>
1537                                   <property name="angle">0</property>
1538                                 </widget>
1539                                 <packing>
1540                                   <property name="padding">0</property>
1541                                   <property name="expand">False</property>
1542                                   <property name="fill">False</property>
1543                                 </packing>
1544                               </child>
1545
1546                               <child>
1547                                 <widget class="GtkSpinButton" id="resist_window">
1548                                   <property name="visible">True</property>
1549                                   <property name="can_focus">True</property>
1550                                   <property name="climb_rate">1</property>
1551                                   <property name="digits">0</property>
1552                                   <property name="numeric">False</property>
1553                                   <property name="update_policy">GTK_UPDATE_ALWAYS</property>
1554                                   <property name="snap_to_ticks">False</property>
1555                                   <property name="wrap">False</property>
1556                                   <property name="adjustment">20 0 10000 1 10 10</property>
1557                                   <signal name="value_changed" handler="on_resist_window_value_changed" last_modification_time="Tue, 23 Sep 2003 22:22:53 GMT"/>
1558                                 </widget>
1559                                 <packing>
1560                                   <property name="padding">0</property>
1561                                   <property name="expand">False</property>
1562                                   <property name="fill">True</property>
1563                                 </packing>
1564                               </child>
1565
1566                               <child>
1567                                 <widget class="GtkLabel" id="label67">
1568                                   <property name="visible">True</property>
1569                                   <property name="label" translatable="yes">px</property>
1570                                   <property name="use_underline">False</property>
1571                                   <property name="use_markup">False</property>
1572                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1573                                   <property name="wrap">False</property>
1574                                   <property name="selectable">False</property>
1575                                   <property name="xalign">0.5</property>
1576                                   <property name="yalign">0.5</property>
1577                                   <property name="xpad">0</property>
1578                                   <property name="ypad">0</property>
1579                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1580                                   <property name="width_chars">-1</property>
1581                                   <property name="single_line_mode">False</property>
1582                                   <property name="angle">0</property>
1583                                 </widget>
1584                                 <packing>
1585                                   <property name="padding">0</property>
1586                                   <property name="expand">False</property>
1587                                   <property name="fill">False</property>
1588                                 </packing>
1589                               </child>
1590                             </widget>
1591                             <packing>
1592                               <property name="padding">0</property>
1593                               <property name="expand">False</property>
1594                               <property name="fill">True</property>
1595                             </packing>
1596                           </child>
1597
1598                           <child>
1599                             <widget class="GtkHBox" id="hbox18">
1600                               <property name="visible">True</property>
1601                               <property name="homogeneous">False</property>
1602                               <property name="spacing">6</property>
1603
1604                               <child>
1605                                 <widget class="GtkLabel" id="resist_edge_label">
1606                                   <property name="visible">True</property>
1607                                   <property name="label" translatable="yes">Amount of resistance against screen _edges:</property>
1608                                   <property name="use_underline">True</property>
1609                                   <property name="use_markup">False</property>
1610                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1611                                   <property name="wrap">False</property>
1612                                   <property name="selectable">False</property>
1613                                   <property name="xalign">0</property>
1614                                   <property name="yalign">0.5</property>
1615                                   <property name="xpad">0</property>
1616                                   <property name="ypad">0</property>
1617                                   <property name="mnemonic_widget">resist_edge</property>
1618                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1619                                   <property name="width_chars">-1</property>
1620                                   <property name="single_line_mode">False</property>
1621                                   <property name="angle">0</property>
1622                                 </widget>
1623                                 <packing>
1624                                   <property name="padding">0</property>
1625                                   <property name="expand">False</property>
1626                                   <property name="fill">False</property>
1627                                 </packing>
1628                               </child>
1629
1630                               <child>
1631                                 <widget class="GtkSpinButton" id="resist_edge">
1632                                   <property name="visible">True</property>
1633                                   <property name="can_focus">True</property>
1634                                   <property name="climb_rate">1</property>
1635                                   <property name="digits">0</property>
1636                                   <property name="numeric">False</property>
1637                                   <property name="update_policy">GTK_UPDATE_ALWAYS</property>
1638                                   <property name="snap_to_ticks">False</property>
1639                                   <property name="wrap">False</property>
1640                                   <property name="adjustment">1 0 100 1 10 10</property>
1641                                   <signal name="value_changed" handler="on_resist_edge_value_changed" last_modification_time="Tue, 23 Sep 2003 22:23:04 GMT"/>
1642                                 </widget>
1643                                 <packing>
1644                                   <property name="padding">0</property>
1645                                   <property name="expand">False</property>
1646                                   <property name="fill">True</property>
1647                                 </packing>
1648                               </child>
1649
1650                               <child>
1651                                 <widget class="GtkLabel" id="label68">
1652                                   <property name="visible">True</property>
1653                                   <property name="label" translatable="yes">px</property>
1654                                   <property name="use_underline">False</property>
1655                                   <property name="use_markup">False</property>
1656                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1657                                   <property name="wrap">False</property>
1658                                   <property name="selectable">False</property>
1659                                   <property name="xalign">0.5</property>
1660                                   <property name="yalign">0.5</property>
1661                                   <property name="xpad">0</property>
1662                                   <property name="ypad">0</property>
1663                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1664                                   <property name="width_chars">-1</property>
1665                                   <property name="single_line_mode">False</property>
1666                                   <property name="angle">0</property>
1667                                 </widget>
1668                                 <packing>
1669                                   <property name="padding">0</property>
1670                                   <property name="expand">False</property>
1671                                   <property name="fill">False</property>
1672                                 </packing>
1673                               </child>
1674                             </widget>
1675                             <packing>
1676                               <property name="padding">0</property>
1677                               <property name="expand">False</property>
1678                               <property name="fill">True</property>
1679                             </packing>
1680                           </child>
1681                         </widget>
1682                         <packing>
1683                           <property name="padding">0</property>
1684                           <property name="expand">True</property>
1685                           <property name="fill">True</property>
1686                         </packing>
1687                       </child>
1688                     </widget>
1689                     <packing>
1690                       <property name="padding">0</property>
1691                       <property name="expand">True</property>
1692                       <property name="fill">True</property>
1693                     </packing>
1694                   </child>
1695                 </widget>
1696                 <packing>
1697                   <property name="padding">0</property>
1698                   <property name="expand">True</property>
1699                   <property name="fill">True</property>
1700                 </packing>
1701               </child>
1702             </widget>
1703             <packing>
1704               <property name="tab_expand">False</property>
1705               <property name="tab_fill">True</property>
1706             </packing>
1707           </child>
1708
1709           <child>
1710             <widget class="GtkLabel" id="label22">
1711               <property name="visible">True</property>
1712               <property name="label" translatable="yes">Behavior</property>
1713               <property name="use_underline">False</property>
1714               <property name="use_markup">False</property>
1715               <property name="justify">GTK_JUSTIFY_LEFT</property>
1716               <property name="wrap">False</property>
1717               <property name="selectable">False</property>
1718               <property name="xalign">0.5</property>
1719               <property name="yalign">0.5</property>
1720               <property name="xpad">0</property>
1721               <property name="ypad">0</property>
1722               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1723               <property name="width_chars">-1</property>
1724               <property name="single_line_mode">False</property>
1725               <property name="angle">0</property>
1726             </widget>
1727             <packing>
1728               <property name="type">tab</property>
1729             </packing>
1730           </child>
1731
1732           <child>
1733             <widget class="GtkVBox" id="vbox18">
1734               <property name="border_width">12</property>
1735               <property name="visible">True</property>
1736               <property name="homogeneous">False</property>
1737               <property name="spacing">6</property>
1738
1739               <child>
1740                 <widget class="GtkLabel" id="label51">
1741                   <property name="visible">True</property>
1742                   <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Desktops&lt;/span&gt;</property>
1743                   <property name="use_underline">False</property>
1744                   <property name="use_markup">True</property>
1745                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1746                   <property name="wrap">False</property>
1747                   <property name="selectable">False</property>
1748                   <property name="xalign">0</property>
1749                   <property name="yalign">0.5</property>
1750                   <property name="xpad">0</property>
1751                   <property name="ypad">0</property>
1752                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1753                   <property name="width_chars">-1</property>
1754                   <property name="single_line_mode">False</property>
1755                   <property name="angle">0</property>
1756                 </widget>
1757                 <packing>
1758                   <property name="padding">0</property>
1759                   <property name="expand">False</property>
1760                   <property name="fill">False</property>
1761                 </packing>
1762               </child>
1763
1764               <child>
1765                 <widget class="GtkHBox" id="hbox24">
1766                   <property name="visible">True</property>
1767                   <property name="homogeneous">False</property>
1768                   <property name="spacing">0</property>
1769
1770                   <child>
1771                     <widget class="GtkLabel" id="label52">
1772                       <property name="visible">True</property>
1773                       <property name="label" translatable="yes">    </property>
1774                       <property name="use_underline">False</property>
1775                       <property name="use_markup">False</property>
1776                       <property name="justify">GTK_JUSTIFY_LEFT</property>
1777                       <property name="wrap">False</property>
1778                       <property name="selectable">False</property>
1779                       <property name="xalign">0.5</property>
1780                       <property name="yalign">0.5</property>
1781                       <property name="xpad">0</property>
1782                       <property name="ypad">0</property>
1783                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1784                       <property name="width_chars">-1</property>
1785                       <property name="single_line_mode">False</property>
1786                       <property name="angle">0</property>
1787                     </widget>
1788                     <packing>
1789                       <property name="padding">0</property>
1790                       <property name="expand">False</property>
1791                       <property name="fill">False</property>
1792                     </packing>
1793                   </child>
1794
1795                   <child>
1796                     <widget class="GtkVBox" id="vbox19">
1797                       <property name="visible">True</property>
1798                       <property name="homogeneous">False</property>
1799                       <property name="spacing">6</property>
1800
1801                       <child>
1802                         <widget class="GtkHBox" id="hbox25">
1803                           <property name="visible">True</property>
1804                           <property name="homogeneous">False</property>
1805                           <property name="spacing">6</property>
1806
1807                           <child>
1808                             <widget class="GtkLabel" id="label53">
1809                               <property name="visible">True</property>
1810                               <property name="label" translatable="yes">_Number of desktops: </property>
1811                               <property name="use_underline">True</property>
1812                               <property name="use_markup">False</property>
1813                               <property name="justify">GTK_JUSTIFY_LEFT</property>
1814                               <property name="wrap">False</property>
1815                               <property name="selectable">False</property>
1816                               <property name="xalign">0.5</property>
1817                               <property name="yalign">0.5</property>
1818                               <property name="xpad">0</property>
1819                               <property name="ypad">0</property>
1820                               <property name="mnemonic_widget">desktop_num</property>
1821                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1822                               <property name="width_chars">-1</property>
1823                               <property name="single_line_mode">False</property>
1824                               <property name="angle">0</property>
1825                             </widget>
1826                             <packing>
1827                               <property name="padding">0</property>
1828                               <property name="expand">False</property>
1829                               <property name="fill">False</property>
1830                             </packing>
1831                           </child>
1832
1833                           <child>
1834                             <widget class="GtkSpinButton" id="desktop_num">
1835                               <property name="visible">True</property>
1836                               <property name="can_focus">True</property>
1837                               <property name="climb_rate">1</property>
1838                               <property name="digits">0</property>
1839                               <property name="numeric">False</property>
1840                               <property name="update_policy">GTK_UPDATE_ALWAYS</property>
1841                               <property name="snap_to_ticks">False</property>
1842                               <property name="wrap">False</property>
1843                               <property name="adjustment">1 1 100 1 10 10</property>
1844                               <signal name="value_changed" handler="on_desktop_num_value_changed" after="yes" last_modification_time="Mon, 15 Sep 2003 01:16:20 GMT"/>
1845                             </widget>
1846                             <packing>
1847                               <property name="padding">0</property>
1848                               <property name="expand">False</property>
1849                               <property name="fill">True</property>
1850                             </packing>
1851                           </child>
1852                         </widget>
1853                         <packing>
1854                           <property name="padding">0</property>
1855                           <property name="expand">False</property>
1856                           <property name="fill">True</property>
1857                         </packing>
1858                       </child>
1859
1860                       <child>
1861                         <widget class="GtkLabel" id="label54">
1862                           <property name="visible">True</property>
1863                           <property name="label" translatable="yes">_Desktop names:</property>
1864                           <property name="use_underline">True</property>
1865                           <property name="use_markup">False</property>
1866                           <property name="justify">GTK_JUSTIFY_LEFT</property>
1867                           <property name="wrap">False</property>
1868                           <property name="selectable">False</property>
1869                           <property name="xalign">0</property>
1870                           <property name="yalign">0.5</property>
1871                           <property name="xpad">0</property>
1872                           <property name="ypad">0</property>
1873                           <property name="mnemonic_widget">desktop_names</property>
1874                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1875                           <property name="width_chars">-1</property>
1876                           <property name="single_line_mode">False</property>
1877                           <property name="angle">0</property>
1878                         </widget>
1879                         <packing>
1880                           <property name="padding">0</property>
1881                           <property name="expand">False</property>
1882                           <property name="fill">False</property>
1883                         </packing>
1884                       </child>
1885
1886                       <child>
1887                         <widget class="GtkScrolledWindow" id="scrolledwindow1">
1888                           <property name="visible">True</property>
1889                           <property name="can_focus">True</property>
1890                           <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
1891                           <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
1892                           <property name="shadow_type">GTK_SHADOW_IN</property>
1893                           <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
1894
1895                           <child>
1896                             <widget class="GtkTreeView" id="desktop_names">
1897                               <property name="visible">True</property>
1898                               <property name="can_focus">True</property>
1899                               <property name="headers_visible">False</property>
1900                               <property name="rules_hint">False</property>
1901                               <property name="reorderable">False</property>
1902                               <property name="enable_search">True</property>
1903                               <property name="fixed_height_mode">False</property>
1904                               <property name="hover_selection">False</property>
1905                               <property name="hover_expand">False</property>
1906                             </widget>
1907                           </child>
1908                         </widget>
1909                         <packing>
1910                           <property name="padding">0</property>
1911                           <property name="expand">True</property>
1912                           <property name="fill">True</property>
1913                         </packing>
1914                       </child>
1915                     </widget>
1916                     <packing>
1917                       <property name="padding">0</property>
1918                       <property name="expand">True</property>
1919                       <property name="fill">True</property>
1920                     </packing>
1921                   </child>
1922                 </widget>
1923                 <packing>
1924                   <property name="padding">0</property>
1925                   <property name="expand">True</property>
1926                   <property name="fill">True</property>
1927                 </packing>
1928               </child>
1929             </widget>
1930             <packing>
1931               <property name="tab_expand">False</property>
1932               <property name="tab_fill">True</property>
1933             </packing>
1934           </child>
1935
1936           <child>
1937             <widget class="GtkLabel" id="label31">
1938               <property name="visible">True</property>
1939               <property name="label" translatable="yes">Desktops</property>
1940               <property name="use_underline">False</property>
1941               <property name="use_markup">False</property>
1942               <property name="justify">GTK_JUSTIFY_LEFT</property>
1943               <property name="wrap">False</property>
1944               <property name="selectable">False</property>
1945               <property name="xalign">0.5</property>
1946               <property name="yalign">0.5</property>
1947               <property name="xpad">0</property>
1948               <property name="ypad">0</property>
1949               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1950               <property name="width_chars">-1</property>
1951               <property name="single_line_mode">False</property>
1952               <property name="angle">0</property>
1953             </widget>
1954             <packing>
1955               <property name="type">tab</property>
1956             </packing>
1957           </child>
1958
1959           <child>
1960             <widget class="GtkVBox" id="vbox26">
1961               <property name="border_width">12</property>
1962               <property name="visible">True</property>
1963               <property name="homogeneous">False</property>
1964               <property name="spacing">18</property>
1965
1966               <child>
1967                 <widget class="GtkVBox" id="vbox27">
1968                   <property name="visible">True</property>
1969                   <property name="homogeneous">False</property>
1970                   <property name="spacing">6</property>
1971
1972                   <child>
1973                     <widget class="GtkLabel" id="label70">
1974                       <property name="visible">True</property>
1975                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Position&lt;/span&gt;</property>
1976                       <property name="use_underline">False</property>
1977                       <property name="use_markup">True</property>
1978                       <property name="justify">GTK_JUSTIFY_LEFT</property>
1979                       <property name="wrap">False</property>
1980                       <property name="selectable">False</property>
1981                       <property name="xalign">0</property>
1982                       <property name="yalign">0.5</property>
1983                       <property name="xpad">0</property>
1984                       <property name="ypad">0</property>
1985                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1986                       <property name="width_chars">-1</property>
1987                       <property name="single_line_mode">False</property>
1988                       <property name="angle">0</property>
1989                     </widget>
1990                     <packing>
1991                       <property name="padding">0</property>
1992                       <property name="expand">False</property>
1993                       <property name="fill">False</property>
1994                     </packing>
1995                   </child>
1996
1997                   <child>
1998                     <widget class="GtkHBox" id="hbox33">
1999                       <property name="visible">True</property>
2000                       <property name="homogeneous">False</property>
2001                       <property name="spacing">0</property>
2002
2003                       <child>
2004                         <widget class="GtkLabel" id="label71">
2005                           <property name="visible">True</property>
2006                           <property name="label" translatable="yes">    </property>
2007                           <property name="use_underline">False</property>
2008                           <property name="use_markup">False</property>
2009                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2010                           <property name="wrap">False</property>
2011                           <property name="selectable">False</property>
2012                           <property name="xalign">0.5</property>
2013                           <property name="yalign">0.5</property>
2014                           <property name="xpad">0</property>
2015                           <property name="ypad">0</property>
2016                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2017                           <property name="width_chars">-1</property>
2018                           <property name="single_line_mode">False</property>
2019                           <property name="angle">0</property>
2020                         </widget>
2021                         <packing>
2022                           <property name="padding">0</property>
2023                           <property name="expand">False</property>
2024                           <property name="fill">False</property>
2025                         </packing>
2026                       </child>
2027
2028                       <child>
2029                         <widget class="GtkVBox" id="vbox30">
2030                           <property name="visible">True</property>
2031                           <property name="homogeneous">False</property>
2032                           <property name="spacing">6</property>
2033
2034                           <child>
2035                             <widget class="GtkHBox" id="hbox19">
2036                               <property name="visible">True</property>
2037                               <property name="homogeneous">False</property>
2038                               <property name="spacing">12</property>
2039
2040                               <child>
2041                                 <widget class="GtkLabel" id="dock_position_label">
2042                                   <property name="visible">True</property>
2043                                   <property name="label" translatable="yes">_Position:</property>
2044                                   <property name="use_underline">True</property>
2045                                   <property name="use_markup">False</property>
2046                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2047                                   <property name="wrap">False</property>
2048                                   <property name="selectable">False</property>
2049                                   <property name="xalign">0</property>
2050                                   <property name="yalign">0.5</property>
2051                                   <property name="xpad">0</property>
2052                                   <property name="ypad">0</property>
2053                                   <property name="mnemonic_widget">dock_position</property>
2054                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2055                                   <property name="width_chars">-1</property>
2056                                   <property name="single_line_mode">False</property>
2057                                   <property name="angle">0</property>
2058                                 </widget>
2059                                 <packing>
2060                                   <property name="padding">0</property>
2061                                   <property name="expand">False</property>
2062                                   <property name="fill">False</property>
2063                                 </packing>
2064                               </child>
2065
2066                               <child>
2067                                 <widget class="GtkOptionMenu" id="dock_position">
2068                                   <property name="visible">True</property>
2069                                   <property name="can_focus">True</property>
2070                                   <property name="history">0</property>
2071
2072                                   <child>
2073                                     <widget class="GtkMenu" id="menu5">
2074
2075                                       <child>
2076                                         <widget class="GtkMenuItem" id="top_left">
2077                                           <property name="visible">True</property>
2078                                           <property name="label" translatable="yes">Top Left</property>
2079                                           <property name="use_underline">True</property>
2080                                           <signal name="activate" handler="on_dock_top_left_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
2081                                         </widget>
2082                                       </child>
2083
2084                                       <child>
2085                                         <widget class="GtkMenuItem" id="top">
2086                                           <property name="visible">True</property>
2087                                           <property name="label" translatable="yes">Top</property>
2088                                           <property name="use_underline">True</property>
2089                                           <signal name="activate" handler="on_dock_top_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
2090                                         </widget>
2091                                       </child>
2092
2093                                       <child>
2094                                         <widget class="GtkMenuItem" id="top_right">
2095                                           <property name="visible">True</property>
2096                                           <property name="label" translatable="yes">Top Right</property>
2097                                           <property name="use_underline">True</property>
2098                                           <signal name="activate" handler="on_dock_top_right_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
2099                                         </widget>
2100                                       </child>
2101
2102                                       <child>
2103                                         <widget class="GtkMenuItem" id="left">
2104                                           <property name="visible">True</property>
2105                                           <property name="label" translatable="yes">Left</property>
2106                                           <property name="use_underline">True</property>
2107                                           <signal name="activate" handler="on_dock_left_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
2108                                         </widget>
2109                                       </child>
2110
2111                                       <child>
2112                                         <widget class="GtkMenuItem" id="right">
2113                                           <property name="visible">True</property>
2114                                           <property name="label" translatable="yes">Right</property>
2115                                           <property name="use_underline">True</property>
2116                                           <signal name="activate" handler="on_dock_right_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
2117                                         </widget>
2118                                       </child>
2119
2120                                       <child>
2121                                         <widget class="GtkMenuItem" id="bottom_left">
2122                                           <property name="visible">True</property>
2123                                           <property name="label" translatable="yes">Bottom Left</property>
2124                                           <property name="use_underline">True</property>
2125                                           <signal name="activate" handler="on_dock_bottom_left_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
2126                                         </widget>
2127                                       </child>
2128
2129                                       <child>
2130                                         <widget class="GtkMenuItem" id="bottom">
2131                                           <property name="visible">True</property>
2132                                           <property name="label" translatable="yes">Bottom</property>
2133                                           <property name="use_underline">True</property>
2134                                           <signal name="activate" handler="on_dock_bottom_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
2135                                         </widget>
2136                                       </child>
2137
2138                                       <child>
2139                                         <widget class="GtkMenuItem" id="bottom_right">
2140                                           <property name="visible">True</property>
2141                                           <property name="label" translatable="yes">Bottom Right</property>
2142                                           <property name="use_underline">True</property>
2143                                           <signal name="activate" handler="on_dock_bottom_right_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
2144                                         </widget>
2145                                       </child>
2146
2147                                       <child>
2148                                         <widget class="GtkMenuItem" id="floating">
2149                                           <property name="visible">True</property>
2150                                           <property name="label" translatable="yes">Floating</property>
2151                                           <property name="use_underline">True</property>
2152                                           <signal name="activate" handler="on_dock_floating_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
2153                                         </widget>
2154                                       </child>
2155                                     </widget>
2156                                   </child>
2157                                 </widget>
2158                                 <packing>
2159                                   <property name="padding">0</property>
2160                                   <property name="expand">False</property>
2161                                   <property name="fill">False</property>
2162                                 </packing>
2163                               </child>
2164                             </widget>
2165                             <packing>
2166                               <property name="padding">0</property>
2167                               <property name="expand">False</property>
2168                               <property name="fill">False</property>
2169                             </packing>
2170                           </child>
2171
2172                           <child>
2173                             <widget class="GtkHBox" id="hbox36">
2174                               <property name="visible">True</property>
2175                               <property name="homogeneous">False</property>
2176                               <property name="spacing">0</property>
2177
2178                               <child>
2179                                 <widget class="GtkLabel" id="label76">
2180                                   <property name="visible">True</property>
2181                                   <property name="label" translatable="yes">    </property>
2182                                   <property name="use_underline">False</property>
2183                                   <property name="use_markup">False</property>
2184                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2185                                   <property name="wrap">False</property>
2186                                   <property name="selectable">False</property>
2187                                   <property name="xalign">0.5</property>
2188                                   <property name="yalign">0.5</property>
2189                                   <property name="xpad">0</property>
2190                                   <property name="ypad">0</property>
2191                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2192                                   <property name="width_chars">-1</property>
2193                                   <property name="single_line_mode">False</property>
2194                                   <property name="angle">0</property>
2195                                 </widget>
2196                                 <packing>
2197                                   <property name="padding">0</property>
2198                                   <property name="expand">False</property>
2199                                   <property name="fill">False</property>
2200                                 </packing>
2201                               </child>
2202
2203                               <child>
2204                                 <widget class="GtkHBox" id="hbox20">
2205                                   <property name="visible">True</property>
2206                                   <property name="homogeneous">False</property>
2207                                   <property name="spacing">6</property>
2208
2209                                   <child>
2210                                     <widget class="GtkLabel" id="dock_float_label">
2211                                       <property name="visible">True</property>
2212                                       <property name="label" translatable="yes">_Floating position:</property>
2213                                       <property name="use_underline">True</property>
2214                                       <property name="use_markup">False</property>
2215                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
2216                                       <property name="wrap">False</property>
2217                                       <property name="selectable">False</property>
2218                                       <property name="xalign">0.5</property>
2219                                       <property name="yalign">0.5</property>
2220                                       <property name="xpad">0</property>
2221                                       <property name="ypad">0</property>
2222                                       <property name="mnemonic_widget">dock_float_x</property>
2223                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2224                                       <property name="width_chars">-1</property>
2225                                       <property name="single_line_mode">False</property>
2226                                       <property name="angle">0</property>
2227                                     </widget>
2228                                     <packing>
2229                                       <property name="padding">0</property>
2230                                       <property name="expand">False</property>
2231                                       <property name="fill">False</property>
2232                                     </packing>
2233                                   </child>
2234
2235                                   <child>
2236                                     <widget class="GtkSpinButton" id="dock_float_x">
2237                                       <property name="visible">True</property>
2238                                       <property name="can_focus">True</property>
2239                                       <property name="climb_rate">1</property>
2240                                       <property name="digits">0</property>
2241                                       <property name="numeric">False</property>
2242                                       <property name="update_policy">GTK_UPDATE_ALWAYS</property>
2243                                       <property name="snap_to_ticks">False</property>
2244                                       <property name="wrap">False</property>
2245                                       <property name="adjustment">1 0 10000 1 10 10</property>
2246                                       <signal name="value_changed" handler="on_dock_float_x_value_changed" after="yes" last_modification_time="Sun, 14 Sep 2003 11:07:38 GMT"/>
2247                                     </widget>
2248                                     <packing>
2249                                       <property name="padding">0</property>
2250                                       <property name="expand">False</property>
2251                                       <property name="fill">True</property>
2252                                     </packing>
2253                                   </child>
2254
2255                                   <child>
2256                                     <widget class="GtkLabel" id="dock_float_label_x">
2257                                       <property name="visible">True</property>
2258                                       <property name="label" translatable="yes">x</property>
2259                                       <property name="use_underline">False</property>
2260                                       <property name="use_markup">False</property>
2261                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
2262                                       <property name="wrap">False</property>
2263                                       <property name="selectable">False</property>
2264                                       <property name="xalign">0.5</property>
2265                                       <property name="yalign">0.5</property>
2266                                       <property name="xpad">0</property>
2267                                       <property name="ypad">0</property>
2268                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2269                                       <property name="width_chars">-1</property>
2270                                       <property name="single_line_mode">False</property>
2271                                       <property name="angle">0</property>
2272                                     </widget>
2273                                     <packing>
2274                                       <property name="padding">0</property>
2275                                       <property name="expand">False</property>
2276                                       <property name="fill">False</property>
2277                                     </packing>
2278                                   </child>
2279
2280                                   <child>
2281                                     <widget class="GtkSpinButton" id="dock_float_y">
2282                                       <property name="visible">True</property>
2283                                       <property name="can_focus">True</property>
2284                                       <property name="climb_rate">1</property>
2285                                       <property name="digits">0</property>
2286                                       <property name="numeric">False</property>
2287                                       <property name="update_policy">GTK_UPDATE_ALWAYS</property>
2288                                       <property name="snap_to_ticks">False</property>
2289                                       <property name="wrap">False</property>
2290                                       <property name="adjustment">1 0 10000 1 10 10</property>
2291                                       <signal name="value_changed" handler="on_dock_float_y_value_changed" after="yes" last_modification_time="Sun, 14 Sep 2003 11:08:09 GMT"/>
2292                                     </widget>
2293                                     <packing>
2294                                       <property name="padding">0</property>
2295                                       <property name="expand">False</property>
2296                                       <property name="fill">True</property>
2297                                     </packing>
2298                                   </child>
2299                                 </widget>
2300                                 <packing>
2301                                   <property name="padding">0</property>
2302                                   <property name="expand">True</property>
2303                                   <property name="fill">True</property>
2304                                 </packing>
2305                               </child>
2306                             </widget>
2307                             <packing>
2308                               <property name="padding">0</property>
2309                               <property name="expand">False</property>
2310                               <property name="fill">False</property>
2311                             </packing>
2312                           </child>
2313
2314                           <child>
2315                             <widget class="GtkHBox" id="hbox38">
2316                               <property name="visible">True</property>
2317                               <property name="homogeneous">False</property>
2318                               <property name="spacing">12</property>
2319
2320                               <child>
2321                                 <widget class="GtkLabel" id="dock_direction_label">
2322                                   <property name="visible">True</property>
2323                                   <property name="label" translatable="yes">_Orientation: </property>
2324                                   <property name="use_underline">True</property>
2325                                   <property name="use_markup">False</property>
2326                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2327                                   <property name="wrap">False</property>
2328                                   <property name="selectable">False</property>
2329                                   <property name="xalign">0</property>
2330                                   <property name="yalign">0.5</property>
2331                                   <property name="xpad">0</property>
2332                                   <property name="ypad">0</property>
2333                                   <property name="mnemonic_widget">dock_direction</property>
2334                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2335                                   <property name="width_chars">-1</property>
2336                                   <property name="single_line_mode">False</property>
2337                                   <property name="angle">0</property>
2338                                 </widget>
2339                                 <packing>
2340                                   <property name="padding">0</property>
2341                                   <property name="expand">False</property>
2342                                   <property name="fill">False</property>
2343                                 </packing>
2344                               </child>
2345
2346                               <child>
2347                                 <widget class="GtkOptionMenu" id="dock_direction">
2348                                   <property name="visible">True</property>
2349                                   <property name="can_focus">True</property>
2350                                   <property name="history">0</property>
2351
2352                                   <child>
2353                                     <widget class="GtkMenu" id="menu7">
2354
2355                                       <child>
2356                                         <widget class="GtkMenuItem" id="vertical">
2357                                           <property name="visible">True</property>
2358                                           <property name="label" translatable="yes">Vertical</property>
2359                                           <property name="use_underline">True</property>
2360                                           <signal name="activate" handler="on_dock_vertical_activate" last_modification_time="Sun, 07 Sep 2003 20:38:38 GMT"/>
2361                                         </widget>
2362                                       </child>
2363
2364                                       <child>
2365                                         <widget class="GtkMenuItem" id="horizontal">
2366                                           <property name="visible">True</property>
2367                                           <property name="label" translatable="yes">Horizontal</property>
2368                                           <property name="use_underline">True</property>
2369                                           <signal name="activate" handler="on_dock_horizontal_activate" last_modification_time="Sun, 07 Sep 2003 20:38:38 GMT"/>
2370                                         </widget>
2371                                       </child>
2372                                     </widget>
2373                                   </child>
2374                                 </widget>
2375                                 <packing>
2376                                   <property name="padding">0</property>
2377                                   <property name="expand">False</property>
2378                                   <property name="fill">False</property>
2379                                 </packing>
2380                               </child>
2381                             </widget>
2382                             <packing>
2383                               <property name="padding">0</property>
2384                               <property name="expand">True</property>
2385                               <property name="fill">True</property>
2386                             </packing>
2387                           </child>
2388                         </widget>
2389                         <packing>
2390                           <property name="padding">0</property>
2391                           <property name="expand">True</property>
2392                           <property name="fill">True</property>
2393                         </packing>
2394                       </child>
2395                     </widget>
2396                     <packing>
2397                       <property name="padding">0</property>
2398                       <property name="expand">False</property>
2399                       <property name="fill">False</property>
2400                     </packing>
2401                   </child>
2402                 </widget>
2403                 <packing>
2404                   <property name="padding">0</property>
2405                   <property name="expand">False</property>
2406                   <property name="fill">False</property>
2407                 </packing>
2408               </child>
2409
2410               <child>
2411                 <widget class="GtkVBox" id="vbox28">
2412                   <property name="visible">True</property>
2413                   <property name="homogeneous">False</property>
2414                   <property name="spacing">6</property>
2415
2416                   <child>
2417                     <widget class="GtkLabel" id="label74">
2418                       <property name="visible">True</property>
2419                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Stacking&lt;/span&gt;</property>
2420                       <property name="use_underline">False</property>
2421                       <property name="use_markup">True</property>
2422                       <property name="justify">GTK_JUSTIFY_LEFT</property>
2423                       <property name="wrap">False</property>
2424                       <property name="selectable">False</property>
2425                       <property name="xalign">0</property>
2426                       <property name="yalign">0.5</property>
2427                       <property name="xpad">0</property>
2428                       <property name="ypad">0</property>
2429                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2430                       <property name="width_chars">-1</property>
2431                       <property name="single_line_mode">False</property>
2432                       <property name="angle">0</property>
2433                     </widget>
2434                     <packing>
2435                       <property name="padding">0</property>
2436                       <property name="expand">False</property>
2437                       <property name="fill">False</property>
2438                     </packing>
2439                   </child>
2440
2441                   <child>
2442                     <widget class="GtkHBox" id="hbox34">
2443                       <property name="visible">True</property>
2444                       <property name="homogeneous">False</property>
2445                       <property name="spacing">0</property>
2446
2447                       <child>
2448                         <widget class="GtkLabel" id="label72">
2449                           <property name="visible">True</property>
2450                           <property name="label" translatable="yes">    </property>
2451                           <property name="use_underline">False</property>
2452                           <property name="use_markup">False</property>
2453                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2454                           <property name="wrap">False</property>
2455                           <property name="selectable">False</property>
2456                           <property name="xalign">0.5</property>
2457                           <property name="yalign">0.5</property>
2458                           <property name="xpad">0</property>
2459                           <property name="ypad">0</property>
2460                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2461                           <property name="width_chars">-1</property>
2462                           <property name="single_line_mode">False</property>
2463                           <property name="angle">0</property>
2464                         </widget>
2465                         <packing>
2466                           <property name="padding">0</property>
2467                           <property name="expand">False</property>
2468                           <property name="fill">False</property>
2469                         </packing>
2470                       </child>
2471
2472                       <child>
2473                         <widget class="GtkVBox" id="vbox31">
2474                           <property name="visible">True</property>
2475                           <property name="homogeneous">False</property>
2476                           <property name="spacing">6</property>
2477
2478                           <child>
2479                             <widget class="GtkRadioButton" id="dock_stack_top">
2480                               <property name="visible">True</property>
2481                               <property name="can_focus">True</property>
2482                               <property name="label" translatable="yes">Keep dock _above other windows</property>
2483                               <property name="use_underline">True</property>
2484                               <property name="relief">GTK_RELIEF_NORMAL</property>
2485                               <property name="focus_on_click">True</property>
2486                               <property name="active">False</property>
2487                               <property name="inconsistent">False</property>
2488                               <property name="draw_indicator">True</property>
2489                               <signal name="toggled" handler="on_dock_stacking_top_toggled" after="yes" last_modification_time="Wed, 24 Sep 2003 13:56:02 GMT"/>
2490                             </widget>
2491                             <packing>
2492                               <property name="padding">0</property>
2493                               <property name="expand">False</property>
2494                               <property name="fill">False</property>
2495                             </packing>
2496                           </child>
2497
2498                           <child>
2499                             <widget class="GtkRadioButton" id="dock_stack_normal">
2500                               <property name="visible">True</property>
2501                               <property name="can_focus">True</property>
2502                               <property name="label" translatable="yes">A_llow dock to be both above and below windows</property>
2503                               <property name="use_underline">True</property>
2504                               <property name="relief">GTK_RELIEF_NORMAL</property>
2505                               <property name="focus_on_click">True</property>
2506                               <property name="active">False</property>
2507                               <property name="inconsistent">False</property>
2508                               <property name="draw_indicator">True</property>
2509                               <property name="group">dock_stack_top</property>
2510                               <signal name="toggled" handler="on_dock_stacking_normal_toggled" after="yes" last_modification_time="Wed, 24 Sep 2003 13:56:08 GMT"/>
2511                             </widget>
2512                             <packing>
2513                               <property name="padding">0</property>
2514                               <property name="expand">False</property>
2515                               <property name="fill">False</property>
2516                             </packing>
2517                           </child>
2518
2519                           <child>
2520                             <widget class="GtkRadioButton" id="dock_stack_bottom">
2521                               <property name="visible">True</property>
2522                               <property name="can_focus">True</property>
2523                               <property name="label" translatable="yes">Keep dock _below other windows</property>
2524                               <property name="use_underline">True</property>
2525                               <property name="relief">GTK_RELIEF_NORMAL</property>
2526                               <property name="focus_on_click">True</property>
2527                               <property name="active">False</property>
2528                               <property name="inconsistent">False</property>
2529                               <property name="draw_indicator">True</property>
2530                               <property name="group">dock_stack_top</property>
2531                               <signal name="toggled" handler="on_dock_stacking_bottom_toggled" after="yes" last_modification_time="Wed, 24 Sep 2003 13:56:15 GMT"/>
2532                             </widget>
2533                             <packing>
2534                               <property name="padding">0</property>
2535                               <property name="expand">False</property>
2536                               <property name="fill">False</property>
2537                             </packing>
2538                           </child>
2539                         </widget>
2540                         <packing>
2541                           <property name="padding">0</property>
2542                           <property name="expand">False</property>
2543                           <property name="fill">False</property>
2544                         </packing>
2545                       </child>
2546                     </widget>
2547                     <packing>
2548                       <property name="padding">0</property>
2549                       <property name="expand">False</property>
2550                       <property name="fill">False</property>
2551                     </packing>
2552                   </child>
2553                 </widget>
2554                 <packing>
2555                   <property name="padding">0</property>
2556                   <property name="expand">False</property>
2557                   <property name="fill">False</property>
2558                 </packing>
2559               </child>
2560
2561               <child>
2562                 <widget class="GtkVBox" id="vbox29">
2563                   <property name="visible">True</property>
2564                   <property name="homogeneous">False</property>
2565                   <property name="spacing">6</property>
2566
2567                   <child>
2568                     <widget class="GtkLabel" id="label75">
2569                       <property name="visible">True</property>
2570                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Hiding&lt;/span&gt;</property>
2571                       <property name="use_underline">False</property>
2572                       <property name="use_markup">True</property>
2573                       <property name="justify">GTK_JUSTIFY_LEFT</property>
2574                       <property name="wrap">False</property>
2575                       <property name="selectable">False</property>
2576                       <property name="xalign">0</property>
2577                       <property name="yalign">0.5</property>
2578                       <property name="xpad">0</property>
2579                       <property name="ypad">0</property>
2580                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2581                       <property name="width_chars">-1</property>
2582                       <property name="single_line_mode">False</property>
2583                       <property name="angle">0</property>
2584                     </widget>
2585                     <packing>
2586                       <property name="padding">0</property>
2587                       <property name="expand">False</property>
2588                       <property name="fill">False</property>
2589                     </packing>
2590                   </child>
2591
2592                   <child>
2593                     <widget class="GtkHBox" id="hbox35">
2594                       <property name="visible">True</property>
2595                       <property name="homogeneous">False</property>
2596                       <property name="spacing">0</property>
2597
2598                       <child>
2599                         <widget class="GtkLabel" id="label73">
2600                           <property name="visible">True</property>
2601                           <property name="label" translatable="yes">    </property>
2602                           <property name="use_underline">False</property>
2603                           <property name="use_markup">False</property>
2604                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2605                           <property name="wrap">False</property>
2606                           <property name="selectable">False</property>
2607                           <property name="xalign">0.5</property>
2608                           <property name="yalign">0.5</property>
2609                           <property name="xpad">0</property>
2610                           <property name="ypad">0</property>
2611                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2612                           <property name="width_chars">-1</property>
2613                           <property name="single_line_mode">False</property>
2614                           <property name="angle">0</property>
2615                         </widget>
2616                         <packing>
2617                           <property name="padding">0</property>
2618                           <property name="expand">False</property>
2619                           <property name="fill">False</property>
2620                         </packing>
2621                       </child>
2622
2623                       <child>
2624                         <widget class="GtkVBox" id="vbox32">
2625                           <property name="visible">True</property>
2626                           <property name="homogeneous">False</property>
2627                           <property name="spacing">6</property>
2628
2629                           <child>
2630                             <widget class="GtkCheckButton" id="dock_hide">
2631                               <property name="visible">True</property>
2632                               <property name="can_focus">True</property>
2633                               <property name="label" translatable="yes">_Hide off screen</property>
2634                               <property name="use_underline">True</property>
2635                               <property name="relief">GTK_RELIEF_NORMAL</property>
2636                               <property name="focus_on_click">True</property>
2637                               <property name="active">False</property>
2638                               <property name="inconsistent">False</property>
2639                               <property name="draw_indicator">True</property>
2640                               <signal name="toggled" handler="on_dock_hide_toggled" last_modification_time="Sun, 14 Sep 2003 11:08:31 GMT"/>
2641                             </widget>
2642                             <packing>
2643                               <property name="padding">0</property>
2644                               <property name="expand">False</property>
2645                               <property name="fill">False</property>
2646                             </packing>
2647                           </child>
2648
2649                           <child>
2650                             <widget class="GtkHBox" id="hbox37">
2651                               <property name="visible">True</property>
2652                               <property name="homogeneous">False</property>
2653                               <property name="spacing">0</property>
2654
2655                               <child>
2656                                 <widget class="GtkLabel" id="label77">
2657                                   <property name="visible">True</property>
2658                                   <property name="label" translatable="yes">    </property>
2659                                   <property name="use_underline">False</property>
2660                                   <property name="use_markup">False</property>
2661                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2662                                   <property name="wrap">False</property>
2663                                   <property name="selectable">False</property>
2664                                   <property name="xalign">0.5</property>
2665                                   <property name="yalign">0.5</property>
2666                                   <property name="xpad">0</property>
2667                                   <property name="ypad">0</property>
2668                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2669                                   <property name="width_chars">-1</property>
2670                                   <property name="single_line_mode">False</property>
2671                                   <property name="angle">0</property>
2672                                 </widget>
2673                                 <packing>
2674                                   <property name="padding">0</property>
2675                                   <property name="expand">False</property>
2676                                   <property name="fill">False</property>
2677                                 </packing>
2678                               </child>
2679
2680                               <child>
2681                                 <widget class="GtkHBox" id="hbox23">
2682                                   <property name="visible">True</property>
2683                                   <property name="homogeneous">False</property>
2684                                   <property name="spacing">6</property>
2685
2686                                   <child>
2687                                     <widget class="GtkLabel" id="dock_hide_label">
2688                                       <property name="visible">True</property>
2689                                       <property name="label" translatable="yes">_Delay before hiding:</property>
2690                                       <property name="use_underline">True</property>
2691                                       <property name="use_markup">False</property>
2692                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
2693                                       <property name="wrap">False</property>
2694                                       <property name="selectable">False</property>
2695                                       <property name="xalign">0.5</property>
2696                                       <property name="yalign">0.5</property>
2697                                       <property name="xpad">0</property>
2698                                       <property name="ypad">0</property>
2699                                       <property name="mnemonic_widget">dock_hide_delay</property>
2700                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2701                                       <property name="width_chars">-1</property>
2702                                       <property name="single_line_mode">False</property>
2703                                       <property name="angle">0</property>
2704                                     </widget>
2705                                     <packing>
2706                                       <property name="padding">0</property>
2707                                       <property name="expand">False</property>
2708                                       <property name="fill">False</property>
2709                                     </packing>
2710                                   </child>
2711
2712                                   <child>
2713                                     <widget class="GtkSpinButton" id="dock_hide_delay">
2714                                       <property name="visible">True</property>
2715                                       <property name="can_focus">True</property>
2716                                       <property name="climb_rate">1</property>
2717                                       <property name="digits">0</property>
2718                                       <property name="numeric">False</property>
2719                                       <property name="update_policy">GTK_UPDATE_ALWAYS</property>
2720                                       <property name="snap_to_ticks">False</property>
2721                                       <property name="wrap">False</property>
2722                                       <property name="adjustment">300 0 10000 1 10 10</property>
2723                                       <signal name="value_changed" handler="on_dock_hide_delay_value_changed" after="yes" last_modification_time="Sun, 14 Sep 2003 11:08:49 GMT"/>
2724                                     </widget>
2725                                     <packing>
2726                                       <property name="padding">0</property>
2727                                       <property name="expand">False</property>
2728                                       <property name="fill">True</property>
2729                                     </packing>
2730                                   </child>
2731
2732                                   <child>
2733                                     <widget class="GtkLabel" id="dock_hide_label_units">
2734                                       <property name="visible">True</property>
2735                                       <property name="label" translatable="yes">ms</property>
2736                                       <property name="use_underline">False</property>
2737                                       <property name="use_markup">False</property>
2738                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
2739                                       <property name="wrap">False</property>
2740                                       <property name="selectable">False</property>
2741                                       <property name="xalign">0.5</property>
2742                                       <property name="yalign">0.5</property>
2743                                       <property name="xpad">0</property>
2744                                       <property name="ypad">0</property>
2745                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2746                                       <property name="width_chars">-1</property>
2747                                       <property name="single_line_mode">False</property>
2748                                       <property name="angle">0</property>
2749                                     </widget>
2750                                     <packing>
2751                                       <property name="padding">0</property>
2752                                       <property name="expand">False</property>
2753                                       <property name="fill">False</property>
2754                                     </packing>
2755                                   </child>
2756                                 </widget>
2757                                 <packing>
2758                                   <property name="padding">0</property>
2759                                   <property name="expand">True</property>
2760                                   <property name="fill">True</property>
2761                                 </packing>
2762                               </child>
2763                             </widget>
2764                             <packing>
2765                               <property name="padding">0</property>
2766                               <property name="expand">True</property>
2767                               <property name="fill">True</property>
2768                             </packing>
2769                           </child>
2770                         </widget>
2771                         <packing>
2772                           <property name="padding">0</property>
2773                           <property name="expand">True</property>
2774                           <property name="fill">True</property>
2775                         </packing>
2776                       </child>
2777                     </widget>
2778                     <packing>
2779                       <property name="padding">0</property>
2780                       <property name="expand">True</property>
2781                       <property name="fill">True</property>
2782                     </packing>
2783                   </child>
2784                 </widget>
2785                 <packing>
2786                   <property name="padding">0</property>
2787                   <property name="expand">False</property>
2788                   <property name="fill">False</property>
2789                 </packing>
2790               </child>
2791             </widget>
2792             <packing>
2793               <property name="tab_expand">False</property>
2794               <property name="tab_fill">True</property>
2795             </packing>
2796           </child>
2797
2798           <child>
2799             <widget class="GtkLabel" id="label41">
2800               <property name="visible">True</property>
2801               <property name="label" translatable="yes">Dock</property>
2802               <property name="use_underline">False</property>
2803               <property name="use_markup">False</property>
2804               <property name="justify">GTK_JUSTIFY_LEFT</property>
2805               <property name="wrap">False</property>
2806               <property name="selectable">False</property>
2807               <property name="xalign">0.5</property>
2808               <property name="yalign">0.5</property>
2809               <property name="xpad">0</property>
2810               <property name="ypad">0</property>
2811               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2812               <property name="width_chars">-1</property>
2813               <property name="single_line_mode">False</property>
2814               <property name="angle">0</property>
2815             </widget>
2816             <packing>
2817               <property name="type">tab</property>
2818             </packing>
2819           </child>
2820         </widget>
2821         <packing>
2822           <property name="padding">0</property>
2823           <property name="expand">True</property>
2824           <property name="fill">True</property>
2825         </packing>
2826       </child>
2827
2828       <child>
2829         <widget class="GtkHBox" id="hbox39">
2830           <property name="visible">True</property>
2831           <property name="homogeneous">False</property>
2832           <property name="spacing">0</property>
2833
2834           <child>
2835             <widget class="GtkHButtonBox" id="hbuttonbox1">
2836               <property name="visible">True</property>
2837               <property name="layout_style">GTK_BUTTONBOX_START</property>
2838               <property name="spacing">0</property>
2839
2840               <child>
2841                 <widget class="GtkButton" id="about">
2842                   <property name="visible">True</property>
2843                   <property name="can_default">True</property>
2844                   <property name="can_focus">True</property>
2845                   <property name="label" translatable="yes">Abo_ut</property>
2846                   <property name="use_underline">True</property>
2847                   <property name="relief">GTK_RELIEF_NORMAL</property>
2848                   <property name="focus_on_click">True</property>
2849                   <signal name="clicked" handler="on_about_clicked" after="yes" last_modification_time="Wed, 24 Sep 2003 15:10:23 GMT"/>
2850                 </widget>
2851               </child>
2852             </widget>
2853             <packing>
2854               <property name="padding">0</property>
2855               <property name="expand">True</property>
2856               <property name="fill">True</property>
2857             </packing>
2858           </child>
2859
2860           <child>
2861             <widget class="GtkHButtonBox" id="hbuttonbox1">
2862               <property name="visible">True</property>
2863               <property name="layout_style">GTK_BUTTONBOX_END</property>
2864               <property name="spacing">0</property>
2865
2866               <child>
2867                 <widget class="GtkButton" id="close">
2868                   <property name="visible">True</property>
2869                   <property name="can_default">True</property>
2870                   <property name="can_focus">True</property>
2871                   <property name="label">gtk-close</property>
2872                   <property name="use_stock">True</property>
2873                   <property name="relief">GTK_RELIEF_NORMAL</property>
2874                   <property name="focus_on_click">True</property>
2875                   <signal name="clicked" handler="on_close_clicked" last_modification_time="Sun, 14 Sep 2003 11:27:56 GMT"/>
2876                 </widget>
2877               </child>
2878             </widget>
2879             <packing>
2880               <property name="padding">0</property>
2881               <property name="expand">True</property>
2882               <property name="fill">True</property>
2883             </packing>
2884           </child>
2885         </widget>
2886         <packing>
2887           <property name="padding">0</property>
2888           <property name="expand">False</property>
2889           <property name="fill">False</property>
2890         </packing>
2891       </child>
2892     </widget>
2893   </child>
2894 </widget>
2895
2896 <widget class="GtkWindow" id="about_window">
2897   <property name="title" translatable="yes">About ObConf</property>
2898   <property name="type">GTK_WINDOW_TOPLEVEL</property>
2899   <property name="window_position">GTK_WIN_POS_NONE</property>
2900   <property name="modal">False</property>
2901   <property name="resizable">True</property>
2902   <property name="destroy_with_parent">False</property>
2903   <property name="decorated">True</property>
2904   <property name="skip_taskbar_hint">False</property>
2905   <property name="skip_pager_hint">False</property>
2906   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
2907   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
2908   <property name="focus_on_map">True</property>
2909   <property name="urgency_hint">False</property>
2910   <signal name="delete_event" handler="on_about_window_delete_event" last_modification_time="Wed, 24 Sep 2003 15:28:37 GMT"/>
2911
2912   <child>
2913     <widget class="GtkVBox" id="vbox33">
2914       <property name="border_width">12</property>
2915       <property name="visible">True</property>
2916       <property name="homogeneous">False</property>
2917       <property name="spacing">12</property>
2918
2919       <child>
2920         <widget class="GtkVBox" id="vbox33">
2921           <property name="visible">True</property>
2922           <property name="homogeneous">False</property>
2923           <property name="spacing">6</property>
2924
2925           <child>
2926             <widget class="GtkLabel" id="title_label">
2927               <property name="visible">True</property>
2928               <property name="can_focus">True</property>
2929               <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot; size=&quot;xx-large&quot;&gt;ObConf VERSION&lt;/span&gt;</property>
2930               <property name="use_underline">False</property>
2931               <property name="use_markup">True</property>
2932               <property name="justify">GTK_JUSTIFY_LEFT</property>
2933               <property name="wrap">False</property>
2934               <property name="selectable">True</property>
2935               <property name="xalign">0.5</property>
2936               <property name="yalign">0.5</property>
2937               <property name="xpad">0</property>
2938               <property name="ypad">0</property>
2939               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2940               <property name="width_chars">-1</property>
2941               <property name="single_line_mode">False</property>
2942               <property name="angle">0</property>
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
2951           <child>
2952             <widget class="GtkLabel" id="label81">
2953               <property name="visible">True</property>
2954               <property name="can_focus">True</property>
2955               <property name="label" translatable="yes">A preferences manager for Openbox</property>
2956               <property name="use_underline">False</property>
2957               <property name="use_markup">False</property>
2958               <property name="justify">GTK_JUSTIFY_LEFT</property>
2959               <property name="wrap">False</property>
2960               <property name="selectable">True</property>
2961               <property name="xalign">0.5</property>
2962               <property name="yalign">0.5</property>
2963               <property name="xpad">0</property>
2964               <property name="ypad">0</property>
2965               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2966               <property name="width_chars">-1</property>
2967               <property name="single_line_mode">False</property>
2968               <property name="angle">0</property>
2969             </widget>
2970             <packing>
2971               <property name="padding">0</property>
2972               <property name="expand">False</property>
2973               <property name="fill">False</property>
2974             </packing>
2975           </child>
2976
2977           <child>
2978             <widget class="GtkLabel" id="label80">
2979               <property name="visible">True</property>
2980               <property name="can_focus">True</property>
2981               <property name="label" translatable="yes">Copyright (c) 2003-2007
2982 Dana Jansens &lt;danakj@orodu.net&gt;
2983 Tim Riley &lt;tr@slackzone.org&gt;</property>
2984               <property name="use_underline">False</property>
2985               <property name="use_markup">False</property>
2986               <property name="justify">GTK_JUSTIFY_CENTER</property>
2987               <property name="wrap">False</property>
2988               <property name="selectable">True</property>
2989               <property name="xalign">0.5</property>
2990               <property name="yalign">0.5</property>
2991               <property name="xpad">0</property>
2992               <property name="ypad">0</property>
2993               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2994               <property name="width_chars">-1</property>
2995               <property name="single_line_mode">False</property>
2996               <property name="angle">0</property>
2997             </widget>
2998             <packing>
2999               <property name="padding">0</property>
3000               <property name="expand">False</property>
3001               <property name="fill">False</property>
3002             </packing>
3003           </child>
3004         </widget>
3005         <packing>
3006           <property name="padding">0</property>
3007           <property name="expand">True</property>
3008           <property name="fill">True</property>
3009         </packing>
3010       </child>
3011
3012       <child>
3013         <widget class="GtkHButtonBox" id="hbuttonbox2">
3014           <property name="visible">True</property>
3015           <property name="layout_style">GTK_BUTTONBOX_END</property>
3016           <property name="spacing">0</property>
3017
3018           <child>
3019             <widget class="GtkButton" id="about_close">
3020               <property name="visible">True</property>
3021               <property name="can_default">True</property>
3022               <property name="has_default">True</property>
3023               <property name="can_focus">True</property>
3024               <property name="has_focus">True</property>
3025               <property name="label">gtk-close</property>
3026               <property name="use_stock">True</property>
3027               <property name="relief">GTK_RELIEF_NORMAL</property>
3028               <property name="focus_on_click">True</property>
3029               <signal name="clicked" handler="on_about_close_clicked" after="yes" last_modification_time="Wed, 24 Sep 2003 15:27:04 GMT"/>
3030             </widget>
3031           </child>
3032         </widget>
3033         <packing>
3034           <property name="padding">0</property>
3035           <property name="expand">True</property>
3036           <property name="fill">True</property>
3037         </packing>
3038       </child>
3039     </widget>
3040   </child>
3041 </widget>
3042
3043 </glade-interface>