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