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