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