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