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">6</property>
   8   <property name="title" translatable="yes">Openbox Configuration Manager</property>
   9   <property name="type">GTK_WINDOW_TOPLEVEL</property>
  10   <property name="window_position">GTK_WIN_POS_NONE</property>
  11   <property name="modal">False</property>
  12   <property name="resizable">True</property>
  13   <property name="destroy_with_parent">False</property>
  14   <property name="icon_name">preferences-system-windows</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">6</property>
  29
  30       <child>
  31         <widget class="GtkNotebook" id="notebook1">
  32           <property name="visible">True</property>
  33           <property name="can_focus">True</property>
  34           <property name="show_tabs">True</property>
  35           <property name="show_border">True</property>
  36           <property name="tab_pos">GTK_POS_TOP</property>
  37           <property name="scrollable">False</property>
  38           <property name="enable_popup">False</property>
  39
  40           <child>
  41             <widget class="GtkVBox" id="vbox20">
  42               <property name="border_width">12</property>
  43               <property name="visible">True</property>
  44               <property name="homogeneous">False</property>
  45               <property name="spacing">6</property>
  46
  47               <child>
  48                 <widget class="GtkVBox" id="vbox21">
  49                   <property name="visible">True</property>
  50                   <property name="homogeneous">False</property>
  51                   <property name="spacing">6</property>
  52
  53                   <child>
  54                     <widget class="GtkLabel" id="label59">
  55                       <property name="visible">True</property>
  56                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Theme&lt;/span&gt;</property>
  57                       <property name="use_underline">False</property>
  58                       <property name="use_markup">True</property>
  59                       <property name="justify">GTK_JUSTIFY_LEFT</property>
  60                       <property name="wrap">False</property>
  61                       <property name="selectable">False</property>
  62                       <property name="xalign">0</property>
  63                       <property name="yalign">0.5</property>
  64                       <property name="xpad">0</property>
  65                       <property name="ypad">0</property>
  66                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  67                       <property name="width_chars">-1</property>
  68                       <property name="single_line_mode">False</property>
  69                       <property name="angle">0</property>
  70                     </widget>
  71                     <packing>
  72                       <property name="padding">0</property>
  73                       <property name="expand">False</property>
  74                       <property name="fill">False</property>
  75                     </packing>
  76                   </child>
  77
  78                   <child>
  79                     <widget class="GtkHBox" id="hbox29">
  80                       <property name="visible">True</property>
  81                       <property name="homogeneous">False</property>
  82                       <property name="spacing">0</property>
  83
  84                       <child>
  85                         <widget class="GtkLabel" id="label60">
  86                           <property name="visible">True</property>
  87                           <property name="label">    </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_AUTOMATIC</property>
 121                               <property name="shadow_type">GTK_SHADOW_IN</property>
 122                               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 123
 124                               <child>
 125                                 <widget class="GtkTreeView" id="theme_names">
 126                                   <property name="visible">True</property>
 127                                   <property name="can_focus">True</property>
 128                                   <property name="headers_visible">False</property>
 129                                   <property name="rules_hint">False</property>
 130                                   <property name="reorderable">False</property>
 131                                   <property name="enable_search">True</property>
 132                                   <property name="fixed_height_mode">False</property>
 133                                   <property name="hover_selection">False</property>
 134                                   <property name="hover_expand">False</property>
 135                                 </widget>
 136                               </child>
 137                             </widget>
 138                             <packing>
 139                               <property name="padding">0</property>
 140                               <property name="expand">True</property>
 141                               <property name="fill">True</property>
 142                             </packing>
 143                           </child>
 144                         </widget>
 145                         <packing>
 146                           <property name="padding">0</property>
 147                           <property name="expand">True</property>
 148                           <property name="fill">True</property>
 149                         </packing>
 150                       </child>
 151                     </widget>
 152                     <packing>
 153                       <property name="padding">0</property>
 154                       <property name="expand">True</property>
 155                       <property name="fill">True</property>
 156                     </packing>
 157                   </child>
 158                 </widget>
 159                 <packing>
 160                   <property name="padding">0</property>
 161                   <property name="expand">True</property>
 162                   <property name="fill">True</property>
 163                 </packing>
 164               </child>
 165
 166               <child>
 167                 <widget class="GtkVBox" id="vbox41">
 168                   <property name="visible">True</property>
 169                   <property name="homogeneous">False</property>
 170                   <property name="spacing">0</property>
 171
 172                   <child>
 173                     <widget class="GtkButton" id="install_theme">
 174                       <property name="visible">True</property>
 175                       <property name="can_focus">True</property>
 176                       <property name="relief">GTK_RELIEF_NORMAL</property>
 177                       <property name="focus_on_click">True</property>
 178                       <signal name="clicked" handler="on_install_theme_clicked" last_modification_time="Tue, 29 May 2007 21:35:26 GMT"/>
 179
 180                       <child>
 181                         <widget class="GtkAlignment" id="alignment1">
 182                           <property name="visible">True</property>
 183                           <property name="xalign">0</property>
 184                           <property name="yalign">0.5</property>
 185                           <property name="xscale">0</property>
 186                           <property name="yscale">0</property>
 187                           <property name="top_padding">0</property>
 188                           <property name="bottom_padding">0</property>
 189                           <property name="left_padding">0</property>
 190                           <property name="right_padding">0</property>
 191
 192                           <child>
 193                             <widget class="GtkHBox" id="hbox53">
 194                               <property name="visible">True</property>
 195                               <property name="homogeneous">False</property>
 196                               <property name="spacing">2</property>
 197
 198                               <child>
 199                                 <widget class="GtkImage" id="image1">
 200                                   <property name="visible">True</property>
 201                                   <property name="stock">gtk-open</property>
 202                                   <property name="icon_size">4</property>
 203                                   <property name="xalign">0.5</property>
 204                                   <property name="yalign">0.5</property>
 205                                   <property name="xpad">0</property>
 206                                   <property name="ypad">0</property>
 207                                 </widget>
 208                                 <packing>
 209                                   <property name="padding">0</property>
 210                                   <property name="expand">False</property>
 211                                   <property name="fill">False</property>
 212                                 </packing>
 213                               </child>
 214
 215                               <child>
 216                                 <widget class="GtkLabel" id="label103">
 217                                   <property name="visible">True</property>
 218                                   <property name="label" translatable="yes">_Install a new theme...</property>
 219                                   <property name="use_underline">True</property>
 220                                   <property name="use_markup">False</property>
 221                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 222                                   <property name="wrap">False</property>
 223                                   <property name="selectable">False</property>
 224                                   <property name="xalign">0.5</property>
 225                                   <property name="yalign">0.5</property>
 226                                   <property name="xpad">0</property>
 227                                   <property name="ypad">0</property>
 228                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 229                                   <property name="width_chars">-1</property>
 230                                   <property name="single_line_mode">False</property>
 231                                   <property name="angle">0</property>
 232                                 </widget>
 233                                 <packing>
 234                                   <property name="padding">0</property>
 235                                   <property name="expand">False</property>
 236                                   <property name="fill">False</property>
 237                                 </packing>
 238                               </child>
 239                             </widget>
 240                           </child>
 241                         </widget>
 242                       </child>
 243                     </widget>
 244                     <packing>
 245                       <property name="padding">0</property>
 246                       <property name="expand">False</property>
 247                       <property name="fill">False</property>
 248                     </packing>
 249                   </child>
 250                 </widget>
 251                 <packing>
 252                   <property name="padding">0</property>
 253                   <property name="expand">False</property>
 254                   <property name="fill">True</property>
 255                 </packing>
 256               </child>
 257
 258               <child>
 259                 <widget class="GtkVBox" id="vbox42">
 260                   <property name="visible">True</property>
 261                   <property name="homogeneous">False</property>
 262                   <property name="spacing">0</property>
 263
 264                   <child>
 265                     <widget class="GtkButton" id="theme_archive">
 266                       <property name="visible">True</property>
 267                       <property name="can_focus">True</property>
 268                       <property name="relief">GTK_RELIEF_NORMAL</property>
 269                       <property name="focus_on_click">True</property>
 270                       <signal name="clicked" handler="on_theme_archive_clicked" last_modification_time="Wed, 30 May 2007 00:08:47 GMT"/>
 271
 272                       <child>
 273                         <widget class="GtkAlignment" id="alignment2">
 274                           <property name="visible">True</property>
 275                           <property name="xalign">0</property>
 276                           <property name="yalign">0.5</property>
 277                           <property name="xscale">0</property>
 278                           <property name="yscale">0</property>
 279                           <property name="top_padding">0</property>
 280                           <property name="bottom_padding">0</property>
 281                           <property name="left_padding">0</property>
 282                           <property name="right_padding">0</property>
 283
 284                           <child>
 285                             <widget class="GtkHBox" id="hbox55">
 286                               <property name="visible">True</property>
 287                               <property name="homogeneous">False</property>
 288                               <property name="spacing">2</property>
 289
 290                               <child>
 291                                 <widget class="GtkImage" id="image2">
 292                                   <property name="visible">True</property>
 293                                   <property name="stock">gtk-save</property>
 294                                   <property name="icon_size">4</property>
 295                                   <property name="xalign">0.5</property>
 296                                   <property name="yalign">0.5</property>
 297                                   <property name="xpad">0</property>
 298                                   <property name="ypad">0</property>
 299                                 </widget>
 300                                 <packing>
 301                                   <property name="padding">0</property>
 302                                   <property name="expand">False</property>
 303                                   <property name="fill">False</property>
 304                                 </packing>
 305                               </child>
 306
 307                               <child>
 308                                 <widget class="GtkLabel" id="label106">
 309                                   <property name="visible">True</property>
 310                                   <property name="label" translatable="yes">Create a theme _archive (.obt)...</property>
 311                                   <property name="use_underline">True</property>
 312                                   <property name="use_markup">False</property>
 313                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 314                                   <property name="wrap">False</property>
 315                                   <property name="selectable">False</property>
 316                                   <property name="xalign">0.5</property>
 317                                   <property name="yalign">0.5</property>
 318                                   <property name="xpad">0</property>
 319                                   <property name="ypad">0</property>
 320                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 321                                   <property name="width_chars">-1</property>
 322                                   <property name="single_line_mode">False</property>
 323                                   <property name="angle">0</property>
 324                                 </widget>
 325                                 <packing>
 326                                   <property name="padding">0</property>
 327                                   <property name="expand">False</property>
 328                                   <property name="fill">False</property>
 329                                 </packing>
 330                               </child>
 331                             </widget>
 332                           </child>
 333                         </widget>
 334                       </child>
 335                     </widget>
 336                     <packing>
 337                       <property name="padding">0</property>
 338                       <property name="expand">False</property>
 339                       <property name="fill">False</property>
 340                     </packing>
 341                   </child>
 342                 </widget>
 343                 <packing>
 344                   <property name="padding">0</property>
 345                   <property name="expand">False</property>
 346                   <property name="fill">True</property>
 347                 </packing>
 348               </child>
 349             </widget>
 350             <packing>
 351               <property name="tab_expand">False</property>
 352               <property name="tab_fill">True</property>
 353             </packing>
 354           </child>
 355
 356           <child>
 357             <widget class="GtkLabel" id="label3">
 358               <property name="visible">True</property>
 359               <property name="label" translatable="yes">Theme</property>
 360               <property name="use_underline">False</property>
 361               <property name="use_markup">False</property>
 362               <property name="justify">GTK_JUSTIFY_LEFT</property>
 363               <property name="wrap">False</property>
 364               <property name="selectable">False</property>
 365               <property name="xalign">0.5</property>
 366               <property name="yalign">0.5</property>
 367               <property name="xpad">0</property>
 368               <property name="ypad">0</property>
 369               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 370               <property name="width_chars">-1</property>
 371               <property name="single_line_mode">False</property>
 372               <property name="angle">0</property>
 373             </widget>
 374             <packing>
 375               <property name="type">tab</property>
 376             </packing>
 377           </child>
 378
 379           <child>
 380             <widget class="GtkVBox" id="vbox36">
 381               <property name="border_width">12</property>
 382               <property name="visible">True</property>
 383               <property name="homogeneous">False</property>
 384               <property name="spacing">18</property>
 385
 386               <child>
 387                 <widget class="GtkVBox" id="vbox40">
 388                   <property name="visible">True</property>
 389                   <property name="homogeneous">False</property>
 390                   <property name="spacing">6</property>
 391
 392                   <child>
 393                     <widget class="GtkLabel" id="label99">
 394                       <property name="visible">True</property>
 395                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Windows&lt;/span&gt;</property>
 396                       <property name="use_underline">False</property>
 397                       <property name="use_markup">True</property>
 398                       <property name="justify">GTK_JUSTIFY_LEFT</property>
 399                       <property name="wrap">False</property>
 400                       <property name="selectable">False</property>
 401                       <property name="xalign">0</property>
 402                       <property name="yalign">0.5</property>
 403                       <property name="xpad">0</property>
 404                       <property name="ypad">0</property>
 405                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 406                       <property name="width_chars">-1</property>
 407                       <property name="single_line_mode">False</property>
 408                       <property name="angle">0</property>
 409                     </widget>
 410                     <packing>
 411                       <property name="padding">0</property>
 412                       <property name="expand">False</property>
 413                       <property name="fill">False</property>
 414                     </packing>
 415                   </child>
 416
 417                   <child>
 418                     <widget class="GtkHBox" id="hbox50">
 419                       <property name="visible">True</property>
 420                       <property name="homogeneous">False</property>
 421                       <property name="spacing">0</property>
 422
 423                       <child>
 424                         <widget class="GtkVBox" id="vbox69">
 425                           <property name="visible">True</property>
 426                           <property name="homogeneous">False</property>
 427                           <property name="spacing">0</property>
 428
 429                           <child>
 430                             <widget class="GtkHBox" id="hbox93">
 431                               <property name="visible">True</property>
 432                               <property name="homogeneous">False</property>
 433                               <property name="spacing">0</property>
 434
 435                               <child>
 436                                 <widget class="GtkLabel" id="label171">
 437                                   <property name="visible">True</property>
 438                                   <property name="label">    </property>
 439                                   <property name="use_underline">False</property>
 440                                   <property name="use_markup">False</property>
 441                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 442                                   <property name="wrap">False</property>
 443                                   <property name="selectable">False</property>
 444                                   <property name="xalign">0.5</property>
 445                                   <property name="yalign">0.5</property>
 446                                   <property name="xpad">0</property>
 447                                   <property name="ypad">0</property>
 448                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 449                                   <property name="width_chars">-1</property>
 450                                   <property name="single_line_mode">False</property>
 451                                   <property name="angle">0</property>
 452                                 </widget>
 453                                 <packing>
 454                                   <property name="padding">0</property>
 455                                   <property name="expand">False</property>
 456                                   <property name="fill">False</property>
 457                                 </packing>
 458                               </child>
 459
 460                               <child>
 461                                 <widget class="GtkVBox" id="vbox70">
 462                                   <property name="visible">True</property>
 463                                   <property name="homogeneous">False</property>
 464                                   <property name="spacing">6</property>
 465
 466                                   <child>
 467                                     <widget class="GtkHBox" id="hbox51">
 468                                       <property name="visible">True</property>
 469                                       <property name="homogeneous">False</property>
 470                                       <property name="spacing">0</property>
 471
 472                                       <child>
 473                                         <widget class="GtkCheckButton" id="window_border">
 474                                           <property name="visible">True</property>
 475                                           <property name="can_focus">True</property>
 476                                           <property name="label" translatable="yes">_Windows retain a border when undecorated</property>
 477                                           <property name="use_underline">True</property>
 478                                           <property name="relief">GTK_RELIEF_NORMAL</property>
 479                                           <property name="focus_on_click">True</property>
 480                                           <property name="active">False</property>
 481                                           <property name="inconsistent">False</property>
 482                                           <property name="draw_indicator">True</property>
 483                                           <signal name="toggled" handler="on_window_border_toggled" after="yes" last_modification_time="Fri, 25 May 2007 16:03:01 GMT"/>
 484                                         </widget>
 485                                         <packing>
 486                                           <property name="padding">0</property>
 487                                           <property name="expand">False</property>
 488                                           <property name="fill">False</property>
 489                                         </packing>
 490                                       </child>
 491                                     </widget>
 492                                     <packing>
 493                                       <property name="padding">0</property>
 494                                       <property name="expand">True</property>
 495                                       <property name="fill">True</property>
 496                                     </packing>
 497                                   </child>
 498
 499                                   <child>
 500                                     <widget class="GtkCheckButton" id="animate_iconify">
 501                                       <property name="visible">True</property>
 502                                       <property name="can_focus">True</property>
 503                                       <property name="label" translatable="yes">A_nimate iconify and restore</property>
 504                                       <property name="use_underline">True</property>
 505                                       <property name="relief">GTK_RELIEF_NORMAL</property>
 506                                       <property name="focus_on_click">True</property>
 507                                       <property name="active">False</property>
 508                                       <property name="inconsistent">False</property>
 509                                       <property name="draw_indicator">True</property>
 510                                       <signal name="toggled" handler="on_animate_iconify_toggled" after="yes" last_modification_time="Fri, 01 Jun 2007 02:39:24 GMT"/>
 511                                     </widget>
 512                                     <packing>
 513                                       <property name="padding">0</property>
 514                                       <property name="expand">False</property>
 515                                       <property name="fill">False</property>
 516                                     </packing>
 517                                   </child>
 518                                 </widget>
 519                                 <packing>
 520                                   <property name="padding">0</property>
 521                                   <property name="expand">True</property>
 522                                   <property name="fill">True</property>
 523                                 </packing>
 524                               </child>
 525                             </widget>
 526                             <packing>
 527                               <property name="padding">0</property>
 528                               <property name="expand">True</property>
 529                               <property name="fill">True</property>
 530                             </packing>
 531                           </child>
 532                         </widget>
 533                         <packing>
 534                           <property name="padding">0</property>
 535                           <property name="expand">True</property>
 536                           <property name="fill">True</property>
 537                         </packing>
 538                       </child>
 539                     </widget>
 540                     <packing>
 541                       <property name="padding">0</property>
 542                       <property name="expand">False</property>
 543                       <property name="fill">True</property>
 544                     </packing>
 545                   </child>
 546                 </widget>
 547                 <packing>
 548                   <property name="padding">0</property>
 549                   <property name="expand">False</property>
 550                   <property name="fill">True</property>
 551                 </packing>
 552               </child>
 553
 554               <child>
 555                 <widget class="GtkVBox" id="vbox38">
 556                   <property name="visible">True</property>
 557                   <property name="homogeneous">False</property>
 558                   <property name="spacing">6</property>
 559
 560                   <child>
 561                     <widget class="GtkLabel" id="label88">
 562                       <property name="visible">True</property>
 563                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Window Titles&lt;/span&gt;</property>
 564                       <property name="use_underline">False</property>
 565                       <property name="use_markup">True</property>
 566                       <property name="justify">GTK_JUSTIFY_LEFT</property>
 567                       <property name="wrap">False</property>
 568                       <property name="selectable">False</property>
 569                       <property name="xalign">0</property>
 570                       <property name="yalign">0.5</property>
 571                       <property name="xpad">0</property>
 572                       <property name="ypad">0</property>
 573                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 574                       <property name="width_chars">-1</property>
 575                       <property name="single_line_mode">False</property>
 576                       <property name="angle">0</property>
 577                     </widget>
 578                     <packing>
 579                       <property name="padding">0</property>
 580                       <property name="expand">False</property>
 581                       <property name="fill">False</property>
 582                     </packing>
 583                   </child>
 584
 585                   <child>
 586                     <widget class="GtkHBox" id="hbox43">
 587                       <property name="visible">True</property>
 588                       <property name="homogeneous">False</property>
 589                       <property name="spacing">0</property>
 590
 591                       <child>
 592                         <widget class="GtkLabel" id="label89">
 593                           <property name="visible">True</property>
 594                           <property name="label">    </property>
 595                           <property name="use_underline">False</property>
 596                           <property name="use_markup">False</property>
 597                           <property name="justify">GTK_JUSTIFY_LEFT</property>
 598                           <property name="wrap">False</property>
 599                           <property name="selectable">False</property>
 600                           <property name="xalign">0.5</property>
 601                           <property name="yalign">0.5</property>
 602                           <property name="xpad">0</property>
 603                           <property name="ypad">0</property>
 604                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 605                           <property name="width_chars">-1</property>
 606                           <property name="single_line_mode">False</property>
 607                           <property name="angle">0</property>
 608                         </widget>
 609                         <packing>
 610                           <property name="padding">0</property>
 611                           <property name="expand">False</property>
 612                           <property name="fill">False</property>
 613                         </packing>
 614                       </child>
 615
 616                       <child>
 617                         <widget class="GtkHBox" id="hbox44">
 618                           <property name="visible">True</property>
 619                           <property name="homogeneous">False</property>
 620                           <property name="spacing">6</property>
 621
 622                           <child>
 623                             <widget class="GtkLabel" id="label90">
 624                               <property name="visible">True</property>
 625                               <property name="label" translatable="yes">_Button order:</property>
 626                               <property name="use_underline">True</property>
 627                               <property name="use_markup">False</property>
 628                               <property name="justify">GTK_JUSTIFY_LEFT</property>
 629                               <property name="wrap">False</property>
 630                               <property name="selectable">False</property>
 631                               <property name="xalign">0.5</property>
 632                               <property name="yalign">0.5</property>
 633                               <property name="xpad">0</property>
 634                               <property name="ypad">0</property>
 635                               <property name="mnemonic_widget">title_layout</property>
 636                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 637                               <property name="width_chars">-1</property>
 638                               <property name="single_line_mode">False</property>
 639                               <property name="angle">0</property>
 640                             </widget>
 641                             <packing>
 642                               <property name="padding">0</property>
 643                               <property name="expand">False</property>
 644                               <property name="fill">False</property>
 645                             </packing>
 646                           </child>
 647
 648                           <child>
 649                             <widget class="GtkEntry" id="title_layout">
 650                               <property name="visible">True</property>
 651                               <property name="tooltip" translatable="yes">N - The window's icon
 652 D - The all-desktops (sticky) button
 653 S - The shade (roll up) button
 654 L - The label (window title)
 655 I - The iconify (minimize) button
 656 M - The maximize button
 657 C - The close button</property>
 658                               <property name="can_focus">True</property>
 659                               <property name="editable">True</property>
 660                               <property name="visibility">True</property>
 661                               <property name="max_length">0</property>
 662                               <property name="text" translatable="yes"></property>
 663                               <property name="has_frame">True</property>
 664                               <property name="invisible_char">*</property>
 665                               <property name="activates_default">False</property>
 666                               <signal name="changed" handler="on_title_layout_changed" after="yes" last_modification_time="Fri, 25 May 2007 16:02:40 GMT"/>
 667                             </widget>
 668                             <packing>
 669                               <property name="padding">0</property>
 670                               <property name="expand">True</property>
 671                               <property name="fill">True</property>
 672                             </packing>
 673                           </child>
 674                         </widget>
 675                         <packing>
 676                           <property name="padding">0</property>
 677                           <property name="expand">True</property>
 678                           <property name="fill">True</property>
 679                         </packing>
 680                       </child>
 681                     </widget>
 682                     <packing>
 683                       <property name="padding">0</property>
 684                       <property name="expand">True</property>
 685                       <property name="fill">True</property>
 686                     </packing>
 687                   </child>
 688                 </widget>
 689                 <packing>
 690                   <property name="padding">0</property>
 691                   <property name="expand">False</property>
 692                   <property name="fill">True</property>
 693                 </packing>
 694               </child>
 695
 696               <child>
 697                 <widget class="GtkVBox" id="vbox39">
 698                   <property name="visible">True</property>
 699                   <property name="homogeneous">False</property>
 700                   <property name="spacing">6</property>
 701
 702                   <child>
 703                     <widget class="GtkLabel" id="label91">
 704                       <property name="visible">True</property>
 705                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Fonts&lt;/span&gt;</property>
 706                       <property name="use_underline">False</property>
 707                       <property name="use_markup">True</property>
 708                       <property name="justify">GTK_JUSTIFY_LEFT</property>
 709                       <property name="wrap">False</property>
 710                       <property name="selectable">False</property>
 711                       <property name="xalign">0</property>
 712                       <property name="yalign">0.5</property>
 713                       <property name="xpad">0</property>
 714                       <property name="ypad">0</property>
 715                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 716                       <property name="width_chars">-1</property>
 717                       <property name="single_line_mode">False</property>
 718                       <property name="angle">0</property>
 719                     </widget>
 720                     <packing>
 721                       <property name="padding">0</property>
 722                       <property name="expand">False</property>
 723                       <property name="fill">False</property>
 724                     </packing>
 725                   </child>
 726
 727                   <child>
 728                     <widget class="GtkHBox" id="hbox45">
 729                       <property name="visible">True</property>
 730                       <property name="homogeneous">False</property>
 731                       <property name="spacing">0</property>
 732
 733                       <child>
 734                         <widget class="GtkLabel" id="label92">
 735                           <property name="visible">True</property>
 736                           <property name="label">    </property>
 737                           <property name="use_underline">False</property>
 738                           <property name="use_markup">False</property>
 739                           <property name="justify">GTK_JUSTIFY_LEFT</property>
 740                           <property name="wrap">False</property>
 741                           <property name="selectable">False</property>
 742                           <property name="xalign">0.5</property>
 743                           <property name="yalign">0.5</property>
 744                           <property name="xpad">0</property>
 745                           <property name="ypad">0</property>
 746                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 747                           <property name="width_chars">-1</property>
 748                           <property name="single_line_mode">False</property>
 749                           <property name="angle">0</property>
 750                         </widget>
 751                         <packing>
 752                           <property name="padding">0</property>
 753                           <property name="expand">False</property>
 754                           <property name="fill">False</property>
 755                         </packing>
 756                       </child>
 757
 758                       <child>
 759                         <widget class="GtkTable" id="table1">
 760                           <property name="visible">True</property>
 761                           <property name="n_rows">5</property>
 762                           <property name="n_columns">2</property>
 763                           <property name="homogeneous">False</property>
 764                           <property name="row_spacing">3</property>
 765                           <property name="column_spacing">0</property>
 766
 767                           <child>
 768                             <widget class="GtkFontButton" id="font_inactive">
 769                               <property name="visible">True</property>
 770                               <property name="can_focus">True</property>
 771                               <property name="show_style">True</property>
 772                               <property name="show_size">True</property>
 773                               <property name="use_font">True</property>
 774                               <property name="use_size">False</property>
 775                               <property name="focus_on_click">True</property>
 776                               <signal name="font_set" handler="on_font_inactive_font_set" last_modification_time="Fri, 25 May 2007 16:03:13 GMT"/>
 777                             </widget>
 778                             <packing>
 779                               <property name="left_attach">1</property>
 780                               <property name="right_attach">2</property>
 781                               <property name="top_attach">1</property>
 782                               <property name="bottom_attach">2</property>
 783                               <property name="x_options">fill</property>
 784                               <property name="y_options"></property>
 785                             </packing>
 786                           </child>
 787
 788                           <child>
 789                             <widget class="GtkFontButton" id="font_menu_header">
 790                               <property name="visible">True</property>
 791                               <property name="can_focus">True</property>
 792                               <property name="show_style">True</property>
 793                               <property name="show_size">True</property>
 794                               <property name="use_font">True</property>
 795                               <property name="use_size">False</property>
 796                               <property name="focus_on_click">True</property>
 797                               <signal name="font_set" handler="on_font_menu_header_font_set" last_modification_time="Fri, 25 May 2007 16:03:17 GMT"/>
 798                             </widget>
 799                             <packing>
 800                               <property name="left_attach">1</property>
 801                               <property name="right_attach">2</property>
 802                               <property name="top_attach">2</property>
 803                               <property name="bottom_attach">3</property>
 804                               <property name="x_options">fill</property>
 805                               <property name="y_options"></property>
 806                             </packing>
 807                           </child>
 808
 809                           <child>
 810                             <widget class="GtkFontButton" id="font_menu_item">
 811                               <property name="visible">True</property>
 812                               <property name="can_focus">True</property>
 813                               <property name="show_style">True</property>
 814                               <property name="show_size">True</property>
 815                               <property name="use_font">True</property>
 816                               <property name="use_size">False</property>
 817                               <property name="focus_on_click">True</property>
 818                               <signal name="font_set" handler="on_font_menu_item_font_set" last_modification_time="Fri, 25 May 2007 16:03:20 GMT"/>
 819                             </widget>
 820                             <packing>
 821                               <property name="left_attach">1</property>
 822                               <property name="right_attach">2</property>
 823                               <property name="top_attach">3</property>
 824                               <property name="bottom_attach">4</property>
 825                               <property name="x_options">fill</property>
 826                               <property name="y_options"></property>
 827                             </packing>
 828                           </child>
 829
 830                           <child>
 831                             <widget class="GtkFontButton" id="font_display">
 832                               <property name="visible">True</property>
 833                               <property name="can_focus">True</property>
 834                               <property name="show_style">True</property>
 835                               <property name="show_size">True</property>
 836                               <property name="use_font">True</property>
 837                               <property name="use_size">False</property>
 838                               <property name="focus_on_click">True</property>
 839                               <signal name="font_set" handler="on_font_display_font_set" last_modification_time="Fri, 25 May 2007 16:03:23 GMT"/>
 840                             </widget>
 841                             <packing>
 842                               <property name="left_attach">1</property>
 843                               <property name="right_attach">2</property>
 844                               <property name="top_attach">4</property>
 845                               <property name="bottom_attach">5</property>
 846                               <property name="x_options">fill</property>
 847                               <property name="y_options"></property>
 848                             </packing>
 849                           </child>
 850
 851                           <child>
 852                             <widget class="GtkLabel" id="label94">
 853                               <property name="visible">True</property>
 854                               <property name="label" translatable="yes">_Active window title: </property>
 855                               <property name="use_underline">True</property>
 856                               <property name="use_markup">False</property>
 857                               <property name="justify">GTK_JUSTIFY_LEFT</property>
 858                               <property name="wrap">False</property>
 859                               <property name="selectable">False</property>
 860                               <property name="xalign">1</property>
 861                               <property name="yalign">0.5</property>
 862                               <property name="xpad">0</property>
 863                               <property name="ypad">0</property>
 864                               <property name="mnemonic_widget">font_active</property>
 865                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 866                               <property name="width_chars">-1</property>
 867                               <property name="single_line_mode">False</property>
 868                               <property name="angle">0</property>
 869                             </widget>
 870                             <packing>
 871                               <property name="left_attach">0</property>
 872                               <property name="right_attach">1</property>
 873                               <property name="top_attach">0</property>
 874                               <property name="bottom_attach">1</property>
 875                               <property name="x_options">fill</property>
 876                               <property name="y_options"></property>
 877                             </packing>
 878                           </child>
 879
 880                           <child>
 881                             <widget class="GtkLabel" id="label95">
 882                               <property name="visible">True</property>
 883                               <property name="label" translatable="yes">_Inactive window title: </property>
 884                               <property name="use_underline">True</property>
 885                               <property name="use_markup">False</property>
 886                               <property name="justify">GTK_JUSTIFY_LEFT</property>
 887                               <property name="wrap">False</property>
 888                               <property name="selectable">False</property>
 889                               <property name="xalign">1</property>
 890                               <property name="yalign">0.5</property>
 891                               <property name="xpad">0</property>
 892                               <property name="ypad">0</property>
 893                               <property name="mnemonic_widget">font_inactive</property>
 894                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 895                               <property name="width_chars">-1</property>
 896                               <property name="single_line_mode">False</property>
 897                               <property name="angle">0</property>
 898                             </widget>
 899                             <packing>
 900                               <property name="left_attach">0</property>
 901                               <property name="right_attach">1</property>
 902                               <property name="top_attach">1</property>
 903                               <property name="bottom_attach">2</property>
 904                               <property name="x_options">fill</property>
 905                               <property name="y_options"></property>
 906                             </packing>
 907                           </child>
 908
 909                           <child>
 910                             <widget class="GtkLabel" id="label96">
 911                               <property name="visible">True</property>
 912                               <property name="label" translatable="yes">Menu _header: </property>
 913                               <property name="use_underline">True</property>
 914                               <property name="use_markup">False</property>
 915                               <property name="justify">GTK_JUSTIFY_LEFT</property>
 916                               <property name="wrap">False</property>
 917                               <property name="selectable">False</property>
 918                               <property name="xalign">1</property>
 919                               <property name="yalign">0.5</property>
 920                               <property name="xpad">0</property>
 921                               <property name="ypad">0</property>
 922                               <property name="mnemonic_widget">font_menu_header</property>
 923                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 924                               <property name="width_chars">-1</property>
 925                               <property name="single_line_mode">False</property>
 926                               <property name="angle">0</property>
 927                             </widget>
 928                             <packing>
 929                               <property name="left_attach">0</property>
 930                               <property name="right_attach">1</property>
 931                               <property name="top_attach">2</property>
 932                               <property name="bottom_attach">3</property>
 933                               <property name="x_options">fill</property>
 934                               <property name="y_options"></property>
 935                             </packing>
 936                           </child>
 937
 938                           <child>
 939                             <widget class="GtkLabel" id="label97">
 940                               <property name="visible">True</property>
 941                               <property name="label" translatable="yes">_Menu Item: </property>
 942                               <property name="use_underline">True</property>
 943                               <property name="use_markup">False</property>
 944                               <property name="justify">GTK_JUSTIFY_LEFT</property>
 945                               <property name="wrap">False</property>
 946                               <property name="selectable">False</property>
 947                               <property name="xalign">1</property>
 948                               <property name="yalign">0.5</property>
 949                               <property name="xpad">0</property>
 950                               <property name="ypad">0</property>
 951                               <property name="mnemonic_widget">font_menu_item</property>
 952                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 953                               <property name="width_chars">-1</property>
 954                               <property name="single_line_mode">False</property>
 955                               <property name="angle">0</property>
 956                             </widget>
 957                             <packing>
 958                               <property name="left_attach">0</property>
 959                               <property name="right_attach">1</property>
 960                               <property name="top_attach">3</property>
 961                               <property name="bottom_attach">4</property>
 962                               <property name="x_options">fill</property>
 963                               <property name="y_options"></property>
 964                             </packing>
 965                           </child>
 966
 967                           <child>
 968                             <widget class="GtkLabel" id="label98">
 969                               <property name="visible">True</property>
 970                               <property name="label" translatable="yes">_On-screen display: </property>
 971                               <property name="use_underline">True</property>
 972                               <property name="use_markup">False</property>
 973                               <property name="justify">GTK_JUSTIFY_LEFT</property>
 974                               <property name="wrap">False</property>
 975                               <property name="selectable">False</property>
 976                               <property name="xalign">1</property>
 977                               <property name="yalign">0.5</property>
 978                               <property name="xpad">0</property>
 979                               <property name="ypad">0</property>
 980                               <property name="mnemonic_widget">font_display</property>
 981                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 982                               <property name="width_chars">-1</property>
 983                               <property name="single_line_mode">False</property>
 984                               <property name="angle">0</property>
 985                             </widget>
 986                             <packing>
 987                               <property name="left_attach">0</property>
 988                               <property name="right_attach">1</property>
 989                               <property name="top_attach">4</property>
 990                               <property name="bottom_attach">5</property>
 991                               <property name="x_options">fill</property>
 992                               <property name="y_options"></property>
 993                             </packing>
 994                           </child>
 995
 996                           <child>
 997                             <widget class="GtkFontButton" id="font_active">
 998                               <property name="visible">True</property>
 999                               <property name="can_focus">True</property>
1000                               <property name="show_style">True</property>
1001                               <property name="show_size">True</property>
1002                               <property name="use_font">True</property>
1003                               <property name="use_size">False</property>
1004                               <property name="focus_on_click">True</property>
1005                               <signal name="font_set" handler="on_font_active_font_set" last_modification_time="Fri, 25 May 2007 16:03:09 GMT"/>
1006                             </widget>
1007                             <packing>
1008                               <property name="left_attach">1</property>
1009                               <property name="right_attach">2</property>
1010                               <property name="top_attach">0</property>
1011                               <property name="bottom_attach">1</property>
1012                               <property name="y_options"></property>
1013                             </packing>
1014                           </child>
1015                         </widget>
1016                         <packing>
1017                           <property name="padding">0</property>
1018                           <property name="expand">True</property>
1019                           <property name="fill">True</property>
1020                         </packing>
1021                       </child>
1022                     </widget>
1023                     <packing>
1024                       <property name="padding">0</property>
1025                       <property name="expand">True</property>
1026                       <property name="fill">True</property>
1027                     </packing>
1028                   </child>
1029                 </widget>
1030                 <packing>
1031                   <property name="padding">0</property>
1032                   <property name="expand">False</property>
1033                   <property name="fill">True</property>
1034                 </packing>
1035               </child>
1036             </widget>
1037             <packing>
1038               <property name="tab_expand">False</property>
1039               <property name="tab_fill">True</property>
1040             </packing>
1041           </child>
1042
1043           <child>
1044             <widget class="GtkLabel" id="label84">
1045               <property name="visible">True</property>
1046               <property name="label" translatable="yes">Appearance</property>
1047               <property name="use_underline">False</property>
1048               <property name="use_markup">False</property>
1049               <property name="justify">GTK_JUSTIFY_LEFT</property>
1050               <property name="wrap">False</property>
1051               <property name="selectable">False</property>
1052               <property name="xalign">0.5</property>
1053               <property name="yalign">0.5</property>
1054               <property name="xpad">0</property>
1055               <property name="ypad">0</property>
1056               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1057               <property name="width_chars">-1</property>
1058               <property name="single_line_mode">False</property>
1059               <property name="angle">0</property>
1060             </widget>
1061             <packing>
1062               <property name="type">tab</property>
1063             </packing>
1064           </child>
1065
1066           <child>
1067             <widget class="GtkVBox" id="vbox12">
1068               <property name="border_width">12</property>
1069               <property name="visible">True</property>
1070               <property name="homogeneous">False</property>
1071               <property name="spacing">18</property>
1072
1073               <child>
1074                 <widget class="GtkVBox" id="vbox65">
1075                   <property name="visible">True</property>
1076                   <property name="homogeneous">False</property>
1077                   <property name="spacing">6</property>
1078
1079                   <child>
1080                     <widget class="GtkLabel" id="label164">
1081                       <property name="visible">True</property>
1082                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Focusing Windows&lt;/span&gt;</property>
1083                       <property name="use_underline">False</property>
1084                       <property name="use_markup">True</property>
1085                       <property name="justify">GTK_JUSTIFY_LEFT</property>
1086                       <property name="wrap">False</property>
1087                       <property name="selectable">False</property>
1088                       <property name="xalign">0</property>
1089                       <property name="yalign">0.5</property>
1090                       <property name="xpad">0</property>
1091                       <property name="ypad">0</property>
1092                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1093                       <property name="width_chars">-1</property>
1094                       <property name="single_line_mode">False</property>
1095                       <property name="angle">0</property>
1096                     </widget>
1097                     <packing>
1098                       <property name="padding">0</property>
1099                       <property name="expand">False</property>
1100                       <property name="fill">False</property>
1101                     </packing>
1102                   </child>
1103
1104                   <child>
1105                     <widget class="GtkHBox" id="hbox89">
1106                       <property name="visible">True</property>
1107                       <property name="homogeneous">False</property>
1108                       <property name="spacing">0</property>
1109
1110                       <child>
1111                         <widget class="GtkLabel" id="label165">
1112                           <property name="visible">True</property>
1113                           <property name="label">    </property>
1114                           <property name="use_underline">False</property>
1115                           <property name="use_markup">False</property>
1116                           <property name="justify">GTK_JUSTIFY_LEFT</property>
1117                           <property name="wrap">False</property>
1118                           <property name="selectable">False</property>
1119                           <property name="xalign">0.5</property>
1120                           <property name="yalign">0.5</property>
1121                           <property name="xpad">0</property>
1122                           <property name="ypad">0</property>
1123                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1124                           <property name="width_chars">-1</property>
1125                           <property name="single_line_mode">False</property>
1126                           <property name="angle">0</property>
1127                         </widget>
1128                         <packing>
1129                           <property name="padding">0</property>
1130                           <property name="expand">False</property>
1131                           <property name="fill">False</property>
1132                         </packing>
1133                       </child>
1134
1135                       <child>
1136                         <widget class="GtkVBox" id="vbox66">
1137                           <property name="visible">True</property>
1138                           <property name="homogeneous">False</property>
1139                           <property name="spacing">6</property>
1140
1141                           <child>
1142                             <widget class="GtkCheckButton" id="focus_new">
1143                               <property name="visible">True</property>
1144                               <property name="can_focus">True</property>
1145                               <property name="label" translatable="yes">Focus _new windows when they appear</property>
1146                               <property name="use_underline">True</property>
1147                               <property name="relief">GTK_RELIEF_NORMAL</property>
1148                               <property name="focus_on_click">True</property>
1149                               <property name="active">False</property>
1150                               <property name="inconsistent">False</property>
1151                               <property name="draw_indicator">True</property>
1152                               <signal name="toggled" handler="on_focus_new_toggled" after="yes" last_modification_time="Sun, 14 Sep 2003 11:25:04 GMT"/>
1153                             </widget>
1154                             <packing>
1155                               <property name="padding">0</property>
1156                               <property name="expand">False</property>
1157                               <property name="fill">False</property>
1158                             </packing>
1159                           </child>
1160                         </widget>
1161                         <packing>
1162                           <property name="padding">0</property>
1163                           <property name="expand">True</property>
1164                           <property name="fill">True</property>
1165                         </packing>
1166                       </child>
1167                     </widget>
1168                     <packing>
1169                       <property name="padding">0</property>
1170                       <property name="expand">True</property>
1171                       <property name="fill">True</property>
1172                     </packing>
1173                   </child>
1174                 </widget>
1175                 <packing>
1176                   <property name="padding">0</property>
1177                   <property name="expand">False</property>
1178                   <property name="fill">True</property>
1179                 </packing>
1180               </child>
1181
1182               <child>
1183                 <widget class="GtkVBox" id="vbox34">
1184                   <property name="visible">True</property>
1185                   <property name="homogeneous">False</property>
1186                   <property name="spacing">6</property>
1187
1188                   <child>
1189                     <widget class="GtkLabel" id="label82">
1190                       <property name="visible">True</property>
1191                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Placing Windows&lt;/span&gt;</property>
1192                       <property name="use_underline">False</property>
1193                       <property name="use_markup">True</property>
1194                       <property name="justify">GTK_JUSTIFY_LEFT</property>
1195                       <property name="wrap">False</property>
1196                       <property name="selectable">False</property>
1197                       <property name="xalign">0</property>
1198                       <property name="yalign">0.5</property>
1199                       <property name="xpad">0</property>
1200                       <property name="ypad">0</property>
1201                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1202                       <property name="width_chars">-1</property>
1203                       <property name="single_line_mode">False</property>
1204                       <property name="angle">0</property>
1205                     </widget>
1206                     <packing>
1207                       <property name="padding">0</property>
1208                       <property name="expand">False</property>
1209                       <property name="fill">False</property>
1210                     </packing>
1211                   </child>
1212
1213                   <child>
1214                     <widget class="GtkHBox" id="hbox40">
1215                       <property name="visible">True</property>
1216                       <property name="homogeneous">False</property>
1217                       <property name="spacing">0</property>
1218
1219                       <child>
1220                         <widget class="GtkLabel" id="label83">
1221                           <property name="visible">True</property>
1222                           <property name="label">    </property>
1223                           <property name="use_underline">False</property>
1224                           <property name="use_markup">False</property>
1225                           <property name="justify">GTK_JUSTIFY_LEFT</property>
1226                           <property name="wrap">False</property>
1227                           <property name="selectable">False</property>
1228                           <property name="xalign">0.5</property>
1229                           <property name="yalign">0.5</property>
1230                           <property name="xpad">0</property>
1231                           <property name="ypad">0</property>
1232                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1233                           <property name="width_chars">-1</property>
1234                           <property name="single_line_mode">False</property>
1235                           <property name="angle">0</property>
1236                         </widget>
1237                         <packing>
1238                           <property name="padding">0</property>
1239                           <property name="expand">False</property>
1240                           <property name="fill">False</property>
1241                         </packing>
1242                       </child>
1243
1244                       <child>
1245                         <widget class="GtkVBox" id="vbox35">
1246                           <property name="visible">True</property>
1247                           <property name="homogeneous">False</property>
1248                           <property name="spacing">6</property>
1249
1250                           <child>
1251                             <widget class="GtkCheckButton" id="place_mouse">
1252                               <property name="visible">True</property>
1253                               <property name="can_focus">True</property>
1254                               <property name="label" translatable="yes">_Place new windows under the mouse pointer</property>
1255                               <property name="use_underline">True</property>
1256                               <property name="relief">GTK_RELIEF_NORMAL</property>
1257                               <property name="focus_on_click">True</property>
1258                               <property name="active">False</property>
1259                               <property name="inconsistent">False</property>
1260                               <property name="draw_indicator">True</property>
1261                               <signal name="toggled" handler="on_place_mouse_toggled" after="yes" last_modification_time="Sun, 28 Sep 2003 09:09:33 GMT"/>
1262                             </widget>
1263                             <packing>
1264                               <property name="padding">0</property>
1265                               <property name="expand">False</property>
1266                               <property name="fill">False</property>
1267                             </packing>
1268                           </child>
1269
1270                           <child>
1271                             <widget class="GtkCheckButton" id="place_center">
1272                               <property name="visible">True</property>
1273                               <property name="can_focus">True</property>
1274                               <property name="label" translatable="yes">_Center new windows when they are placed</property>
1275                               <property name="use_underline">True</property>
1276                               <property name="relief">GTK_RELIEF_NORMAL</property>
1277                               <property name="focus_on_click">True</property>
1278                               <property name="active">False</property>
1279                               <property name="inconsistent">False</property>
1280                               <property name="draw_indicator">True</property>
1281                               <signal name="toggled" handler="on_place_center_toggled" after="yes" last_modification_time="Thu, 19 Jul 2007 21:21:23 GMT"/>
1282                             </widget>
1283                             <packing>
1284                               <property name="padding">0</property>
1285                               <property name="expand">False</property>
1286                               <property name="fill">False</property>
1287                             </packing>
1288                           </child>
1289                         </widget>
1290                         <packing>
1291                           <property name="padding">0</property>
1292                           <property name="expand">True</property>
1293                           <property name="fill">True</property>
1294                         </packing>
1295                       </child>
1296                     </widget>
1297                     <packing>
1298                       <property name="padding">0</property>
1299                       <property name="expand">True</property>
1300                       <property name="fill">True</property>
1301                     </packing>
1302                   </child>
1303                 </widget>
1304                 <packing>
1305                   <property name="padding">0</property>
1306                   <property name="expand">False</property>
1307                   <property name="fill">True</property>
1308                 </packing>
1309               </child>
1310
1311               <child>
1312                 <widget class="GtkVBox" id="vbox14">
1313                   <property name="visible">True</property>
1314                   <property name="homogeneous">False</property>
1315                   <property name="spacing">6</property>
1316
1317                   <child>
1318                     <widget class="GtkLabel" id="label34">
1319                       <property name="visible">True</property>
1320                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Moving and Resizing Windows&lt;/span&gt;</property>
1321                       <property name="use_underline">False</property>
1322                       <property name="use_markup">True</property>
1323                       <property name="justify">GTK_JUSTIFY_LEFT</property>
1324                       <property name="wrap">False</property>
1325                       <property name="selectable">False</property>
1326                       <property name="xalign">0</property>
1327                       <property name="yalign">0.5</property>
1328                       <property name="xpad">0</property>
1329                       <property name="ypad">0</property>
1330                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1331                       <property name="width_chars">-1</property>
1332                       <property name="single_line_mode">False</property>
1333                       <property name="angle">0</property>
1334                     </widget>
1335                     <packing>
1336                       <property name="padding">0</property>
1337                       <property name="expand">False</property>
1338                       <property name="fill">False</property>
1339                     </packing>
1340                   </child>
1341
1342                   <child>
1343                     <widget class="GtkHBox" id="hbox14">
1344                       <property name="visible">True</property>
1345                       <property name="homogeneous">False</property>
1346                       <property name="spacing">0</property>
1347
1348                       <child>
1349                         <widget class="GtkLabel" id="label168">
1350                           <property name="visible">True</property>
1351                           <property name="label">    </property>
1352                           <property name="use_underline">False</property>
1353                           <property name="use_markup">False</property>
1354                           <property name="justify">GTK_JUSTIFY_LEFT</property>
1355                           <property name="wrap">False</property>
1356                           <property name="selectable">False</property>
1357                           <property name="xalign">0.5</property>
1358                           <property name="yalign">0.5</property>
1359                           <property name="xpad">0</property>
1360                           <property name="ypad">0</property>
1361                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1362                           <property name="width_chars">-1</property>
1363                           <property name="single_line_mode">False</property>
1364                           <property name="angle">0</property>
1365                         </widget>
1366                         <packing>
1367                           <property name="padding">0</property>
1368                           <property name="expand">False</property>
1369                           <property name="fill">False</property>
1370                         </packing>
1371                       </child>
1372
1373                       <child>
1374                         <widget class="GtkVBox" id="vbox16">
1375                           <property name="visible">True</property>
1376                           <property name="homogeneous">False</property>
1377                           <property name="spacing">6</property>
1378
1379                           <child>
1380                             <widget class="GtkCheckButton" id="resize_contents">
1381                               <property name="visible">True</property>
1382                               <property name="can_focus">True</property>
1383                               <property name="label" translatable="yes">Update the window contents while _resizing</property>
1384                               <property name="use_underline">True</property>
1385                               <property name="relief">GTK_RELIEF_NORMAL</property>
1386                               <property name="focus_on_click">True</property>
1387                               <property name="active">False</property>
1388                               <property name="inconsistent">False</property>
1389                               <property name="draw_indicator">True</property>
1390                               <signal name="toggled" handler="on_resize_contents_toggled" after="yes" last_modification_time="Sun, 14 Sep 2003 11:26:12 GMT"/>
1391                             </widget>
1392                             <packing>
1393                               <property name="padding">0</property>
1394                               <property name="expand">False</property>
1395                               <property name="fill">False</property>
1396                             </packing>
1397                           </child>
1398
1399                           <child>
1400                             <widget class="GtkHBox" id="hbox90">
1401                               <property name="visible">True</property>
1402                               <property name="homogeneous">False</property>
1403                               <property name="spacing">12</property>
1404
1405                               <child>
1406                                 <widget class="GtkLabel" id="label166">
1407                                   <property name="visible">True</property>
1408                                   <property name="label" translatable="yes">_Show information dialog:</property>
1409                                   <property name="use_underline">True</property>
1410                                   <property name="use_markup">False</property>
1411                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1412                                   <property name="wrap">False</property>
1413                                   <property name="selectable">False</property>
1414                                   <property name="xalign">0</property>
1415                                   <property name="yalign">0.5</property>
1416                                   <property name="xpad">0</property>
1417                                   <property name="ypad">0</property>
1418                                   <property name="mnemonic_widget">resize_popup</property>
1419                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1420                                   <property name="width_chars">-1</property>
1421                                   <property name="single_line_mode">False</property>
1422                                   <property name="angle">0</property>
1423                                 </widget>
1424                                 <packing>
1425                                   <property name="padding">0</property>
1426                                   <property name="expand">False</property>
1427                                   <property name="fill">False</property>
1428                                 </packing>
1429                               </child>
1430
1431                               <child>
1432                                 <widget class="GtkOptionMenu" id="resize_popup">
1433                                   <property name="visible">True</property>
1434                                   <property name="can_focus">True</property>
1435                                   <property name="history">0</property>
1436
1437                                   <child>
1438                                     <widget class="GtkMenu" id="menu11">
1439
1440                                       <child>
1441                                         <widget class="GtkMenuItem" id="resize_popup_nonpixel">
1442                                           <property name="visible">True</property>
1443                                           <property name="label" translatable="yes">When resizing terminal windows</property>
1444                                           <property name="use_underline">True</property>
1445                                           <signal name="activate" handler="on_resize_popup_nonpixel_activate" last_modification_time="Fri, 01 Jun 2007 02:18:58 GMT"/>
1446                                         </widget>
1447                                       </child>
1448
1449                                       <child>
1450                                         <widget class="GtkMenuItem" id="resize_popup_always">
1451                                           <property name="visible">True</property>
1452                                           <property name="label" translatable="yes">Always</property>
1453                                           <property name="use_underline">True</property>
1454                                           <signal name="activate" handler="on_resize_popup_always_activate" last_modification_time="Fri, 01 Jun 2007 02:18:58 GMT"/>
1455                                         </widget>
1456                                       </child>
1457
1458                                       <child>
1459                                         <widget class="GtkMenuItem" id="resize_popup_never">
1460                                           <property name="visible">True</property>
1461                                           <property name="label" translatable="yes">Never</property>
1462                                           <property name="use_underline">True</property>
1463                                           <signal name="activate" handler="on_resize_popup_never_activate" last_modification_time="Fri, 01 Jun 2007 02:18:58 GMT"/>
1464                                         </widget>
1465                                       </child>
1466                                     </widget>
1467                                   </child>
1468                                 </widget>
1469                                 <packing>
1470                                   <property name="padding">0</property>
1471                                   <property name="expand">False</property>
1472                                   <property name="fill">False</property>
1473                                 </packing>
1474                               </child>
1475                             </widget>
1476                             <packing>
1477                               <property name="padding">0</property>
1478                               <property name="expand">True</property>
1479                               <property name="fill">True</property>
1480                             </packing>
1481                           </child>
1482
1483                           <child>
1484                             <widget class="GtkHBox" id="hbox91">
1485                               <property name="visible">True</property>
1486                               <property name="homogeneous">False</property>
1487                               <property name="spacing">0</property>
1488
1489                               <child>
1490                                 <widget class="GtkLabel" id="label35">
1491                                   <property name="visible">True</property>
1492                                   <property name="label">    </property>
1493                                   <property name="use_underline">False</property>
1494                                   <property name="use_markup">False</property>
1495                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1496                                   <property name="wrap">False</property>
1497                                   <property name="selectable">False</property>
1498                                   <property name="xalign">0.5</property>
1499                                   <property name="yalign">0.5</property>
1500                                   <property name="xpad">0</property>
1501                                   <property name="ypad">0</property>
1502                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1503                                   <property name="width_chars">-1</property>
1504                                   <property name="single_line_mode">False</property>
1505                                   <property name="angle">0</property>
1506                                 </widget>
1507                                 <packing>
1508                                   <property name="padding">0</property>
1509                                   <property name="expand">False</property>
1510                                   <property name="fill">False</property>
1511                                 </packing>
1512                               </child>
1513
1514                               <child>
1515                                 <widget class="GtkHBox" id="hbox91">
1516                                   <property name="visible">True</property>
1517                                   <property name="homogeneous">False</property>
1518                                   <property name="spacing">12</property>
1519
1520                                   <child>
1521                                     <widget class="GtkLabel" id="label167">
1522                                       <property name="visible">True</property>
1523                                       <property name="label" translatable="yes">Information _dialog's position:</property>
1524                                       <property name="use_underline">True</property>
1525                                       <property name="use_markup">False</property>
1526                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
1527                                       <property name="wrap">False</property>
1528                                       <property name="selectable">False</property>
1529                                       <property name="xalign">0</property>
1530                                       <property name="yalign">0.5</property>
1531                                       <property name="xpad">0</property>
1532                                       <property name="ypad">0</property>
1533                                       <property name="mnemonic_widget">resize_position</property>
1534                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1535                                       <property name="width_chars">-1</property>
1536                                       <property name="single_line_mode">False</property>
1537                                       <property name="angle">0</property>
1538                                     </widget>
1539                                     <packing>
1540                                       <property name="padding">0</property>
1541                                       <property name="expand">False</property>
1542                                       <property name="fill">False</property>
1543                                     </packing>
1544                                   </child>
1545
1546                                   <child>
1547                                     <widget class="GtkOptionMenu" id="resize_position">
1548                                       <property name="visible">True</property>
1549                                       <property name="can_focus">True</property>
1550                                       <property name="history">0</property>
1551
1552                                       <child>
1553                                         <widget class="GtkMenu" id="menu12">
1554
1555                                           <child>
1556                                             <widget class="GtkMenuItem" id="resize_position_center">
1557                                               <property name="visible">True</property>
1558                                               <property name="label" translatable="yes">Centered on the window</property>
1559                                               <property name="use_underline">True</property>
1560                                               <signal name="activate" handler="on_resize_position_center_activate" last_modification_time="Fri, 01 Jun 2007 02:29:30 GMT"/>
1561                                             </widget>
1562                                           </child>
1563
1564                                           <child>
1565                                             <widget class="GtkMenuItem" id="resize_position_top">
1566                                               <property name="visible">True</property>
1567                                               <property name="label" translatable="yes">Above the window</property>
1568                                               <property name="use_underline">True</property>
1569                                               <signal name="activate" handler="on_resize_position_top_activate" last_modification_time="Fri, 01 Jun 2007 02:29:30 GMT"/>
1570                                             </widget>
1571                                           </child>
1572                                         </widget>
1573                                       </child>
1574                                     </widget>
1575                                     <packing>
1576                                       <property name="padding">0</property>
1577                                       <property name="expand">False</property>
1578                                       <property name="fill">False</property>
1579                                     </packing>
1580                                   </child>
1581                                 </widget>
1582                                 <packing>
1583                                   <property name="padding">0</property>
1584                                   <property name="expand">True</property>
1585                                   <property name="fill">True</property>
1586                                 </packing>
1587                               </child>
1588                             </widget>
1589                             <packing>
1590                               <property name="padding">0</property>
1591                               <property name="expand">True</property>
1592                               <property name="fill">True</property>
1593                             </packing>
1594                           </child>
1595
1596                           <child>
1597                             <widget class="GtkHBox" id="hbox86">
1598                               <property name="visible">True</property>
1599                               <property name="homogeneous">False</property>
1600                               <property name="spacing">6</property>
1601
1602                               <child>
1603                                 <widget class="GtkLabel" id="drag_threshold_label">
1604                                   <property name="visible">True</property>
1605                                   <property name="label" translatable="yes">Drag _threshold distance:</property>
1606                                   <property name="use_underline">True</property>
1607                                   <property name="use_markup">False</property>
1608                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1609                                   <property name="wrap">False</property>
1610                                   <property name="selectable">False</property>
1611                                   <property name="xalign">0</property>
1612                                   <property name="yalign">0.5</property>
1613                                   <property name="xpad">0</property>
1614                                   <property name="ypad">0</property>
1615                                   <property name="mnemonic_widget">drag_threshold</property>
1616                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1617                                   <property name="width_chars">-1</property>
1618                                   <property name="single_line_mode">False</property>
1619                                   <property name="angle">0</property>
1620                                 </widget>
1621                                 <packing>
1622                                   <property name="padding">0</property>
1623                                   <property name="expand">False</property>
1624                                   <property name="fill">False</property>
1625                                 </packing>
1626                               </child>
1627
1628                               <child>
1629                                 <widget class="GtkSpinButton" id="drag_threshold">
1630                                   <property name="visible">True</property>
1631                                   <property name="can_focus">True</property>
1632                                   <property name="climb_rate">1</property>
1633                                   <property name="digits">0</property>
1634                                   <property name="numeric">True</property>
1635                                   <property name="update_policy">GTK_UPDATE_ALWAYS</property>
1636                                   <property name="snap_to_ticks">False</property>
1637                                   <property name="wrap">False</property>
1638                                   <property name="adjustment">1 1 100 1 10 10</property>
1639                                   <signal name="value_changed" handler="on_drag_threshold_value_changed" after="yes" last_modification_time="Thu, 31 May 2007 16:02:00 GMT"/>
1640                                 </widget>
1641                                 <packing>
1642                                   <property name="padding">0</property>
1643                                   <property name="expand">False</property>
1644                                   <property name="fill">True</property>
1645                                 </packing>
1646                               </child>
1647
1648                               <child>
1649                                 <widget class="GtkLabel" id="label160">
1650                                   <property name="visible">True</property>
1651                                   <property name="label" translatable="yes">px</property>
1652                                   <property name="use_underline">False</property>
1653                                   <property name="use_markup">False</property>
1654                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1655                                   <property name="wrap">False</property>
1656                                   <property name="selectable">False</property>
1657                                   <property name="xalign">0.5</property>
1658                                   <property name="yalign">0.5</property>
1659                                   <property name="xpad">0</property>
1660                                   <property name="ypad">0</property>
1661                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1662                                   <property name="width_chars">-1</property>
1663                                   <property name="single_line_mode">False</property>
1664                                   <property name="angle">0</property>
1665                                 </widget>
1666                                 <packing>
1667                                   <property name="padding">0</property>
1668                                   <property name="expand">False</property>
1669                                   <property name="fill">False</property>
1670                                 </packing>
1671                               </child>
1672                             </widget>
1673                             <packing>
1674                               <property name="padding">0</property>
1675                               <property name="expand">True</property>
1676                               <property name="fill">True</property>
1677                             </packing>
1678                           </child>
1679
1680                           <child>
1681                             <widget class="GtkHBox" id="hbox17">
1682                               <property name="visible">True</property>
1683                               <property name="homogeneous">False</property>
1684                               <property name="spacing">6</property>
1685
1686                               <child>
1687                                 <widget class="GtkLabel" id="resist_window_label">
1688                                   <property name="visible">True</property>
1689                                   <property name="label" translatable="yes">Amount of resistance against other _windows:</property>
1690                                   <property name="use_underline">True</property>
1691                                   <property name="use_markup">False</property>
1692                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1693                                   <property name="wrap">False</property>
1694                                   <property name="selectable">False</property>
1695                                   <property name="xalign">0</property>
1696                                   <property name="yalign">0.5</property>
1697                                   <property name="xpad">0</property>
1698                                   <property name="ypad">0</property>
1699                                   <property name="mnemonic_widget">resist_window</property>
1700                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1701                                   <property name="width_chars">-1</property>
1702                                   <property name="single_line_mode">False</property>
1703                                   <property name="angle">0</property>
1704                                 </widget>
1705                                 <packing>
1706                                   <property name="padding">0</property>
1707                                   <property name="expand">False</property>
1708                                   <property name="fill">False</property>
1709                                 </packing>
1710                               </child>
1711
1712                               <child>
1713                                 <widget class="GtkSpinButton" id="resist_window">
1714                                   <property name="visible">True</property>
1715                                   <property name="can_focus">True</property>
1716                                   <property name="climb_rate">1</property>
1717                                   <property name="digits">0</property>
1718                                   <property name="numeric">True</property>
1719                                   <property name="update_policy">GTK_UPDATE_ALWAYS</property>
1720                                   <property name="snap_to_ticks">False</property>
1721                                   <property name="wrap">False</property>
1722                                   <property name="adjustment">20 0 100 1 10 10</property>
1723                                   <signal name="value_changed" handler="on_resist_window_value_changed" after="yes" last_modification_time="Tue, 23 Sep 2003 22:22:53 GMT"/>
1724                                 </widget>
1725                                 <packing>
1726                                   <property name="padding">0</property>
1727                                   <property name="expand">False</property>
1728                                   <property name="fill">True</property>
1729                                 </packing>
1730                               </child>
1731
1732                               <child>
1733                                 <widget class="GtkLabel" id="label67">
1734                                   <property name="visible">True</property>
1735                                   <property name="label" translatable="yes">px</property>
1736                                   <property name="use_underline">False</property>
1737                                   <property name="use_markup">False</property>
1738                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1739                                   <property name="wrap">False</property>
1740                                   <property name="selectable">False</property>
1741                                   <property name="xalign">0.5</property>
1742                                   <property name="yalign">0.5</property>
1743                                   <property name="xpad">0</property>
1744                                   <property name="ypad">0</property>
1745                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1746                                   <property name="width_chars">-1</property>
1747                                   <property name="single_line_mode">False</property>
1748                                   <property name="angle">0</property>
1749                                 </widget>
1750                                 <packing>
1751                                   <property name="padding">0</property>
1752                                   <property name="expand">False</property>
1753                                   <property name="fill">False</property>
1754                                 </packing>
1755                               </child>
1756                             </widget>
1757                             <packing>
1758                               <property name="padding">0</property>
1759                               <property name="expand">False</property>
1760                               <property name="fill">True</property>
1761                             </packing>
1762                           </child>
1763
1764                           <child>
1765                             <widget class="GtkHBox" id="hbox18">
1766                               <property name="visible">True</property>
1767                               <property name="homogeneous">False</property>
1768                               <property name="spacing">6</property>
1769
1770                               <child>
1771                                 <widget class="GtkLabel" id="resist_edge_label">
1772                                   <property name="visible">True</property>
1773                                   <property name="label" translatable="yes">Amount of resistance against screen _edges:</property>
1774                                   <property name="use_underline">True</property>
1775                                   <property name="use_markup">False</property>
1776                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1777                                   <property name="wrap">False</property>
1778                                   <property name="selectable">False</property>
1779                                   <property name="xalign">0</property>
1780                                   <property name="yalign">0.5</property>
1781                                   <property name="xpad">0</property>
1782                                   <property name="ypad">0</property>
1783                                   <property name="mnemonic_widget">resist_edge</property>
1784                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1785                                   <property name="width_chars">-1</property>
1786                                   <property name="single_line_mode">False</property>
1787                                   <property name="angle">0</property>
1788                                 </widget>
1789                                 <packing>
1790                                   <property name="padding">0</property>
1791                                   <property name="expand">False</property>
1792                                   <property name="fill">False</property>
1793                                 </packing>
1794                               </child>
1795
1796                               <child>
1797                                 <widget class="GtkSpinButton" id="resist_edge">
1798                                   <property name="visible">True</property>
1799                                   <property name="can_focus">True</property>
1800                                   <property name="climb_rate">1</property>
1801                                   <property name="digits">0</property>
1802                                   <property name="numeric">True</property>
1803                                   <property name="update_policy">GTK_UPDATE_ALWAYS</property>
1804                                   <property name="snap_to_ticks">False</property>
1805                                   <property name="wrap">False</property>
1806                                   <property name="adjustment">1 0 100 1 10 10</property>
1807                                   <signal name="value_changed" handler="on_resist_edge_value_changed" after="yes" last_modification_time="Tue, 23 Sep 2003 22:23:04 GMT"/>
1808                                 </widget>
1809                                 <packing>
1810                                   <property name="padding">0</property>
1811                                   <property name="expand">False</property>
1812                                   <property name="fill">True</property>
1813                                 </packing>
1814                               </child>
1815
1816                               <child>
1817                                 <widget class="GtkLabel" id="label68">
1818                                   <property name="visible">True</property>
1819                                   <property name="label" translatable="yes">px</property>
1820                                   <property name="use_underline">False</property>
1821                                   <property name="use_markup">False</property>
1822                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1823                                   <property name="wrap">False</property>
1824                                   <property name="selectable">False</property>
1825                                   <property name="xalign">0.5</property>
1826                                   <property name="yalign">0.5</property>
1827                                   <property name="xpad">0</property>
1828                                   <property name="ypad">0</property>
1829                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1830                                   <property name="width_chars">-1</property>
1831                                   <property name="single_line_mode">False</property>
1832                                   <property name="angle">0</property>
1833                                 </widget>
1834                                 <packing>
1835                                   <property name="padding">0</property>
1836                                   <property name="expand">False</property>
1837                                   <property name="fill">False</property>
1838                                 </packing>
1839                               </child>
1840                             </widget>
1841                             <packing>
1842                               <property name="padding">0</property>
1843                               <property name="expand">False</property>
1844                               <property name="fill">True</property>
1845                             </packing>
1846                           </child>
1847
1848                           <child>
1849                             <widget class="GtkCheckButton" id="warp_edge">
1850                               <property name="visible">True</property>
1851                               <property name="can_focus">True</property>
1852                               <property name="label" translatable="yes">_Switch desktops when moving a window past the screen edge</property>
1853                               <property name="use_underline">True</property>
1854                               <property name="relief">GTK_RELIEF_NORMAL</property>
1855                               <property name="focus_on_click">True</property>
1856                               <property name="active">False</property>
1857                               <property name="inconsistent">False</property>
1858                               <property name="draw_indicator">True</property>
1859                               <signal name="toggled" handler="on_warp_edge_toggled" after="yes" last_modification_time="Sat, 04 Aug 2007 15:51:15 GMT"/>
1860                             </widget>
1861                             <packing>
1862                               <property name="padding">0</property>
1863                               <property name="expand">False</property>
1864                               <property name="fill">False</property>
1865                             </packing>
1866                           </child>
1867
1868                           <child>
1869                             <widget class="GtkHBox" id="hbox103">
1870                               <property name="visible">True</property>
1871                               <property name="homogeneous">False</property>
1872                               <property name="spacing">0</property>
1873
1874                               <child>
1875                                 <widget class="GtkLabel" id="label214">
1876                                   <property name="visible">True</property>
1877                                   <property name="label">    </property>
1878                                   <property name="use_underline">False</property>
1879                                   <property name="use_markup">False</property>
1880                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1881                                   <property name="wrap">False</property>
1882                                   <property name="selectable">False</property>
1883                                   <property name="xalign">0.5</property>
1884                                   <property name="yalign">0.5</property>
1885                                   <property name="xpad">0</property>
1886                                   <property name="ypad">0</property>
1887                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1888                                   <property name="width_chars">-1</property>
1889                                   <property name="single_line_mode">False</property>
1890                                   <property name="angle">0</property>
1891                                 </widget>
1892                                 <packing>
1893                                   <property name="padding">0</property>
1894                                   <property name="expand">False</property>
1895                                   <property name="fill">False</property>
1896                                 </packing>
1897                               </child>
1898
1899                               <child>
1900                                 <widget class="GtkHBox" id="hbox104">
1901                                   <property name="visible">True</property>
1902                                   <property name="homogeneous">False</property>
1903                                   <property name="spacing">6</property>
1904
1905                                   <child>
1906                                     <widget class="GtkLabel" id="label215">
1907                                       <property name="visible">True</property>
1908                                       <property name="label" translatable="yes">_Amount of time to wait before switching:</property>
1909                                       <property name="use_underline">True</property>
1910                                       <property name="use_markup">False</property>
1911                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
1912                                       <property name="wrap">False</property>
1913                                       <property name="selectable">False</property>
1914                                       <property name="xalign">0</property>
1915                                       <property name="yalign">0.5</property>
1916                                       <property name="xpad">0</property>
1917                                       <property name="ypad">0</property>
1918                                       <property name="mnemonic_widget">warp_edge_time</property>
1919                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1920                                       <property name="width_chars">-1</property>
1921                                       <property name="single_line_mode">False</property>
1922                                       <property name="angle">0</property>
1923                                     </widget>
1924                                     <packing>
1925                                       <property name="padding">0</property>
1926                                       <property name="expand">False</property>
1927                                       <property name="fill">False</property>
1928                                     </packing>
1929                                   </child>
1930
1931                                   <child>
1932                                     <widget class="GtkSpinButton" id="warp_edge_time">
1933                                       <property name="visible">True</property>
1934                                       <property name="can_focus">True</property>
1935                                       <property name="climb_rate">1</property>
1936                                       <property name="digits">0</property>
1937                                       <property name="numeric">True</property>
1938                                       <property name="update_policy">GTK_UPDATE_ALWAYS</property>
1939                                       <property name="snap_to_ticks">False</property>
1940                                       <property name="wrap">False</property>
1941                                       <property name="adjustment">0 100 10000 10 10 10</property>
1942                                       <signal name="value_changed" handler="on_warp_edge_time_value_changed" after="yes" last_modification_time="Sat, 04 Aug 2007 15:51:02 GMT"/>
1943                                     </widget>
1944                                     <packing>
1945                                       <property name="padding">0</property>
1946                                       <property name="expand">False</property>
1947                                       <property name="fill">True</property>
1948                                     </packing>
1949                                   </child>
1950
1951                                   <child>
1952                                     <widget class="GtkLabel" id="label216">
1953                                       <property name="visible">True</property>
1954                                       <property name="label" translatable="yes">ms</property>
1955                                       <property name="use_underline">False</property>
1956                                       <property name="use_markup">False</property>
1957                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
1958                                       <property name="wrap">False</property>
1959                                       <property name="selectable">False</property>
1960                                       <property name="xalign">0.5</property>
1961                                       <property name="yalign">0.5</property>
1962                                       <property name="xpad">0</property>
1963                                       <property name="ypad">0</property>
1964                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1965                                       <property name="width_chars">-1</property>
1966                                       <property name="single_line_mode">False</property>
1967                                       <property name="angle">0</property>
1968                                     </widget>
1969                                     <packing>
1970                                       <property name="padding">0</property>
1971                                       <property name="expand">False</property>
1972                                       <property name="fill">False</property>
1973                                     </packing>
1974                                   </child>
1975                                 </widget>
1976                                 <packing>
1977                                   <property name="padding">0</property>
1978                                   <property name="expand">True</property>
1979                                   <property name="fill">True</property>
1980                                 </packing>
1981                               </child>
1982                             </widget>
1983                             <packing>
1984                               <property name="padding">0</property>
1985                               <property name="expand">True</property>
1986                               <property name="fill">True</property>
1987                             </packing>
1988                           </child>
1989                         </widget>
1990                         <packing>
1991                           <property name="padding">0</property>
1992                           <property name="expand">True</property>
1993                           <property name="fill">True</property>
1994                         </packing>
1995                       </child>
1996                     </widget>
1997                     <packing>
1998                       <property name="padding">0</property>
1999                       <property name="expand">True</property>
2000                       <property name="fill">True</property>
2001                     </packing>
2002                   </child>
2003                 </widget>
2004                 <packing>
2005                   <property name="padding">0</property>
2006                   <property name="expand">False</property>
2007                   <property name="fill">True</property>
2008                 </packing>
2009               </child>
2010             </widget>
2011             <packing>
2012               <property name="tab_expand">False</property>
2013               <property name="tab_fill">True</property>
2014             </packing>
2015           </child>
2016
2017           <child>
2018             <widget class="GtkLabel" id="label22">
2019               <property name="visible">True</property>
2020               <property name="label" translatable="yes">Windows</property>
2021               <property name="use_underline">False</property>
2022               <property name="use_markup">False</property>
2023               <property name="justify">GTK_JUSTIFY_LEFT</property>
2024               <property name="wrap">False</property>
2025               <property name="selectable">False</property>
2026               <property name="xalign">0.5</property>
2027               <property name="yalign">0.5</property>
2028               <property name="xpad">0</property>
2029               <property name="ypad">0</property>
2030               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2031               <property name="width_chars">-1</property>
2032               <property name="single_line_mode">False</property>
2033               <property name="angle">0</property>
2034             </widget>
2035             <packing>
2036               <property name="type">tab</property>
2037             </packing>
2038           </child>
2039
2040           <child>
2041             <widget class="GtkVBox" id="vbox56">
2042               <property name="border_width">12</property>
2043               <property name="visible">True</property>
2044               <property name="homogeneous">False</property>
2045               <property name="spacing">18</property>
2046
2047               <child>
2048                 <widget class="GtkVBox" id="vbox13">
2049                   <property name="visible">True</property>
2050                   <property name="homogeneous">False</property>
2051                   <property name="spacing">6</property>
2052
2053                   <child>
2054                     <widget class="GtkLabel" id="label32">
2055                       <property name="visible">True</property>
2056                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Focusing Windows&lt;/span&gt;</property>
2057                       <property name="use_underline">False</property>
2058                       <property name="use_markup">True</property>
2059                       <property name="justify">GTK_JUSTIFY_LEFT</property>
2060                       <property name="wrap">False</property>
2061                       <property name="selectable">False</property>
2062                       <property name="xalign">0</property>
2063                       <property name="yalign">0.5</property>
2064                       <property name="xpad">0</property>
2065                       <property name="ypad">0</property>
2066                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2067                       <property name="width_chars">-1</property>
2068                       <property name="single_line_mode">False</property>
2069                       <property name="angle">0</property>
2070                     </widget>
2071                     <packing>
2072                       <property name="padding">0</property>
2073                       <property name="expand">False</property>
2074                       <property name="fill">False</property>
2075                     </packing>
2076                   </child>
2077
2078                   <child>
2079                     <widget class="GtkHBox" id="hbox13">
2080                       <property name="visible">True</property>
2081                       <property name="homogeneous">False</property>
2082                       <property name="spacing">0</property>
2083
2084                       <child>
2085                         <widget class="GtkLabel" id="label33">
2086                           <property name="visible">True</property>
2087                           <property name="label">    </property>
2088                           <property name="use_underline">False</property>
2089                           <property name="use_markup">False</property>
2090                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2091                           <property name="wrap">False</property>
2092                           <property name="selectable">False</property>
2093                           <property name="xalign">0.5</property>
2094                           <property name="yalign">0.5</property>
2095                           <property name="xpad">0</property>
2096                           <property name="ypad">0</property>
2097                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2098                           <property name="width_chars">-1</property>
2099                           <property name="single_line_mode">False</property>
2100                           <property name="angle">0</property>
2101                         </widget>
2102                         <packing>
2103                           <property name="padding">0</property>
2104                           <property name="expand">False</property>
2105                           <property name="fill">False</property>
2106                         </packing>
2107                       </child>
2108
2109                       <child>
2110                         <widget class="GtkVBox" id="vbox15">
2111                           <property name="visible">True</property>
2112                           <property name="homogeneous">False</property>
2113                           <property name="spacing">6</property>
2114
2115                           <child>
2116                             <widget class="GtkCheckButton" id="focus_mouse">
2117                               <property name="visible">True</property>
2118                               <property name="can_focus">True</property>
2119                               <property name="label" translatable="yes">_Focus windows when the mouse pointer moves over them</property>
2120                               <property name="use_underline">True</property>
2121                               <property name="relief">GTK_RELIEF_NORMAL</property>
2122                               <property name="focus_on_click">True</property>
2123                               <property name="active">False</property>
2124                               <property name="inconsistent">False</property>
2125                               <property name="draw_indicator">True</property>
2126                               <signal name="toggled" handler="on_focus_mouse_toggled" after="yes" last_modification_time="Sun, 14 Sep 2003 11:24:01 GMT"/>
2127                             </widget>
2128                             <packing>
2129                               <property name="padding">0</property>
2130                               <property name="expand">False</property>
2131                               <property name="fill">False</property>
2132                             </packing>
2133                           </child>
2134
2135                           <child>
2136                             <widget class="GtkHBox" id="hbox32">
2137                               <property name="visible">True</property>
2138                               <property name="homogeneous">False</property>
2139                               <property name="spacing">0</property>
2140
2141                               <child>
2142                                 <widget class="GtkLabel" id="label65">
2143                                   <property name="visible">True</property>
2144                                   <property name="label">    </property>
2145                                   <property name="use_underline">False</property>
2146                                   <property name="use_markup">False</property>
2147                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2148                                   <property name="wrap">False</property>
2149                                   <property name="selectable">False</property>
2150                                   <property name="xalign">0.5</property>
2151                                   <property name="yalign">0.5</property>
2152                                   <property name="xpad">0</property>
2153                                   <property name="ypad">0</property>
2154                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2155                                   <property name="width_chars">-1</property>
2156                                   <property name="single_line_mode">False</property>
2157                                   <property name="angle">0</property>
2158                                 </widget>
2159                                 <packing>
2160                                   <property name="padding">0</property>
2161                                   <property name="expand">False</property>
2162                                   <property name="fill">False</property>
2163                                 </packing>
2164                               </child>
2165
2166                               <child>
2167                                 <widget class="GtkVBox" id="vbox25">
2168                                   <property name="visible">True</property>
2169                                   <property name="homogeneous">False</property>
2170                                   <property name="spacing">6</property>
2171
2172                                   <child>
2173                                     <widget class="GtkCheckButton" id="focus_notlast">
2174                                       <property name="visible">True</property>
2175                                       <property name="can_focus">True</property>
2176                                       <property name="label" translatable="yes">Move focus under the mouse when _switching desktops</property>
2177                                       <property name="use_underline">True</property>
2178                                       <property name="relief">GTK_RELIEF_NORMAL</property>
2179                                       <property name="focus_on_click">True</property>
2180                                       <property name="active">False</property>
2181                                       <property name="inconsistent">False</property>
2182                                       <property name="draw_indicator">True</property>
2183                                       <signal name="toggled" handler="on_focus_notlast_toggled" last_modification_time="Sun, 03 Jun 2007 19:29:54 GMT"/>
2184                                     </widget>
2185                                     <packing>
2186                                       <property name="padding">0</property>
2187                                       <property name="expand">False</property>
2188                                       <property name="fill">False</property>
2189                                     </packing>
2190                                   </child>
2191
2192                                   <child>
2193                                     <widget class="GtkCheckButton" id="focus_under_mouse">
2194                                       <property name="visible">True</property>
2195                                       <property name="can_focus">True</property>
2196                                       <property name="label" translatable="yes">Move focus _under the mouse when the mouse is not moving</property>
2197                                       <property name="use_underline">True</property>
2198                                       <property name="relief">GTK_RELIEF_NORMAL</property>
2199                                       <property name="focus_on_click">True</property>
2200                                       <property name="active">False</property>
2201                                       <property name="inconsistent">False</property>
2202                                       <property name="draw_indicator">True</property>
2203                                       <signal name="toggled" handler="on_focus_under_mouse_toggled" last_modification_time="Sun, 03 Jun 2007 19:30:02 GMT"/>
2204                                     </widget>
2205                                     <packing>
2206                                       <property name="padding">0</property>
2207                                       <property name="expand">False</property>
2208                                       <property name="fill">False</property>
2209                                     </packing>
2210                                   </child>
2211
2212                                   <child>
2213                                     <widget class="GtkCheckButton" id="focus_raise">
2214                                       <property name="visible">True</property>
2215                                       <property name="can_focus">True</property>
2216                                       <property name="label" translatable="yes">_Raise windows when the mouse pointer moves over them</property>
2217                                       <property name="use_underline">True</property>
2218                                       <property name="relief">GTK_RELIEF_NORMAL</property>
2219                                       <property name="focus_on_click">True</property>
2220                                       <property name="active">False</property>
2221                                       <property name="inconsistent">False</property>
2222                                       <property name="draw_indicator">True</property>
2223                                       <signal name="toggled" handler="on_focus_raise_toggled" after="yes" last_modification_time="Mon, 22 Sep 2003 06:37:32 GMT"/>
2224                                     </widget>
2225                                     <packing>
2226                                       <property name="padding">0</property>
2227                                       <property name="expand">False</property>
2228                                       <property name="fill">False</property>
2229                                     </packing>
2230                                   </child>
2231
2232                                   <child>
2233                                     <widget class="GtkHBox" id="hbox16">
2234                                       <property name="visible">True</property>
2235                                       <property name="homogeneous">False</property>
2236                                       <property name="spacing">6</property>
2237
2238                                       <child>
2239                                         <widget class="GtkLabel" id="focus_delay_label">
2240                                           <property name="visible">True</property>
2241                                           <property name="label" translatable="yes">_Delay before focusing and raising windows:</property>
2242                                           <property name="use_underline">True</property>
2243                                           <property name="use_markup">False</property>
2244                                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2245                                           <property name="wrap">False</property>
2246                                           <property name="selectable">False</property>
2247                                           <property name="xalign">0.5</property>
2248                                           <property name="yalign">0.5</property>
2249                                           <property name="xpad">0</property>
2250                                           <property name="ypad">0</property>
2251                                           <property name="mnemonic_widget">focus_delay</property>
2252                                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2253                                           <property name="width_chars">-1</property>
2254                                           <property name="single_line_mode">False</property>
2255                                           <property name="angle">0</property>
2256                                         </widget>
2257                                         <packing>
2258                                           <property name="padding">0</property>
2259                                           <property name="expand">False</property>
2260                                           <property name="fill">False</property>
2261                                         </packing>
2262                                       </child>
2263
2264                                       <child>
2265                                         <widget class="GtkSpinButton" id="focus_delay">
2266                                           <property name="visible">True</property>
2267                                           <property name="can_focus">True</property>
2268                                           <property name="climb_rate">1</property>
2269                                           <property name="digits">0</property>
2270                                           <property name="numeric">True</property>
2271                                           <property name="update_policy">GTK_UPDATE_ALWAYS</property>
2272                                           <property name="snap_to_ticks">False</property>
2273                                           <property name="wrap">False</property>
2274                                           <property name="adjustment">0 0 10000 10 10 10</property>
2275                                           <signal name="value_changed" handler="on_focus_delay_value_changed" after="yes" last_modification_time="Sun, 14 Sep 2003 11:24:28 GMT"/>
2276                                         </widget>
2277                                         <packing>
2278                                           <property name="padding">0</property>
2279                                           <property name="expand">False</property>
2280                                           <property name="fill">True</property>
2281                                         </packing>
2282                                       </child>
2283
2284                                       <child>
2285                                         <widget class="GtkLabel" id="focus_delay_label_units">
2286                                           <property name="visible">True</property>
2287                                           <property name="label" translatable="yes">ms</property>
2288                                           <property name="use_underline">False</property>
2289                                           <property name="use_markup">False</property>
2290                                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2291                                           <property name="wrap">False</property>
2292                                           <property name="selectable">False</property>
2293                                           <property name="xalign">0.5</property>
2294                                           <property name="yalign">0.5</property>
2295                                           <property name="xpad">0</property>
2296                                           <property name="ypad">0</property>
2297                                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2298                                           <property name="width_chars">-1</property>
2299                                           <property name="single_line_mode">False</property>
2300                                           <property name="angle">0</property>
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                                     </widget>
2309                                     <packing>
2310                                       <property name="padding">0</property>
2311                                       <property name="expand">True</property>
2312                                       <property name="fill">True</property>
2313                                     </packing>
2314                                   </child>
2315                                 </widget>
2316                                 <packing>
2317                                   <property name="padding">0</property>
2318                                   <property name="expand">True</property>
2319                                   <property name="fill">True</property>
2320                                 </packing>
2321                               </child>
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">True</property>
2333                           <property name="fill">True</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">True</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">True</property>
2348                 </packing>
2349               </child>
2350
2351               <child>
2352                 <widget class="GtkVBox" id="vbox61">
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="label155">
2359                       <property name="visible">True</property>
2360                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Titlebar&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="hbox84">
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="label156">
2390                           <property name="visible">True</property>
2391                           <property name="label">    </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="vbox62">
2415                           <property name="visible">True</property>
2416                           <property name="homogeneous">False</property>
2417                           <property name="spacing">6</property>
2418
2419                           <child>
2420                             <widget class="GtkHBox" id="hbox87">
2421                               <property name="visible">True</property>
2422                               <property name="homogeneous">False</property>
2423                               <property name="spacing">12</property>
2424
2425                               <child>
2426                                 <widget class="GtkLabel" id="titlebar_doubleclick_label">
2427                                   <property name="visible">True</property>
2428                                   <property name="label" translatable="yes">Double click on the _titlebar:</property>
2429                                   <property name="use_underline">True</property>
2430                                   <property name="use_markup">False</property>
2431                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2432                                   <property name="wrap">False</property>
2433                                   <property name="selectable">False</property>
2434                                   <property name="xalign">0</property>
2435                                   <property name="yalign">0.5</property>
2436                                   <property name="xpad">0</property>
2437                                   <property name="ypad">0</property>
2438                                   <property name="mnemonic_widget">titlebar_doubleclick</property>
2439                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2440                                   <property name="width_chars">-1</property>
2441                                   <property name="single_line_mode">False</property>
2442                                   <property name="angle">0</property>
2443                                 </widget>
2444                                 <packing>
2445                                   <property name="padding">0</property>
2446                                   <property name="expand">False</property>
2447                                   <property name="fill">False</property>
2448                                 </packing>
2449                               </child>
2450
2451                               <child>
2452                                 <widget class="GtkOptionMenu" id="titlebar_doubleclick">
2453                                   <property name="visible">True</property>
2454                                   <property name="can_focus">True</property>
2455                                   <property name="history">0</property>
2456
2457                                   <child>
2458                                     <widget class="GtkMenu" id="menu10">
2459
2460                                       <child>
2461                                         <widget class="GtkMenuItem" id="titlebar_doubleclick_maximize">
2462                                           <property name="visible">True</property>
2463                                           <property name="label" translatable="yes">Maximizes the window</property>
2464                                           <property name="use_underline">True</property>
2465                                           <signal name="activate" handler="on_titlebar_doubleclick_maximize_activate" last_modification_time="Fri, 01 Jun 2007 00:41:35 GMT"/>
2466                                         </widget>
2467                                       </child>
2468
2469                                       <child>
2470                                         <widget class="GtkMenuItem" id="titlebar_doubleclick_shade">
2471                                           <property name="visible">True</property>
2472                                           <property name="label" translatable="yes">Shades the window</property>
2473                                           <property name="use_underline">True</property>
2474                                           <signal name="activate" handler="on_titlebar_doubleclick_shade_activate" last_modification_time="Fri, 01 Jun 2007 00:41:35 GMT"/>
2475                                         </widget>
2476                                       </child>
2477                                     </widget>
2478                                   </child>
2479                                 </widget>
2480                                 <packing>
2481                                   <property name="padding">0</property>
2482                                   <property name="expand">False</property>
2483                                   <property name="fill">False</property>
2484                                 </packing>
2485                               </child>
2486                             </widget>
2487                             <packing>
2488                               <property name="padding">0</property>
2489                               <property name="expand">True</property>
2490                               <property name="fill">True</property>
2491                             </packing>
2492                           </child>
2493
2494                           <child>
2495                             <widget class="GtkHBox" id="hbox85">
2496                               <property name="visible">True</property>
2497                               <property name="homogeneous">False</property>
2498                               <property name="spacing">6</property>
2499
2500                               <child>
2501                                 <widget class="GtkLabel" id="doubleclick_time_label">
2502                                   <property name="visible">True</property>
2503                                   <property name="label" translatable="yes">Double click ti_me:</property>
2504                                   <property name="use_underline">True</property>
2505                                   <property name="use_markup">False</property>
2506                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2507                                   <property name="wrap">False</property>
2508                                   <property name="selectable">False</property>
2509                                   <property name="xalign">0</property>
2510                                   <property name="yalign">0.5</property>
2511                                   <property name="xpad">0</property>
2512                                   <property name="ypad">0</property>
2513                                   <property name="mnemonic_widget">doubleclick_time</property>
2514                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2515                                   <property name="width_chars">-1</property>
2516                                   <property name="single_line_mode">False</property>
2517                                   <property name="angle">0</property>
2518                                 </widget>
2519                                 <packing>
2520                                   <property name="padding">0</property>
2521                                   <property name="expand">False</property>
2522                                   <property name="fill">False</property>
2523                                 </packing>
2524                               </child>
2525
2526                               <child>
2527                                 <widget class="GtkSpinButton" id="doubleclick_time">
2528                                   <property name="visible">True</property>
2529                                   <property name="can_focus">True</property>
2530                                   <property name="climb_rate">1</property>
2531                                   <property name="digits">0</property>
2532                                   <property name="numeric">True</property>
2533                                   <property name="update_policy">GTK_UPDATE_ALWAYS</property>
2534                                   <property name="snap_to_ticks">False</property>
2535                                   <property name="wrap">False</property>
2536                                   <property name="adjustment">0 0 10000 10 10 10</property>
2537                                   <signal name="value_changed" handler="on_doubleclick_time_value_changed" after="yes" last_modification_time="Thu, 31 May 2007 16:09:40 GMT"/>
2538                                 </widget>
2539                                 <packing>
2540                                   <property name="padding">0</property>
2541                                   <property name="expand">False</property>
2542                                   <property name="fill">True</property>
2543                                 </packing>
2544                               </child>
2545
2546                               <child>
2547                                 <widget class="GtkLabel" id="label158">
2548                                   <property name="visible">True</property>
2549                                   <property name="label" translatable="yes">ms</property>
2550                                   <property name="use_underline">False</property>
2551                                   <property name="use_markup">False</property>
2552                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2553                                   <property name="wrap">False</property>
2554                                   <property name="selectable">False</property>
2555                                   <property name="xalign">0.5</property>
2556                                   <property name="yalign">0.5</property>
2557                                   <property name="xpad">0</property>
2558                                   <property name="ypad">0</property>
2559                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2560                                   <property name="width_chars">-1</property>
2561                                   <property name="single_line_mode">False</property>
2562                                   <property name="angle">0</property>
2563                                 </widget>
2564                                 <packing>
2565                                   <property name="padding">0</property>
2566                                   <property name="expand">False</property>
2567                                   <property name="fill">False</property>
2568                                 </packing>
2569                               </child>
2570                             </widget>
2571                             <packing>
2572                               <property name="padding">0</property>
2573                               <property name="expand">True</property>
2574                               <property name="fill">True</property>
2575                             </packing>
2576                           </child>
2577                         </widget>
2578                         <packing>
2579                           <property name="padding">0</property>
2580                           <property name="expand">True</property>
2581                           <property name="fill">True</property>
2582                         </packing>
2583                       </child>
2584                     </widget>
2585                     <packing>
2586                       <property name="padding">0</property>
2587                       <property name="expand">True</property>
2588                       <property name="fill">True</property>
2589                     </packing>
2590                   </child>
2591                 </widget>
2592                 <packing>
2593                   <property name="padding">0</property>
2594                   <property name="expand">False</property>
2595                   <property name="fill">True</property>
2596                 </packing>
2597               </child>
2598
2599               <child>
2600                 <widget class="GtkVBox" id="vbox63">
2601                   <property name="visible">True</property>
2602                   <property name="homogeneous">False</property>
2603                   <property name="spacing">0</property>
2604
2605                   <child>
2606                     <widget class="GtkHBox" id="hbox88">
2607                       <property name="visible">True</property>
2608                       <property name="homogeneous">False</property>
2609                       <property name="spacing">0</property>
2610
2611                       <child>
2612                         <widget class="GtkLabel" id="label162">
2613                           <property name="visible">True</property>
2614                           <property name="label" translatable="yes">    </property>
2615                           <property name="use_underline">False</property>
2616                           <property name="use_markup">False</property>
2617                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2618                           <property name="wrap">False</property>
2619                           <property name="selectable">False</property>
2620                           <property name="xalign">0.5</property>
2621                           <property name="yalign">0.5</property>
2622                           <property name="xpad">0</property>
2623                           <property name="ypad">0</property>
2624                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2625                           <property name="width_chars">-1</property>
2626                           <property name="single_line_mode">False</property>
2627                           <property name="angle">0</property>
2628                         </widget>
2629                         <packing>
2630                           <property name="padding">0</property>
2631                           <property name="expand">False</property>
2632                           <property name="fill">False</property>
2633                         </packing>
2634                       </child>
2635                     </widget>
2636                     <packing>
2637                       <property name="padding">0</property>
2638                       <property name="expand">True</property>
2639                       <property name="fill">True</property>
2640                     </packing>
2641                   </child>
2642                 </widget>
2643                 <packing>
2644                   <property name="padding">0</property>
2645                   <property name="expand">False</property>
2646                   <property name="fill">True</property>
2647                 </packing>
2648               </child>
2649             </widget>
2650             <packing>
2651               <property name="tab_expand">False</property>
2652               <property name="tab_fill">True</property>
2653               <property name="menu_label" translatable="yes"></property>
2654             </packing>
2655           </child>
2656
2657           <child>
2658             <widget class="GtkLabel" id="label118">
2659               <property name="visible">True</property>
2660               <property name="label" translatable="yes">Mouse</property>
2661               <property name="use_underline">False</property>
2662               <property name="use_markup">False</property>
2663               <property name="justify">GTK_JUSTIFY_LEFT</property>
2664               <property name="wrap">False</property>
2665               <property name="selectable">False</property>
2666               <property name="xalign">0.460000008345</property>
2667               <property name="yalign">0.5</property>
2668               <property name="xpad">0</property>
2669               <property name="ypad">0</property>
2670               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2671               <property name="width_chars">-1</property>
2672               <property name="single_line_mode">False</property>
2673               <property name="angle">0</property>
2674             </widget>
2675             <packing>
2676               <property name="type">tab</property>
2677             </packing>
2678           </child>
2679
2680           <child>
2681             <widget class="GtkVBox" id="vbox18">
2682               <property name="border_width">12</property>
2683               <property name="visible">True</property>
2684               <property name="homogeneous">False</property>
2685               <property name="spacing">6</property>
2686
2687               <child>
2688                 <widget class="GtkLabel" id="label51">
2689                   <property name="visible">True</property>
2690                   <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Desktops&lt;/span&gt;</property>
2691                   <property name="use_underline">False</property>
2692                   <property name="use_markup">True</property>
2693                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2694                   <property name="wrap">False</property>
2695                   <property name="selectable">False</property>
2696                   <property name="xalign">0</property>
2697                   <property name="yalign">0.5</property>
2698                   <property name="xpad">0</property>
2699                   <property name="ypad">0</property>
2700                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2701                   <property name="width_chars">-1</property>
2702                   <property name="single_line_mode">False</property>
2703                   <property name="angle">0</property>
2704                 </widget>
2705                 <packing>
2706                   <property name="padding">0</property>
2707                   <property name="expand">False</property>
2708                   <property name="fill">False</property>
2709                 </packing>
2710               </child>
2711
2712               <child>
2713                 <widget class="GtkHBox" id="hbox24">
2714                   <property name="visible">True</property>
2715                   <property name="homogeneous">False</property>
2716                   <property name="spacing">0</property>
2717
2718                   <child>
2719                     <widget class="GtkLabel" id="label52">
2720                       <property name="visible">True</property>
2721                       <property name="label">    </property>
2722                       <property name="use_underline">False</property>
2723                       <property name="use_markup">False</property>
2724                       <property name="justify">GTK_JUSTIFY_LEFT</property>
2725                       <property name="wrap">False</property>
2726                       <property name="selectable">False</property>
2727                       <property name="xalign">0.5</property>
2728                       <property name="yalign">0.5</property>
2729                       <property name="xpad">0</property>
2730                       <property name="ypad">0</property>
2731                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2732                       <property name="width_chars">-1</property>
2733                       <property name="single_line_mode">False</property>
2734                       <property name="angle">0</property>
2735                     </widget>
2736                     <packing>
2737                       <property name="padding">0</property>
2738                       <property name="expand">False</property>
2739                       <property name="fill">False</property>
2740                     </packing>
2741                   </child>
2742
2743                   <child>
2744                     <widget class="GtkVBox" id="vbox19">
2745                       <property name="visible">True</property>
2746                       <property name="homogeneous">False</property>
2747                       <property name="spacing">6</property>
2748
2749                       <child>
2750                         <widget class="GtkHBox" id="hbox25">
2751                           <property name="visible">True</property>
2752                           <property name="homogeneous">False</property>
2753                           <property name="spacing">6</property>
2754
2755                           <child>
2756                             <widget class="GtkLabel" id="label53">
2757                               <property name="visible">True</property>
2758                               <property name="label" translatable="yes">_Number of desktops: </property>
2759                               <property name="use_underline">True</property>
2760                               <property name="use_markup">False</property>
2761                               <property name="justify">GTK_JUSTIFY_LEFT</property>
2762                               <property name="wrap">False</property>
2763                               <property name="selectable">False</property>
2764                               <property name="xalign">0.5</property>
2765                               <property name="yalign">0.5</property>
2766                               <property name="xpad">0</property>
2767                               <property name="ypad">0</property>
2768                               <property name="mnemonic_widget">desktop_num</property>
2769                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2770                               <property name="width_chars">-1</property>
2771                               <property name="single_line_mode">False</property>
2772                               <property name="angle">0</property>
2773                             </widget>
2774                             <packing>
2775                               <property name="padding">0</property>
2776                               <property name="expand">False</property>
2777                               <property name="fill">False</property>
2778                             </packing>
2779                           </child>
2780
2781                           <child>
2782                             <widget class="GtkSpinButton" id="desktop_num">
2783                               <property name="visible">True</property>
2784                               <property name="can_focus">True</property>
2785                               <property name="climb_rate">1</property>
2786                               <property name="digits">0</property>
2787                               <property name="numeric">True</property>
2788                               <property name="update_policy">GTK_UPDATE_ALWAYS</property>
2789                               <property name="snap_to_ticks">False</property>
2790                               <property name="wrap">False</property>
2791                               <property name="adjustment">1 1 100 1 10 10</property>
2792                               <signal name="value_changed" handler="on_desktop_num_value_changed" after="yes" last_modification_time="Mon, 15 Sep 2003 01:16:20 GMT"/>
2793                             </widget>
2794                             <packing>
2795                               <property name="padding">0</property>
2796                               <property name="expand">False</property>
2797                               <property name="fill">True</property>
2798                             </packing>
2799                           </child>
2800                         </widget>
2801                         <packing>
2802                           <property name="padding">0</property>
2803                           <property name="expand">False</property>
2804                           <property name="fill">True</property>
2805                         </packing>
2806                       </child>
2807
2808                       <child>
2809                         <widget class="GtkLabel" id="label54">
2810                           <property name="visible">True</property>
2811                           <property name="label" translatable="yes">_Desktop names:</property>
2812                           <property name="use_underline">True</property>
2813                           <property name="use_markup">False</property>
2814                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2815                           <property name="wrap">False</property>
2816                           <property name="selectable">False</property>
2817                           <property name="xalign">0</property>
2818                           <property name="yalign">0.5</property>
2819                           <property name="xpad">0</property>
2820                           <property name="ypad">0</property>
2821                           <property name="mnemonic_widget">desktop_names</property>
2822                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2823                           <property name="width_chars">-1</property>
2824                           <property name="single_line_mode">False</property>
2825                           <property name="angle">0</property>
2826                         </widget>
2827                         <packing>
2828                           <property name="padding">0</property>
2829                           <property name="expand">False</property>
2830                           <property name="fill">False</property>
2831                         </packing>
2832                       </child>
2833
2834                       <child>
2835                         <widget class="GtkScrolledWindow" id="scrolledwindow1">
2836                           <property name="visible">True</property>
2837                           <property name="can_focus">True</property>
2838                           <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
2839                           <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2840                           <property name="shadow_type">GTK_SHADOW_IN</property>
2841                           <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
2842
2843                           <child>
2844                             <widget class="GtkTreeView" id="desktop_names">
2845                               <property name="visible">True</property>
2846                               <property name="can_focus">True</property>
2847                               <property name="headers_visible">False</property>
2848                               <property name="rules_hint">False</property>
2849                               <property name="reorderable">False</property>
2850                               <property name="enable_search">True</property>
2851                               <property name="fixed_height_mode">False</property>
2852                               <property name="hover_selection">False</property>
2853                               <property name="hover_expand">False</property>
2854                             </widget>
2855                           </child>
2856                         </widget>
2857                         <packing>
2858                           <property name="padding">0</property>
2859                           <property name="expand">True</property>
2860                           <property name="fill">True</property>
2861                         </packing>
2862                       </child>
2863                     </widget>
2864                     <packing>
2865                       <property name="padding">0</property>
2866                       <property name="expand">True</property>
2867                       <property name="fill">True</property>
2868                     </packing>
2869                   </child>
2870                 </widget>
2871                 <packing>
2872                   <property name="padding">0</property>
2873                   <property name="expand">True</property>
2874                   <property name="fill">True</property>
2875                 </packing>
2876               </child>
2877             </widget>
2878             <packing>
2879               <property name="tab_expand">False</property>
2880               <property name="tab_fill">True</property>
2881             </packing>
2882           </child>
2883
2884           <child>
2885             <widget class="GtkLabel" id="label31">
2886               <property name="visible">True</property>
2887               <property name="label" translatable="yes">Desktops</property>
2888               <property name="use_underline">False</property>
2889               <property name="use_markup">False</property>
2890               <property name="justify">GTK_JUSTIFY_LEFT</property>
2891               <property name="wrap">False</property>
2892               <property name="selectable">False</property>
2893               <property name="xalign">0.5</property>
2894               <property name="yalign">0.5</property>
2895               <property name="xpad">0</property>
2896               <property name="ypad">0</property>
2897               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2898               <property name="width_chars">-1</property>
2899               <property name="single_line_mode">False</property>
2900               <property name="angle">0</property>
2901             </widget>
2902             <packing>
2903               <property name="type">tab</property>
2904             </packing>
2905           </child>
2906
2907           <child>
2908             <widget class="GtkVBox" id="vbox71">
2909               <property name="border_width">12</property>
2910               <property name="visible">True</property>
2911               <property name="homogeneous">False</property>
2912               <property name="spacing">6</property>
2913
2914               <child>
2915                 <widget class="GtkLabel" id="label173">
2916                   <property name="visible">True</property>
2917                   <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Desktop Margins&lt;/span&gt;</property>
2918                   <property name="use_underline">False</property>
2919                   <property name="use_markup">True</property>
2920                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2921                   <property name="wrap">False</property>
2922                   <property name="selectable">False</property>
2923                   <property name="xalign">0</property>
2924                   <property name="yalign">0.5</property>
2925                   <property name="xpad">0</property>
2926                   <property name="ypad">0</property>
2927                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2928                   <property name="width_chars">-1</property>
2929                   <property name="single_line_mode">False</property>
2930                   <property name="angle">0</property>
2931                 </widget>
2932                 <packing>
2933                   <property name="padding">0</property>
2934                   <property name="expand">False</property>
2935                   <property name="fill">False</property>
2936                 </packing>
2937               </child>
2938
2939               <child>
2940                 <widget class="GtkHBox" id="hbox94">
2941                   <property name="visible">True</property>
2942                   <property name="homogeneous">False</property>
2943                   <property name="spacing">0</property>
2944
2945                   <child>
2946                     <widget class="GtkLabel" id="label174">
2947                       <property name="visible">True</property>
2948                       <property name="label">    </property>
2949                       <property name="use_underline">False</property>
2950                       <property name="use_markup">False</property>
2951                       <property name="justify">GTK_JUSTIFY_LEFT</property>
2952                       <property name="wrap">False</property>
2953                       <property name="selectable">False</property>
2954                       <property name="xalign">0.5</property>
2955                       <property name="yalign">0.5</property>
2956                       <property name="xpad">0</property>
2957                       <property name="ypad">0</property>
2958                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2959                       <property name="width_chars">-1</property>
2960                       <property name="single_line_mode">False</property>
2961                       <property name="angle">0</property>
2962                     </widget>
2963                     <packing>
2964                       <property name="padding">0</property>
2965                       <property name="expand">False</property>
2966                       <property name="fill">False</property>
2967                     </packing>
2968                   </child>
2969
2970                   <child>
2971                     <widget class="GtkVBox" id="vbox72">
2972                       <property name="visible">True</property>
2973                       <property name="homogeneous">False</property>
2974                       <property name="spacing">6</property>
2975
2976                       <child>
2977                         <widget class="GtkLabel" id="label212">
2978                           <property name="visible">True</property>
2979                           <property name="label" translatable="yes">Desktop margins are reserved areas on the edge of your screen.  New windows will not be placed within a margin, and maximized windows will not cover them.</property>
2980                           <property name="use_underline">False</property>
2981                           <property name="use_markup">False</property>
2982                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2983                           <property name="wrap">True</property>
2984                           <property name="selectable">False</property>
2985                           <property name="xalign">0</property>
2986                           <property name="yalign">0</property>
2987                           <property name="xpad">0</property>
2988                           <property name="ypad">0</property>
2989                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2990                           <property name="width_chars">-1</property>
2991                           <property name="single_line_mode">False</property>
2992                           <property name="angle">0</property>
2993                         </widget>
2994                         <packing>
2995                           <property name="padding">0</property>
2996                           <property name="expand">False</property>
2997                           <property name="fill">False</property>
2998                         </packing>
2999                       </child>
3000
3001                       <child>
3002                         <widget class="GtkHBox" id="hbox98">
3003                           <property name="visible">True</property>
3004                           <property name="homogeneous">False</property>
3005                           <property name="spacing">0</property>
3006
3007                           <child>
3008                             <widget class="GtkLabel" id="label209">
3009                               <property name="visible">True</property>
3010                               <property name="label" translatable="yes"></property>
3011                               <property name="use_underline">False</property>
3012                               <property name="use_markup">False</property>
3013                               <property name="justify">GTK_JUSTIFY_LEFT</property>
3014                               <property name="wrap">False</property>
3015                               <property name="selectable">False</property>
3016                               <property name="xalign">0.5</property>
3017                               <property name="yalign">0.5</property>
3018                               <property name="xpad">0</property>
3019                               <property name="ypad">0</property>
3020                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3021                               <property name="width_chars">-1</property>
3022                               <property name="single_line_mode">False</property>
3023                               <property name="angle">0</property>
3024                             </widget>
3025                             <packing>
3026                               <property name="padding">0</property>
3027                               <property name="expand">True</property>
3028                               <property name="fill">True</property>
3029                             </packing>
3030                           </child>
3031
3032                           <child>
3033                             <widget class="GtkVBox" id="vbox77">
3034                               <property name="visible">True</property>
3035                               <property name="homogeneous">False</property>
3036                               <property name="spacing">0</property>
3037
3038                               <child>
3039                                 <widget class="GtkLabel" id="label210">
3040                                   <property name="visible">True</property>
3041                                   <property name="label" translatable="yes"></property>
3042                                   <property name="use_underline">False</property>
3043                                   <property name="use_markup">False</property>
3044                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
3045                                   <property name="wrap">False</property>
3046                                   <property name="selectable">False</property>
3047                                   <property name="xalign">0.5</property>
3048                                   <property name="yalign">0.5</property>
3049                                   <property name="xpad">0</property>
3050                                   <property name="ypad">0</property>
3051                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3052                                   <property name="width_chars">-1</property>
3053                                   <property name="single_line_mode">False</property>
3054                                   <property name="angle">0</property>
3055                                 </widget>
3056                                 <packing>
3057                                   <property name="padding">0</property>
3058                                   <property name="expand">True</property>
3059                                   <property name="fill">True</property>
3060                                 </packing>
3061                               </child>
3062
3063                               <child>
3064                                 <widget class="GtkVBox" id="vbox75">
3065                                   <property name="visible">True</property>
3066                                   <property name="homogeneous">False</property>
3067                                   <property name="spacing">0</property>
3068
3069                                   <child>
3070                                     <widget class="GtkLabel" id="label195">
3071                                       <property name="visible">True</property>
3072                                       <property name="label" translatable="yes">_Top</property>
3073                                       <property name="use_underline">True</property>
3074                                       <property name="use_markup">False</property>
3075                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
3076                                       <property name="wrap">False</property>
3077                                       <property name="selectable">False</property>
3078                                       <property name="xalign">0.5</property>
3079                                       <property name="yalign">0.5</property>
3080                                       <property name="xpad">0</property>
3081                                       <property name="ypad">4</property>
3082                                       <property name="mnemonic_widget">margins_top</property>
3083                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3084                                       <property name="width_chars">-1</property>
3085                                       <property name="single_line_mode">False</property>
3086                                       <property name="angle">0</property>
3087                                     </widget>
3088                                     <packing>
3089                                       <property name="padding">0</property>
3090                                       <property name="expand">False</property>
3091                                       <property name="fill">True</property>
3092                                     </packing>
3093                                   </child>
3094
3095                                   <child>
3096                                     <widget class="GtkHBox" id="hbox101">
3097                                       <property name="visible">True</property>
3098                                       <property name="homogeneous">False</property>
3099                                       <property name="spacing">6</property>
3100
3101                                       <child>
3102                                         <widget class="GtkLabel" id="label196">
3103                                           <property name="visible">True</property>
3104                                           <property name="label" translatable="yes"></property>
3105                                           <property name="use_underline">False</property>
3106                                           <property name="use_markup">False</property>
3107                                           <property name="justify">GTK_JUSTIFY_LEFT</property>
3108                                           <property name="wrap">False</property>
3109                                           <property name="selectable">False</property>
3110                                           <property name="xalign">0.5</property>
3111                                           <property name="yalign">0.5</property>
3112                                           <property name="xpad">0</property>
3113                                           <property name="ypad">0</property>
3114                                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3115                                           <property name="width_chars">-1</property>
3116                                           <property name="single_line_mode">False</property>
3117                                           <property name="angle">0</property>
3118                                         </widget>
3119                                         <packing>
3120                                           <property name="padding">0</property>
3121                                           <property name="expand">True</property>
3122                                           <property name="fill">True</property>
3123                                         </packing>
3124                                       </child>
3125
3126                                       <child>
3127                                         <widget class="GtkSpinButton" id="margins_top">
3128                                           <property name="visible">True</property>
3129                                           <property name="can_focus">True</property>
3130                                           <property name="climb_rate">1</property>
3131                                           <property name="digits">0</property>
3132                                           <property name="numeric">True</property>
3133                                           <property name="update_policy">GTK_UPDATE_ALWAYS</property>
3134                                           <property name="snap_to_ticks">False</property>
3135                                           <property name="wrap">False</property>
3136                                           <property name="adjustment">20 0 100 1 10 10</property>
3137                                           <signal name="value_changed" handler="on_margins_top_value_changed" after="yes" last_modification_time="Thu, 19 Jul 2007 23:50:09 GMT"/>
3138                                         </widget>
3139                                         <packing>
3140                                           <property name="padding">0</property>
3141                                           <property name="expand">False</property>
3142                                           <property name="fill">False</property>
3143                                         </packing>
3144                                       </child>
3145
3146                                       <child>
3147                                         <widget class="GtkLabel" id="label197">
3148                                           <property name="visible">True</property>
3149                                           <property name="label" translatable="yes">px</property>
3150                                           <property name="use_underline">False</property>
3151                                           <property name="use_markup">False</property>
3152                                           <property name="justify">GTK_JUSTIFY_LEFT</property>
3153                                           <property name="wrap">False</property>
3154                                           <property name="selectable">False</property>
3155                                           <property name="xalign">0.5</property>
3156                                           <property name="yalign">0.5</property>
3157                                           <property name="xpad">0</property>
3158                                           <property name="ypad">0</property>
3159                                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3160                                           <property name="width_chars">-1</property>
3161                                           <property name="single_line_mode">False</property>
3162                                           <property name="angle">0</property>
3163                                         </widget>
3164                                         <packing>
3165                                           <property name="padding">0</property>
3166                                           <property name="expand">False</property>
3167                                           <property name="fill">False</property>
3168                                         </packing>
3169                                       </child>
3170
3171                                       <child>
3172                                         <widget class="GtkLabel" id="label198">
3173                                           <property name="visible">True</property>
3174                                           <property name="label" translatable="yes"></property>
3175                                           <property name="use_underline">False</property>
3176                                           <property name="use_markup">False</property>
3177                                           <property name="justify">GTK_JUSTIFY_LEFT</property>
3178                                           <property name="wrap">False</property>
3179                                           <property name="selectable">False</property>
3180                                           <property name="xalign">0.5</property>
3181                                           <property name="yalign">0.5</property>
3182                                           <property name="xpad">0</property>
3183                                           <property name="ypad">0</property>
3184                                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3185                                           <property name="width_chars">-1</property>
3186                                           <property name="single_line_mode">False</property>
3187                                           <property name="angle">0</property>
3188                                         </widget>
3189                                         <packing>
3190                                           <property name="padding">0</property>
3191                                           <property name="expand">True</property>
3192                                           <property name="fill">True</property>
3193                                         </packing>
3194                                       </child>
3195                                     </widget>
3196                                     <packing>
3197                                       <property name="padding">0</property>
3198                                       <property name="expand">False</property>
3199                                       <property name="fill">True</property>
3200                                     </packing>
3201                                   </child>
3202                                 </widget>
3203                                 <packing>
3204                                   <property name="padding">0</property>
3205                                   <property name="expand">False</property>
3206                                   <property name="fill">True</property>
3207                                 </packing>
3208                               </child>
3209                             </widget>
3210                             <packing>
3211                               <property name="padding">0</property>
3212                               <property name="expand">True</property>
3213                               <property name="fill">True</property>
3214                             </packing>
3215                           </child>
3216
3217                           <child>
3218                             <widget class="GtkLabel" id="label208">
3219                               <property name="visible">True</property>
3220                               <property name="label" translatable="yes"></property>
3221                               <property name="use_underline">False</property>
3222                               <property name="use_markup">False</property>
3223                               <property name="justify">GTK_JUSTIFY_LEFT</property>
3224                               <property name="wrap">False</property>
3225                               <property name="selectable">False</property>
3226                               <property name="xalign">0.5</property>
3227                               <property name="yalign">0.5</property>
3228                               <property name="xpad">0</property>
3229                               <property name="ypad">0</property>
3230                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3231                               <property name="width_chars">-1</property>
3232                               <property name="single_line_mode">False</property>
3233                               <property name="angle">0</property>
3234                             </widget>
3235                             <packing>
3236                               <property name="padding">0</property>
3237                               <property name="expand">True</property>
3238                               <property name="fill">True</property>
3239                             </packing>
3240                           </child>
3241                         </widget>
3242                         <packing>
3243                           <property name="padding">0</property>
3244                           <property name="expand">True</property>
3245                           <property name="fill">True</property>
3246                         </packing>
3247                       </child>
3248
3249                       <child>
3250                         <widget class="GtkHBox" id="hbox95">
3251                           <property name="visible">True</property>
3252                           <property name="homogeneous">False</property>
3253                           <property name="spacing">0</property>
3254
3255                           <child>
3256                             <widget class="GtkLabel" id="label179">
3257                               <property name="visible">True</property>
3258                               <property name="label" translatable="yes"></property>
3259                               <property name="use_underline">False</property>
3260                               <property name="use_markup">False</property>
3261                               <property name="justify">GTK_JUSTIFY_LEFT</property>
3262                               <property name="wrap">False</property>
3263                               <property name="selectable">False</property>
3264                               <property name="xalign">0.5</property>
3265                               <property name="yalign">0.5</property>
3266                               <property name="xpad">0</property>
3267                               <property name="ypad">0</property>
3268                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3269                               <property name="width_chars">-1</property>
3270                               <property name="single_line_mode">False</property>
3271                               <property name="angle">0</property>
3272                             </widget>
3273                             <packing>
3274                               <property name="padding">0</property>
3275                               <property name="expand">True</property>
3276                               <property name="fill">True</property>
3277                             </packing>
3278                           </child>
3279
3280                           <child>
3281                             <widget class="GtkVBox" id="vbox73">
3282                               <property name="visible">True</property>
3283                               <property name="homogeneous">False</property>
3284                               <property name="spacing">0</property>
3285
3286                               <child>
3287                                 <widget class="GtkLabel" id="label181">
3288                                   <property name="visible">True</property>
3289                                   <property name="label" translatable="yes"></property>
3290                                   <property name="use_underline">False</property>
3291                                   <property name="use_markup">False</property>
3292                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
3293                                   <property name="wrap">False</property>
3294                                   <property name="selectable">False</property>
3295                                   <property name="xalign">0.5</property>
3296                                   <property name="yalign">0.5</property>
3297                                   <property name="xpad">0</property>
3298                                   <property name="ypad">0</property>
3299                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3300                                   <property name="width_chars">-1</property>
3301                                   <property name="single_line_mode">False</property>
3302                                   <property name="angle">0</property>
3303                                 </widget>
3304                                 <packing>
3305                                   <property name="padding">0</property>
3306                                   <property name="expand">True</property>
3307                                   <property name="fill">True</property>
3308                                 </packing>
3309                               </child>
3310
3311                               <child>
3312                                 <widget class="GtkLabel" id="label176">
3313                                   <property name="visible">True</property>
3314                                   <property name="label" translatable="yes">_Left</property>
3315                                   <property name="use_underline">True</property>
3316                                   <property name="use_markup">False</property>
3317                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
3318                                   <property name="wrap">False</property>
3319                                   <property name="selectable">False</property>
3320                                   <property name="xalign">0.5</property>
3321                                   <property name="yalign">0.5</property>
3322                                   <property name="xpad">0</property>
3323                                   <property name="ypad">4</property>
3324                                   <property name="mnemonic_widget">margins_left</property>
3325                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3326                                   <property name="width_chars">-1</property>
3327                                   <property name="single_line_mode">False</property>
3328                                   <property name="angle">0</property>
3329                                 </widget>
3330                                 <packing>
3331                                   <property name="padding">0</property>
3332                                   <property name="expand">False</property>
3333                                   <property name="fill">True</property>
3334                                 </packing>
3335                               </child>
3336
3337                               <child>
3338                                 <widget class="GtkHBox" id="hbox96">
3339                                   <property name="visible">True</property>
3340                                   <property name="homogeneous">False</property>
3341                                   <property name="spacing">6</property>
3342
3343                                   <child>
3344                                     <widget class="GtkLabel" id="label186">
3345                                       <property name="visible">True</property>
3346                                       <property name="label" translatable="yes"></property>
3347                                       <property name="use_underline">False</property>
3348                                       <property name="use_markup">False</property>
3349                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
3350                                       <property name="wrap">False</property>
3351                                       <property name="selectable">False</property>
3352                                       <property name="xalign">0.5</property>
3353                                       <property name="yalign">0.5</property>
3354                                       <property name="xpad">0</property>
3355                                       <property name="ypad">0</property>
3356                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3357                                       <property name="width_chars">-1</property>
3358                                       <property name="single_line_mode">False</property>
3359                                       <property name="angle">0</property>
3360                                     </widget>
3361                                     <packing>
3362                                       <property name="padding">0</property>
3363                                       <property name="expand">True</property>
3364                                       <property name="fill">True</property>
3365                                     </packing>
3366                                   </child>
3367
3368                                   <child>
3369                                     <widget class="GtkSpinButton" id="margins_left">
3370                                       <property name="visible">True</property>
3371                                       <property name="can_focus">True</property>
3372                                       <property name="climb_rate">1</property>
3373                                       <property name="digits">0</property>
3374                                       <property name="numeric">True</property>
3375                                       <property name="update_policy">GTK_UPDATE_ALWAYS</property>
3376                                       <property name="snap_to_ticks">False</property>
3377                                       <property name="wrap">False</property>
3378                                       <property name="adjustment">20 0 100 1 10 10</property>
3379                                       <signal name="value_changed" handler="on_margins_left_value_changed" after="yes" last_modification_time="Thu, 19 Jul 2007 23:50:31 GMT"/>
3380                                     </widget>
3381                                     <packing>
3382                                       <property name="padding">0</property>
3383                                       <property name="expand">False</property>
3384                                       <property name="fill">False</property>
3385                                     </packing>
3386                                   </child>
3387
3388                                   <child>
3389                                     <widget class="GtkLabel" id="label178">
3390                                       <property name="visible">True</property>
3391                                       <property name="label" translatable="yes">px</property>
3392                                       <property name="use_underline">False</property>
3393                                       <property name="use_markup">False</property>
3394                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
3395                                       <property name="wrap">False</property>
3396                                       <property name="selectable">False</property>
3397                                       <property name="xalign">0.5</property>
3398                                       <property name="yalign">0.5</property>
3399                                       <property name="xpad">0</property>
3400                                       <property name="ypad">0</property>
3401                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3402                                       <property name="width_chars">-1</property>
3403                                       <property name="single_line_mode">False</property>
3404                                       <property name="angle">0</property>
3405                                     </widget>
3406                                     <packing>
3407                                       <property name="padding">0</property>
3408                                       <property name="expand">False</property>
3409                                       <property name="fill">False</property>
3410                                     </packing>
3411                                   </child>
3412
3413                                   <child>
3414                                     <widget class="GtkLabel" id="label187">
3415                                       <property name="visible">True</property>
3416                                       <property name="label" translatable="yes"></property>
3417                                       <property name="use_underline">False</property>
3418                                       <property name="use_markup">False</property>
3419                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
3420                                       <property name="wrap">False</property>
3421                                       <property name="selectable">False</property>
3422                                       <property name="xalign">0.5</property>
3423                                       <property name="yalign">0.5</property>
3424                                       <property name="xpad">0</property>
3425                                       <property name="ypad">0</property>
3426                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3427                                       <property name="width_chars">-1</property>
3428                                       <property name="single_line_mode">False</property>
3429                                       <property name="angle">0</property>
3430                                     </widget>
3431                                     <packing>
3432                                       <property name="padding">0</property>
3433                                       <property name="expand">True</property>
3434                                       <property name="fill">True</property>
3435                                     </packing>
3436                                   </child>
3437                                 </widget>
3438                                 <packing>
3439                                   <property name="padding">0</property>
3440                                   <property name="expand">False</property>
3441                                   <property name="fill">True</property>
3442                                 </packing>
3443                               </child>
3444
3445                               <child>
3446                                 <widget class="GtkLabel" id="label182">
3447                                   <property name="visible">True</property>
3448                                   <property name="label" translatable="yes"></property>
3449                                   <property name="use_underline">False</property>
3450                                   <property name="use_markup">False</property>
3451                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
3452                                   <property name="wrap">False</property>
3453                                   <property name="selectable">False</property>
3454                                   <property name="xalign">0.5</property>
3455                                   <property name="yalign">0.5</property>
3456                                   <property name="xpad">0</property>
3457                                   <property name="ypad">0</property>
3458                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3459                                   <property name="width_chars">-1</property>
3460                                   <property name="single_line_mode">False</property>
3461                                   <property name="angle">0</property>
3462                                 </widget>
3463                                 <packing>
3464                                   <property name="padding">0</property>
3465                                   <property name="expand">True</property>
3466                                   <property name="fill">True</property>
3467                                 </packing>
3468                               </child>
3469                             </widget>
3470                             <packing>
3471                               <property name="padding">0</property>
3472                               <property name="expand">False</property>
3473                               <property name="fill">True</property>
3474                             </packing>
3475                           </child>
3476
3477                           <child>
3478                             <widget class="GtkImage" id="image3">
3479                               <property name="visible">True</property>
3480                               <property name="pixbuf">video-display.png</property>
3481                               <property name="xalign">0.5</property>
3482                               <property name="yalign">0.5</property>
3483                               <property name="xpad">0</property>
3484                               <property name="ypad">0</property>
3485                             </widget>
3486                             <packing>
3487                               <property name="padding">0</property>
3488                               <property name="expand">False</property>
3489                               <property name="fill">False</property>
3490                             </packing>
3491                           </child>
3492
3493                           <child>
3494                             <widget class="GtkVBox" id="vbox74">
3495                               <property name="visible">True</property>
3496                               <property name="homogeneous">False</property>
3497                               <property name="spacing">0</property>
3498
3499                               <child>
3500                                 <widget class="GtkLabel" id="label188">
3501                                   <property name="visible">True</property>
3502                                   <property name="label" translatable="yes"></property>
3503                                   <property name="use_underline">False</property>
3504                                   <property name="use_markup">False</property>
3505                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
3506                                   <property name="wrap">False</property>
3507                                   <property name="selectable">False</property>
3508                                   <property name="xalign">0.5</property>
3509                                   <property name="yalign">0.5</property>
3510                                   <property name="xpad">0</property>
3511                                   <property name="ypad">0</property>
3512                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3513                                   <property name="width_chars">-1</property>
3514                                   <property name="single_line_mode">False</property>
3515                                   <property name="angle">0</property>
3516                                 </widget>
3517                                 <packing>
3518                                   <property name="padding">0</property>
3519                                   <property name="expand">True</property>
3520                                   <property name="fill">True</property>
3521                                 </packing>
3522                               </child>
3523
3524                               <child>
3525                                 <widget class="GtkLabel" id="label189">
3526                                   <property name="visible">True</property>
3527                                   <property name="label" translatable="yes">_Right</property>
3528                                   <property name="use_underline">True</property>
3529                                   <property name="use_markup">False</property>
3530                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
3531                                   <property name="wrap">False</property>
3532                                   <property name="selectable">False</property>
3533                                   <property name="xalign">0.5</property>
3534                                   <property name="yalign">0.5</property>
3535                                   <property name="xpad">0</property>
3536                                   <property name="ypad">4</property>
3537                                   <property name="mnemonic_widget">margins_right</property>
3538                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3539                                   <property name="width_chars">-1</property>
3540                                   <property name="single_line_mode">False</property>
3541                                   <property name="angle">0</property>
3542                                 </widget>
3543                                 <packing>
3544                                   <property name="padding">0</property>
3545                                   <property name="expand">False</property>
3546                                   <property name="fill">True</property>
3547                                 </packing>
3548                               </child>
3549
3550                               <child>
3551                                 <widget class="GtkHBox" id="hbox97">
3552                                   <property name="visible">True</property>
3553                                   <property name="homogeneous">False</property>
3554                                   <property name="spacing">6</property>
3555
3556                                   <child>
3557                                     <widget class="GtkLabel" id="label190">
3558                                       <property name="visible">True</property>
3559                                       <property name="label" translatable="yes"></property>
3560                                       <property name="use_underline">False</property>
3561                                       <property name="use_markup">False</property>
3562                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
3563                                       <property name="wrap">False</property>
3564                                       <property name="selectable">False</property>
3565                                       <property name="xalign">0.5</property>
3566                                       <property name="yalign">0.5</property>
3567                                       <property name="xpad">0</property>
3568                                       <property name="ypad">0</property>
3569                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3570                                       <property name="width_chars">-1</property>
3571                                       <property name="single_line_mode">False</property>
3572                                       <property name="angle">0</property>
3573                                     </widget>
3574                                     <packing>
3575                                       <property name="padding">0</property>
3576                                       <property name="expand">True</property>
3577                                       <property name="fill">True</property>
3578                                     </packing>
3579                                   </child>
3580
3581                                   <child>
3582                                     <widget class="GtkSpinButton" id="margins_right">
3583                                       <property name="visible">True</property>
3584                                       <property name="can_focus">True</property>
3585                                       <property name="climb_rate">1</property>
3586                                       <property name="digits">0</property>
3587                                       <property name="numeric">True</property>
3588                                       <property name="update_policy">GTK_UPDATE_ALWAYS</property>
3589                                       <property name="snap_to_ticks">False</property>
3590                                       <property name="wrap">False</property>
3591                                       <property name="adjustment">20 0 100 1 10 10</property>
3592                                       <signal name="value_changed" handler="on_margins_right_value_changed" after="yes" last_modification_time="Thu, 19 Jul 2007 23:50:41 GMT"/>
3593                                     </widget>
3594                                     <packing>
3595                                       <property name="padding">0</property>
3596                                       <property name="expand">False</property>
3597                                       <property name="fill">False</property>
3598                                     </packing>
3599                                   </child>
3600
3601                                   <child>
3602                                     <widget class="GtkLabel" id="label191">
3603                                       <property name="visible">True</property>
3604                                       <property name="label" translatable="yes">px</property>
3605                                       <property name="use_underline">False</property>
3606                                       <property name="use_markup">False</property>
3607                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
3608                                       <property name="wrap">False</property>
3609                                       <property name="selectable">False</property>
3610                                       <property name="xalign">0.5</property>
3611                                       <property name="yalign">0.5</property>
3612                                       <property name="xpad">0</property>
3613                                       <property name="ypad">0</property>
3614                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3615                                       <property name="width_chars">-1</property>
3616                                       <property name="single_line_mode">False</property>
3617                                       <property name="angle">0</property>
3618                                     </widget>
3619                                     <packing>
3620                                       <property name="padding">0</property>
3621                                       <property name="expand">False</property>
3622                                       <property name="fill">False</property>
3623                                     </packing>
3624                                   </child>
3625
3626                                   <child>
3627                                     <widget class="GtkLabel" id="label192">
3628                                       <property name="visible">True</property>
3629                                       <property name="label" translatable="yes"></property>
3630                                       <property name="use_underline">False</property>
3631                                       <property name="use_markup">False</property>
3632                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
3633                                       <property name="wrap">False</property>
3634                                       <property name="selectable">False</property>
3635                                       <property name="xalign">0.5</property>
3636                                       <property name="yalign">0.5</property>
3637                                       <property name="xpad">0</property>
3638                                       <property name="ypad">0</property>
3639                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3640                                       <property name="width_chars">-1</property>
3641                                       <property name="single_line_mode">False</property>
3642                                       <property name="angle">0</property>
3643                                     </widget>
3644                                     <packing>
3645                                       <property name="padding">0</property>
3646                                       <property name="expand">True</property>
3647                                       <property name="fill">True</property>
3648                                     </packing>
3649                                   </child>
3650                                 </widget>
3651                                 <packing>
3652                                   <property name="padding">0</property>
3653                                   <property name="expand">False</property>
3654                                   <property name="fill">True</property>
3655                                 </packing>
3656                               </child>
3657
3658                               <child>
3659                                 <widget class="GtkLabel" id="label193">
3660                                   <property name="visible">True</property>
3661                                   <property name="label" translatable="yes"></property>
3662                                   <property name="use_underline">False</property>
3663                                   <property name="use_markup">False</property>
3664                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
3665                                   <property name="wrap">False</property>
3666                                   <property name="selectable">False</property>
3667                                   <property name="xalign">0.5</property>
3668                                   <property name="yalign">0.5</property>
3669                                   <property name="xpad">0</property>
3670                                   <property name="ypad">0</property>
3671                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3672                                   <property name="width_chars">-1</property>
3673                                   <property name="single_line_mode">False</property>
3674                                   <property name="angle">0</property>
3675                                 </widget>
3676                                 <packing>
3677                                   <property name="padding">0</property>
3678                                   <property name="expand">True</property>
3679                                   <property name="fill">True</property>
3680                                 </packing>
3681                               </child>
3682                             </widget>
3683                             <packing>
3684                               <property name="padding">0</property>
3685                               <property name="expand">False</property>
3686                               <property name="fill">True</property>
3687                             </packing>
3688                           </child>
3689
3690                           <child>
3691                             <widget class="GtkLabel" id="label180">
3692                               <property name="visible">True</property>
3693                               <property name="label" translatable="yes"></property>
3694                               <property name="use_underline">False</property>
3695                               <property name="use_markup">False</property>
3696                               <property name="justify">GTK_JUSTIFY_LEFT</property>
3697                               <property name="wrap">False</property>
3698                               <property name="selectable">False</property>
3699                               <property name="xalign">0.5</property>
3700                               <property name="yalign">0.5</property>
3701                               <property name="xpad">0</property>
3702                               <property name="ypad">0</property>
3703                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3704                               <property name="width_chars">-1</property>
3705                               <property name="single_line_mode">False</property>
3706                               <property name="angle">0</property>
3707                             </widget>
3708                             <packing>
3709                               <property name="padding">0</property>
3710                               <property name="expand">True</property>
3711                               <property name="fill">True</property>
3712                             </packing>
3713                           </child>
3714                         </widget>
3715                         <packing>
3716                           <property name="padding">0</property>
3717                           <property name="expand">True</property>
3718                           <property name="fill">True</property>
3719                         </packing>
3720                       </child>
3721
3722                       <child>
3723                         <widget class="GtkHBox" id="hbox100">
3724                           <property name="visible">True</property>
3725                           <property name="homogeneous">False</property>
3726                           <property name="spacing">0</property>
3727
3728                           <child>
3729                             <widget class="GtkLabel" id="label206">
3730                               <property name="visible">True</property>
3731                               <property name="label" translatable="yes"></property>
3732                               <property name="use_underline">False</property>
3733                               <property name="use_markup">False</property>
3734                               <property name="justify">GTK_JUSTIFY_LEFT</property>
3735                               <property name="wrap">False</property>
3736                               <property name="selectable">False</property>
3737                               <property name="xalign">0.5</property>
3738                               <property name="yalign">0.5</property>
3739                               <property name="xpad">0</property>
3740                               <property name="ypad">0</property>
3741                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3742                               <property name="width_chars">-1</property>
3743                               <property name="single_line_mode">False</property>
3744                               <property name="angle">0</property>
3745                             </widget>
3746                             <packing>
3747                               <property name="padding">0</property>
3748                               <property name="expand">True</property>
3749                               <property name="fill">True</property>
3750                             </packing>
3751                           </child>
3752
3753                           <child>
3754                             <widget class="GtkVBox" id="vbox76">
3755                               <property name="visible">True</property>
3756                               <property name="homogeneous">False</property>
3757                               <property name="spacing">0</property>
3758
3759                               <child>
3760                                 <widget class="GtkLabel" id="label201">
3761                                   <property name="visible">True</property>
3762                                   <property name="label" translatable="yes">_Bottom</property>
3763                                   <property name="use_underline">True</property>
3764                                   <property name="use_markup">False</property>
3765                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
3766                                   <property name="wrap">False</property>
3767                                   <property name="selectable">False</property>
3768                                   <property name="xalign">0.5</property>
3769                                   <property name="yalign">0.5</property>
3770                                   <property name="xpad">0</property>
3771                                   <property name="ypad">4</property>
3772                                   <property name="mnemonic_widget">margins_bottom</property>
3773                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3774                                   <property name="width_chars">-1</property>
3775                                   <property name="single_line_mode">False</property>
3776                                   <property name="angle">0</property>
3777                                 </widget>
3778                                 <packing>
3779                                   <property name="padding">0</property>
3780                                   <property name="expand">False</property>
3781                                   <property name="fill">True</property>
3782                                 </packing>
3783                               </child>
3784
3785                               <child>
3786                                 <widget class="GtkHBox" id="hbox102">
3787                                   <property name="visible">True</property>
3788                                   <property name="homogeneous">False</property>
3789                                   <property name="spacing">6</property>
3790
3791                                   <child>
3792                                     <widget class="GtkLabel" id="label202">
3793                                       <property name="visible">True</property>
3794                                       <property name="label" translatable="yes"></property>
3795                                       <property name="use_underline">False</property>
3796                                       <property name="use_markup">False</property>
3797                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
3798                                       <property name="wrap">False</property>
3799                                       <property name="selectable">False</property>
3800                                       <property name="xalign">0.5</property>
3801                                       <property name="yalign">0.5</property>
3802                                       <property name="xpad">0</property>
3803                                       <property name="ypad">0</property>
3804                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3805                                       <property name="width_chars">-1</property>
3806                                       <property name="single_line_mode">False</property>
3807                                       <property name="angle">0</property>
3808                                     </widget>
3809                                     <packing>
3810                                       <property name="padding">0</property>
3811                                       <property name="expand">True</property>
3812                                       <property name="fill">True</property>
3813                                     </packing>
3814                                   </child>
3815
3816                                   <child>
3817                                     <widget class="GtkSpinButton" id="margins_bottom">
3818                                       <property name="visible">True</property>
3819                                       <property name="can_focus">True</property>
3820                                       <property name="climb_rate">1</property>
3821                                       <property name="digits">0</property>
3822                                       <property name="numeric">True</property>
3823                                       <property name="update_policy">GTK_UPDATE_ALWAYS</property>
3824                                       <property name="snap_to_ticks">False</property>
3825                                       <property name="wrap">False</property>
3826                                       <property name="adjustment">20 0 100 1 10 10</property>
3827                                       <signal name="value_changed" handler="on_margins_bottom_value_changed" after="yes" last_modification_time="Thu, 19 Jul 2007 23:50:59 GMT"/>
3828                                     </widget>
3829                                     <packing>
3830                                       <property name="padding">0</property>
3831                                       <property name="expand">False</property>
3832                                       <property name="fill">False</property>
3833                                     </packing>
3834                                   </child>
3835
3836                                   <child>
3837                                     <widget class="GtkLabel" id="label203">
3838                                       <property name="visible">True</property>
3839                                       <property name="label" translatable="yes">px</property>
3840                                       <property name="use_underline">False</property>
3841                                       <property name="use_markup">False</property>
3842                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
3843                                       <property name="wrap">False</property>
3844                                       <property name="selectable">False</property>
3845                                       <property name="xalign">0.5</property>
3846                                       <property name="yalign">0.5</property>
3847                                       <property name="xpad">0</property>
3848                                       <property name="ypad">0</property>
3849                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3850                                       <property name="width_chars">-1</property>
3851                                       <property name="single_line_mode">False</property>
3852                                       <property name="angle">0</property>
3853                                     </widget>
3854                                     <packing>
3855                                       <property name="padding">0</property>
3856                                       <property name="expand">False</property>
3857                                       <property name="fill">False</property>
3858                                     </packing>
3859                                   </child>
3860
3861                                   <child>
3862                                     <widget class="GtkLabel" id="label204">
3863                                       <property name="visible">True</property>
3864                                       <property name="label" translatable="yes"></property>
3865                                       <property name="use_underline">False</property>
3866                                       <property name="use_markup">False</property>
3867                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
3868                                       <property name="wrap">False</property>
3869                                       <property name="selectable">False</property>
3870                                       <property name="xalign">0.5</property>
3871                                       <property name="yalign">0.5</property>
3872                                       <property name="xpad">0</property>
3873                                       <property name="ypad">0</property>
3874                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3875                                       <property name="width_chars">-1</property>
3876                                       <property name="single_line_mode">False</property>
3877                                       <property name="angle">0</property>
3878                                     </widget>
3879                                     <packing>
3880                                       <property name="padding">0</property>
3881                                       <property name="expand">True</property>
3882                                       <property name="fill">True</property>
3883                                     </packing>
3884                                   </child>
3885                                 </widget>
3886                                 <packing>
3887                                   <property name="padding">0</property>
3888                                   <property name="expand">False</property>
3889                                   <property name="fill">True</property>
3890                                 </packing>
3891                               </child>
3892
3893                               <child>
3894                                 <widget class="GtkLabel" id="label205">
3895                                   <property name="visible">True</property>
3896                                   <property name="label" translatable="yes"></property>
3897                                   <property name="use_underline">False</property>
3898                                   <property name="use_markup">False</property>
3899                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
3900                                   <property name="wrap">False</property>
3901                                   <property name="selectable">False</property>
3902                                   <property name="xalign">0.5</property>
3903                                   <property name="yalign">0.5</property>
3904                                   <property name="xpad">0</property>
3905                                   <property name="ypad">0</property>
3906                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3907                                   <property name="width_chars">-1</property>
3908                                   <property name="single_line_mode">False</property>
3909                                   <property name="angle">0</property>
3910                                 </widget>
3911                                 <packing>
3912                                   <property name="padding">0</property>
3913                                   <property name="expand">True</property>
3914                                   <property name="fill">True</property>
3915                                 </packing>
3916                               </child>
3917                             </widget>
3918                             <packing>
3919                               <property name="padding">0</property>
3920                               <property name="expand">False</property>
3921                               <property name="fill">True</property>
3922                             </packing>
3923                           </child>
3924
3925                           <child>
3926                             <widget class="GtkLabel" id="label207">
3927                               <property name="visible">True</property>
3928                               <property name="label" translatable="yes"></property>
3929                               <property name="use_underline">False</property>
3930                               <property name="use_markup">False</property>
3931                               <property name="justify">GTK_JUSTIFY_LEFT</property>
3932                               <property name="wrap">False</property>
3933                               <property name="selectable">False</property>
3934                               <property name="xalign">0.5</property>
3935                               <property name="yalign">0.5</property>
3936                               <property name="xpad">0</property>
3937                               <property name="ypad">0</property>
3938                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3939                               <property name="width_chars">-1</property>
3940                               <property name="single_line_mode">False</property>
3941                               <property name="angle">0</property>
3942                             </widget>
3943                             <packing>
3944                               <property name="padding">0</property>
3945                               <property name="expand">True</property>
3946                               <property name="fill">True</property>
3947                             </packing>
3948                           </child>
3949                         </widget>
3950                         <packing>
3951                           <property name="padding">0</property>
3952                           <property name="expand">True</property>
3953                           <property name="fill">True</property>
3954                         </packing>
3955                       </child>
3956
3957                       <child>
3958                         <widget class="GtkLabel" id="label211">
3959                           <property name="visible">True</property>
3960                           <property name="label" translatable="yes"></property>
3961                           <property name="use_underline">False</property>
3962                           <property name="use_markup">False</property>
3963                           <property name="justify">GTK_JUSTIFY_LEFT</property>
3964                           <property name="wrap">False</property>
3965                           <property name="selectable">False</property>
3966                           <property name="xalign">0.5</property>
3967                           <property name="yalign">0.5</property>
3968                           <property name="xpad">0</property>
3969                           <property name="ypad">0</property>
3970                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3971                           <property name="width_chars">-1</property>
3972                           <property name="single_line_mode">False</property>
3973                           <property name="angle">0</property>
3974                         </widget>
3975                         <packing>
3976                           <property name="padding">0</property>
3977                           <property name="expand">True</property>
3978                           <property name="fill">True</property>
3979                         </packing>
3980                       </child>
3981                     </widget>
3982                     <packing>
3983                       <property name="padding">0</property>
3984                       <property name="expand">True</property>
3985                       <property name="fill">True</property>
3986                     </packing>
3987                   </child>
3988                 </widget>
3989                 <packing>
3990                   <property name="padding">0</property>
3991                   <property name="expand">True</property>
3992                   <property name="fill">True</property>
3993                 </packing>
3994               </child>
3995             </widget>
3996             <packing>
3997               <property name="tab_expand">False</property>
3998               <property name="tab_fill">True</property>
3999             </packing>
4000           </child>
4001
4002           <child>
4003             <widget class="GtkLabel" id="label172">
4004               <property name="visible">True</property>
4005               <property name="label" translatable="yes">Margins</property>
4006               <property name="use_underline">False</property>
4007               <property name="use_markup">False</property>
4008               <property name="justify">GTK_JUSTIFY_LEFT</property>
4009               <property name="wrap">False</property>
4010               <property name="selectable">False</property>
4011               <property name="xalign">0.5</property>
4012               <property name="yalign">0.5</property>
4013               <property name="xpad">0</property>
4014               <property name="ypad">0</property>
4015               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4016               <property name="width_chars">-1</property>
4017               <property name="single_line_mode">False</property>
4018               <property name="angle">0</property>
4019             </widget>
4020             <packing>
4021               <property name="type">tab</property>
4022             </packing>
4023           </child>
4024
4025           <child>
4026             <widget class="GtkVBox" id="vbox26">
4027               <property name="border_width">12</property>
4028               <property name="visible">True</property>
4029               <property name="homogeneous">False</property>
4030               <property name="spacing">18</property>
4031
4032               <child>
4033                 <widget class="GtkVBox" id="vbox27">
4034                   <property name="visible">True</property>
4035                   <property name="homogeneous">False</property>
4036                   <property name="spacing">6</property>
4037
4038                   <child>
4039                     <widget class="GtkLabel" id="label70">
4040                       <property name="visible">True</property>
4041                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Position&lt;/span&gt;</property>
4042                       <property name="use_underline">False</property>
4043                       <property name="use_markup">True</property>
4044                       <property name="justify">GTK_JUSTIFY_LEFT</property>
4045                       <property name="wrap">False</property>
4046                       <property name="selectable">False</property>
4047                       <property name="xalign">0</property>
4048                       <property name="yalign">0.5</property>
4049                       <property name="xpad">0</property>
4050                       <property name="ypad">0</property>
4051                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4052                       <property name="width_chars">-1</property>
4053                       <property name="single_line_mode">False</property>
4054                       <property name="angle">0</property>
4055                     </widget>
4056                     <packing>
4057                       <property name="padding">0</property>
4058                       <property name="expand">False</property>
4059                       <property name="fill">False</property>
4060                     </packing>
4061                   </child>
4062
4063                   <child>
4064                     <widget class="GtkHBox" id="hbox33">
4065                       <property name="visible">True</property>
4066                       <property name="homogeneous">False</property>
4067                       <property name="spacing">0</property>
4068
4069                       <child>
4070                         <widget class="GtkLabel" id="label71">
4071                           <property name="visible">True</property>
4072                           <property name="label">    </property>
4073                           <property name="use_underline">False</property>
4074                           <property name="use_markup">False</property>
4075                           <property name="justify">GTK_JUSTIFY_LEFT</property>
4076                           <property name="wrap">False</property>
4077                           <property name="selectable">False</property>
4078                           <property name="xalign">0.5</property>
4079                           <property name="yalign">0.5</property>
4080                           <property name="xpad">0</property>
4081                           <property name="ypad">0</property>
4082                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4083                           <property name="width_chars">-1</property>
4084                           <property name="single_line_mode">False</property>
4085                           <property name="angle">0</property>
4086                         </widget>
4087                         <packing>
4088                           <property name="padding">0</property>
4089                           <property name="expand">False</property>
4090                           <property name="fill">False</property>
4091                         </packing>
4092                       </child>
4093
4094                       <child>
4095                         <widget class="GtkVBox" id="vbox30">
4096                           <property name="visible">True</property>
4097                           <property name="homogeneous">False</property>
4098                           <property name="spacing">6</property>
4099
4100                           <child>
4101                             <widget class="GtkHBox" id="hbox19">
4102                               <property name="visible">True</property>
4103                               <property name="homogeneous">False</property>
4104                               <property name="spacing">12</property>
4105
4106                               <child>
4107                                 <widget class="GtkLabel" id="dock_position_label">
4108                                   <property name="visible">True</property>
4109                                   <property name="label" translatable="yes">_Position:</property>
4110                                   <property name="use_underline">True</property>
4111                                   <property name="use_markup">False</property>
4112                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
4113                                   <property name="wrap">False</property>
4114                                   <property name="selectable">False</property>
4115                                   <property name="xalign">0</property>
4116                                   <property name="yalign">0.5</property>
4117                                   <property name="xpad">0</property>
4118                                   <property name="ypad">0</property>
4119                                   <property name="mnemonic_widget">dock_position</property>
4120                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4121                                   <property name="width_chars">-1</property>
4122                                   <property name="single_line_mode">False</property>
4123                                   <property name="angle">0</property>
4124                                 </widget>
4125                                 <packing>
4126                                   <property name="padding">0</property>
4127                                   <property name="expand">False</property>
4128                                   <property name="fill">False</property>
4129                                 </packing>
4130                               </child>
4131
4132                               <child>
4133                                 <widget class="GtkOptionMenu" id="dock_position">
4134                                   <property name="visible">True</property>
4135                                   <property name="can_focus">True</property>
4136                                   <property name="history">0</property>
4137
4138                                   <child>
4139                                     <widget class="GtkMenu" id="menu5">
4140
4141                                       <child>
4142                                         <widget class="GtkMenuItem" id="top_left">
4143                                           <property name="visible">True</property>
4144                                           <property name="label" translatable="yes">Top Left</property>
4145                                           <property name="use_underline">True</property>
4146                                           <signal name="activate" handler="on_dock_top_left_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
4147                                         </widget>
4148                                       </child>
4149
4150                                       <child>
4151                                         <widget class="GtkMenuItem" id="top">
4152                                           <property name="visible">True</property>
4153                                           <property name="label" translatable="yes">Top</property>
4154                                           <property name="use_underline">True</property>
4155                                           <signal name="activate" handler="on_dock_top_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
4156                                         </widget>
4157                                       </child>
4158
4159                                       <child>
4160                                         <widget class="GtkMenuItem" id="top_right">
4161                                           <property name="visible">True</property>
4162                                           <property name="label" translatable="yes">Top Right</property>
4163                                           <property name="use_underline">True</property>
4164                                           <signal name="activate" handler="on_dock_top_right_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
4165                                         </widget>
4166                                       </child>
4167
4168                                       <child>
4169                                         <widget class="GtkMenuItem" id="left">
4170                                           <property name="visible">True</property>
4171                                           <property name="label" translatable="yes">Left</property>
4172                                           <property name="use_underline">True</property>
4173                                           <signal name="activate" handler="on_dock_left_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
4174                                         </widget>
4175                                       </child>
4176
4177                                       <child>
4178                                         <widget class="GtkMenuItem" id="right">
4179                                           <property name="visible">True</property>
4180                                           <property name="label" translatable="yes">Right</property>
4181                                           <property name="use_underline">True</property>
4182                                           <signal name="activate" handler="on_dock_right_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
4183                                         </widget>
4184                                       </child>
4185
4186                                       <child>
4187                                         <widget class="GtkMenuItem" id="bottom_left">
4188                                           <property name="visible">True</property>
4189                                           <property name="label" translatable="yes">Bottom Left</property>
4190                                           <property name="use_underline">True</property>
4191                                           <signal name="activate" handler="on_dock_bottom_left_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
4192                                         </widget>
4193                                       </child>
4194
4195                                       <child>
4196                                         <widget class="GtkMenuItem" id="bottom">
4197                                           <property name="visible">True</property>
4198                                           <property name="label" translatable="yes">Bottom</property>
4199                                           <property name="use_underline">True</property>
4200                                           <signal name="activate" handler="on_dock_bottom_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
4201                                         </widget>
4202                                       </child>
4203
4204                                       <child>
4205                                         <widget class="GtkMenuItem" id="bottom_right">
4206                                           <property name="visible">True</property>
4207                                           <property name="label" translatable="yes">Bottom Right</property>
4208                                           <property name="use_underline">True</property>
4209                                           <signal name="activate" handler="on_dock_bottom_right_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
4210                                         </widget>
4211                                       </child>
4212
4213                                       <child>
4214                                         <widget class="GtkMenuItem" id="floating">
4215                                           <property name="visible">True</property>
4216                                           <property name="label" translatable="yes">Floating</property>
4217                                           <property name="use_underline">True</property>
4218                                           <signal name="activate" handler="on_dock_floating_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
4219                                         </widget>
4220                                       </child>
4221                                     </widget>
4222                                   </child>
4223                                 </widget>
4224                                 <packing>
4225                                   <property name="padding">0</property>
4226                                   <property name="expand">False</property>
4227                                   <property name="fill">False</property>
4228                                 </packing>
4229                               </child>
4230                             </widget>
4231                             <packing>
4232                               <property name="padding">0</property>
4233                               <property name="expand">False</property>
4234                               <property name="fill">False</property>
4235                             </packing>
4236                           </child>
4237
4238                           <child>
4239                             <widget class="GtkHBox" id="hbox36">
4240                               <property name="visible">True</property>
4241                               <property name="homogeneous">False</property>
4242                               <property name="spacing">0</property>
4243
4244                               <child>
4245                                 <widget class="GtkLabel" id="label76">
4246                                   <property name="visible">True</property>
4247                                   <property name="label">    </property>
4248                                   <property name="use_underline">False</property>
4249                                   <property name="use_markup">False</property>
4250                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
4251                                   <property name="wrap">False</property>
4252                                   <property name="selectable">False</property>
4253                                   <property name="xalign">0.5</property>
4254                                   <property name="yalign">0.5</property>
4255                                   <property name="xpad">0</property>
4256                                   <property name="ypad">0</property>
4257                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4258                                   <property name="width_chars">-1</property>
4259                                   <property name="single_line_mode">False</property>
4260                                   <property name="angle">0</property>
4261                                 </widget>
4262                                 <packing>
4263                                   <property name="padding">0</property>
4264                                   <property name="expand">False</property>
4265                                   <property name="fill">False</property>
4266                                 </packing>
4267                               </child>
4268
4269                               <child>
4270                                 <widget class="GtkHBox" id="hbox20">
4271                                   <property name="visible">True</property>
4272                                   <property name="homogeneous">False</property>
4273                                   <property name="spacing">6</property>
4274
4275                                   <child>
4276                                     <widget class="GtkLabel" id="dock_float_label">
4277                                       <property name="visible">True</property>
4278                                       <property name="label" translatable="yes">_Floating position:</property>
4279                                       <property name="use_underline">True</property>
4280                                       <property name="use_markup">False</property>
4281                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
4282                                       <property name="wrap">False</property>
4283                                       <property name="selectable">False</property>
4284                                       <property name="xalign">0.5</property>
4285                                       <property name="yalign">0.5</property>
4286                                       <property name="xpad">0</property>
4287                                       <property name="ypad">0</property>
4288                                       <property name="mnemonic_widget">dock_float_x</property>
4289                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4290                                       <property name="width_chars">-1</property>
4291                                       <property name="single_line_mode">False</property>
4292                                       <property name="angle">0</property>
4293                                     </widget>
4294                                     <packing>
4295                                       <property name="padding">0</property>
4296                                       <property name="expand">False</property>
4297                                       <property name="fill">False</property>
4298                                     </packing>
4299                                   </child>
4300
4301                                   <child>
4302                                     <widget class="GtkSpinButton" id="dock_float_x">
4303                                       <property name="visible">True</property>
4304                                       <property name="can_focus">True</property>
4305                                       <property name="climb_rate">1</property>
4306                                       <property name="digits">0</property>
4307                                       <property name="numeric">True</property>
4308                                       <property name="update_policy">GTK_UPDATE_ALWAYS</property>
4309                                       <property name="snap_to_ticks">False</property>
4310                                       <property name="wrap">False</property>
4311                                       <property name="adjustment">1 0 10000 1 10 10</property>
4312                                       <signal name="value_changed" handler="on_dock_float_x_value_changed" after="yes" last_modification_time="Sun, 14 Sep 2003 11:07:38 GMT"/>
4313                                     </widget>
4314                                     <packing>
4315                                       <property name="padding">0</property>
4316                                       <property name="expand">False</property>
4317                                       <property name="fill">True</property>
4318                                     </packing>
4319                                   </child>
4320
4321                                   <child>
4322                                     <widget class="GtkLabel" id="dock_float_label_x">
4323                                       <property name="visible">True</property>
4324                                       <property name="label" translatable="yes">x</property>
4325                                       <property name="use_underline">False</property>
4326                                       <property name="use_markup">False</property>
4327                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
4328                                       <property name="wrap">False</property>
4329                                       <property name="selectable">False</property>
4330                                       <property name="xalign">0.5</property>
4331                                       <property name="yalign">0.5</property>
4332                                       <property name="xpad">0</property>
4333                                       <property name="ypad">0</property>
4334                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4335                                       <property name="width_chars">-1</property>
4336                                       <property name="single_line_mode">False</property>
4337                                       <property name="angle">0</property>
4338                                     </widget>
4339                                     <packing>
4340                                       <property name="padding">0</property>
4341                                       <property name="expand">False</property>
4342                                       <property name="fill">False</property>
4343                                     </packing>
4344                                   </child>
4345
4346                                   <child>
4347                                     <widget class="GtkSpinButton" id="dock_float_y">
4348                                       <property name="visible">True</property>
4349                                       <property name="can_focus">True</property>
4350                                       <property name="climb_rate">1</property>
4351                                       <property name="digits">0</property>
4352                                       <property name="numeric">True</property>
4353                                       <property name="update_policy">GTK_UPDATE_ALWAYS</property>
4354                                       <property name="snap_to_ticks">False</property>
4355                                       <property name="wrap">False</property>
4356                                       <property name="adjustment">1 0 10000 1 10 10</property>
4357                                       <signal name="value_changed" handler="on_dock_float_y_value_changed" after="yes" last_modification_time="Sun, 14 Sep 2003 11:08:09 GMT"/>
4358                                     </widget>
4359                                     <packing>
4360                                       <property name="padding">0</property>
4361                                       <property name="expand">False</property>
4362                                       <property name="fill">True</property>
4363                                     </packing>
4364                                   </child>
4365                                 </widget>
4366                                 <packing>
4367                                   <property name="padding">0</property>
4368                                   <property name="expand">True</property>
4369                                   <property name="fill">True</property>
4370                                 </packing>
4371                               </child>
4372                             </widget>
4373                             <packing>
4374                               <property name="padding">0</property>
4375                               <property name="expand">False</property>
4376                               <property name="fill">False</property>
4377                             </packing>
4378                           </child>
4379
4380                           <child>
4381                             <widget class="GtkHBox" id="hbox58">
4382                               <property name="visible">True</property>
4383                               <property name="homogeneous">False</property>
4384                               <property name="spacing">0</property>
4385
4386                               <child>
4387                                 <widget class="GtkLabel" id="label108">
4388                                   <property name="visible">True</property>
4389                                   <property name="label">    </property>
4390                                   <property name="use_underline">False</property>
4391                                   <property name="use_markup">False</property>
4392                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
4393                                   <property name="wrap">False</property>
4394                                   <property name="selectable">False</property>
4395                                   <property name="xalign">0.5</property>
4396                                   <property name="yalign">0.5</property>
4397                                   <property name="xpad">0</property>
4398                                   <property name="ypad">0</property>
4399                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4400                                   <property name="width_chars">-1</property>
4401                                   <property name="single_line_mode">False</property>
4402                                   <property name="angle">0</property>
4403                                 </widget>
4404                                 <packing>
4405                                   <property name="padding">0</property>
4406                                   <property name="expand">False</property>
4407                                   <property name="fill">False</property>
4408                                 </packing>
4409                               </child>
4410
4411                               <child>
4412                                 <widget class="GtkCheckButton" id="dock_nostrut">
4413                                   <property name="visible">True</property>
4414                                   <property name="can_focus">True</property>
4415                                   <property name="label" translatable="yes">Allow _windows to be placed within the dock's area</property>
4416                                   <property name="use_underline">True</property>
4417                                   <property name="relief">GTK_RELIEF_NORMAL</property>
4418                                   <property name="focus_on_click">True</property>
4419                                   <property name="active">False</property>
4420                                   <property name="inconsistent">False</property>
4421                                   <property name="draw_indicator">True</property>
4422                                   <signal name="toggled" handler="on_dock_nostrut_toggled" last_modification_time="Thu, 31 May 2007 15:33:51 GMT"/>
4423                                 </widget>
4424                                 <packing>
4425                                   <property name="padding">0</property>
4426                                   <property name="expand">False</property>
4427                                   <property name="fill">False</property>
4428                                 </packing>
4429                               </child>
4430                             </widget>
4431                             <packing>
4432                               <property name="padding">0</property>
4433                               <property name="expand">True</property>
4434                               <property name="fill">True</property>
4435                             </packing>
4436                           </child>
4437
4438                           <child>
4439                             <widget class="GtkHBox" id="hbox38">
4440                               <property name="visible">True</property>
4441                               <property name="homogeneous">False</property>
4442                               <property name="spacing">12</property>
4443
4444                               <child>
4445                                 <widget class="GtkLabel" id="dock_direction_label">
4446                                   <property name="visible">True</property>
4447                                   <property name="label" translatable="yes">_Orientation: </property>
4448                                   <property name="use_underline">True</property>
4449                                   <property name="use_markup">False</property>
4450                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
4451                                   <property name="wrap">False</property>
4452                                   <property name="selectable">False</property>
4453                                   <property name="xalign">0</property>
4454                                   <property name="yalign">0.5</property>
4455                                   <property name="xpad">0</property>
4456                                   <property name="ypad">0</property>
4457                                   <property name="mnemonic_widget">dock_direction</property>
4458                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4459                                   <property name="width_chars">-1</property>
4460                                   <property name="single_line_mode">False</property>
4461                                   <property name="angle">0</property>
4462                                 </widget>
4463                                 <packing>
4464                                   <property name="padding">0</property>
4465                                   <property name="expand">False</property>
4466                                   <property name="fill">False</property>
4467                                 </packing>
4468                               </child>
4469
4470                               <child>
4471                                 <widget class="GtkOptionMenu" id="dock_direction">
4472                                   <property name="visible">True</property>
4473                                   <property name="can_focus">True</property>
4474                                   <property name="history">0</property>
4475
4476                                   <child>
4477                                     <widget class="GtkMenu" id="menu7">
4478
4479                                       <child>
4480                                         <widget class="GtkMenuItem" id="vertical">
4481                                           <property name="visible">True</property>
4482                                           <property name="label" translatable="yes">Vertical</property>
4483                                           <property name="use_underline">True</property>
4484                                           <signal name="activate" handler="on_dock_vertical_activate" last_modification_time="Sun, 07 Sep 2003 20:38:38 GMT"/>
4485                                         </widget>
4486                                       </child>
4487
4488                                       <child>
4489                                         <widget class="GtkMenuItem" id="horizontal">
4490                                           <property name="visible">True</property>
4491                                           <property name="label" translatable="yes">Horizontal</property>
4492                                           <property name="use_underline">True</property>
4493                                           <signal name="activate" handler="on_dock_horizontal_activate" last_modification_time="Sun, 07 Sep 2003 20:38:38 GMT"/>
4494                                         </widget>
4495                                       </child>
4496                                     </widget>
4497                                   </child>
4498                                 </widget>
4499                                 <packing>
4500                                   <property name="padding">0</property>
4501                                   <property name="expand">False</property>
4502                                   <property name="fill">False</property>
4503                                 </packing>
4504                               </child>
4505                             </widget>
4506                             <packing>
4507                               <property name="padding">0</property>
4508                               <property name="expand">True</property>
4509                               <property name="fill">True</property>
4510                             </packing>
4511                           </child>
4512                         </widget>
4513                         <packing>
4514                           <property name="padding">0</property>
4515                           <property name="expand">True</property>
4516                           <property name="fill">True</property>
4517                         </packing>
4518                       </child>
4519                     </widget>
4520                     <packing>
4521                       <property name="padding">0</property>
4522                       <property name="expand">False</property>
4523                       <property name="fill">False</property>
4524                     </packing>
4525                   </child>
4526                 </widget>
4527                 <packing>
4528                   <property name="padding">0</property>
4529                   <property name="expand">False</property>
4530                   <property name="fill">False</property>
4531                 </packing>
4532               </child>
4533
4534               <child>
4535                 <widget class="GtkVBox" id="vbox28">
4536                   <property name="visible">True</property>
4537                   <property name="homogeneous">False</property>
4538                   <property name="spacing">6</property>
4539
4540                   <child>
4541                     <widget class="GtkLabel" id="label74">
4542                       <property name="visible">True</property>
4543                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Stacking&lt;/span&gt;</property>
4544                       <property name="use_underline">False</property>
4545                       <property name="use_markup">True</property>
4546                       <property name="justify">GTK_JUSTIFY_LEFT</property>
4547                       <property name="wrap">False</property>
4548                       <property name="selectable">False</property>
4549                       <property name="xalign">0</property>
4550                       <property name="yalign">0.5</property>
4551                       <property name="xpad">0</property>
4552                       <property name="ypad">0</property>
4553                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4554                       <property name="width_chars">-1</property>
4555                       <property name="single_line_mode">False</property>
4556                       <property name="angle">0</property>
4557                     </widget>
4558                     <packing>
4559                       <property name="padding">0</property>
4560                       <property name="expand">False</property>
4561                       <property name="fill">False</property>
4562                     </packing>
4563                   </child>
4564
4565                   <child>
4566                     <widget class="GtkHBox" id="hbox34">
4567                       <property name="visible">True</property>
4568                       <property name="homogeneous">False</property>
4569                       <property name="spacing">0</property>
4570
4571                       <child>
4572                         <widget class="GtkLabel" id="label72">
4573                           <property name="visible">True</property>
4574                           <property name="label">    </property>
4575                           <property name="use_underline">False</property>
4576                           <property name="use_markup">False</property>
4577                           <property name="justify">GTK_JUSTIFY_LEFT</property>
4578                           <property name="wrap">False</property>
4579                           <property name="selectable">False</property>
4580                           <property name="xalign">0.5</property>
4581                           <property name="yalign">0.5</property>
4582                           <property name="xpad">0</property>
4583                           <property name="ypad">0</property>
4584                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4585                           <property name="width_chars">-1</property>
4586                           <property name="single_line_mode">False</property>
4587                           <property name="angle">0</property>
4588                         </widget>
4589                         <packing>
4590                           <property name="padding">0</property>
4591                           <property name="expand">False</property>
4592                           <property name="fill">False</property>
4593                         </packing>
4594                       </child>
4595
4596                       <child>
4597                         <widget class="GtkVBox" id="vbox31">
4598                           <property name="visible">True</property>
4599                           <property name="homogeneous">False</property>
4600                           <property name="spacing">6</property>
4601
4602                           <child>
4603                             <widget class="GtkRadioButton" id="dock_stack_top">
4604                               <property name="visible">True</property>
4605                               <property name="can_focus">True</property>
4606                               <property name="label" translatable="yes">Keep dock _above other windows</property>
4607                               <property name="use_underline">True</property>
4608                               <property name="relief">GTK_RELIEF_NORMAL</property>
4609                               <property name="focus_on_click">True</property>
4610                               <property name="active">False</property>
4611                               <property name="inconsistent">False</property>
4612                               <property name="draw_indicator">True</property>
4613                               <signal name="toggled" handler="on_dock_stacking_top_toggled" after="yes" last_modification_time="Wed, 24 Sep 2003 13:56:02 GMT"/>
4614                             </widget>
4615                             <packing>
4616                               <property name="padding">0</property>
4617                               <property name="expand">False</property>
4618                               <property name="fill">False</property>
4619                             </packing>
4620                           </child>
4621
4622                           <child>
4623                             <widget class="GtkRadioButton" id="dock_stack_normal">
4624                               <property name="visible">True</property>
4625                               <property name="can_focus">True</property>
4626                               <property name="label" translatable="yes">A_llow dock to be both above and below windows</property>
4627                               <property name="use_underline">True</property>
4628                               <property name="relief">GTK_RELIEF_NORMAL</property>
4629                               <property name="focus_on_click">True</property>
4630                               <property name="active">False</property>
4631                               <property name="inconsistent">False</property>
4632                               <property name="draw_indicator">True</property>
4633                               <property name="group">dock_stack_top</property>
4634                               <signal name="toggled" handler="on_dock_stacking_normal_toggled" after="yes" last_modification_time="Wed, 24 Sep 2003 13:56:08 GMT"/>
4635                             </widget>
4636                             <packing>
4637                               <property name="padding">0</property>
4638                               <property name="expand">False</property>
4639                               <property name="fill">False</property>
4640                             </packing>
4641                           </child>
4642
4643                           <child>
4644                             <widget class="GtkRadioButton" id="dock_stack_bottom">
4645                               <property name="visible">True</property>
4646                               <property name="can_focus">True</property>
4647                               <property name="label" translatable="yes">Keep dock _below other windows</property>
4648                               <property name="use_underline">True</property>
4649                               <property name="relief">GTK_RELIEF_NORMAL</property>
4650                               <property name="focus_on_click">True</property>
4651                               <property name="active">False</property>
4652                               <property name="inconsistent">False</property>
4653                               <property name="draw_indicator">True</property>
4654                               <property name="group">dock_stack_top</property>
4655                               <signal name="toggled" handler="on_dock_stacking_bottom_toggled" after="yes" last_modification_time="Wed, 24 Sep 2003 13:56:15 GMT"/>
4656                             </widget>
4657                             <packing>
4658                               <property name="padding">0</property>
4659                               <property name="expand">False</property>
4660                               <property name="fill">False</property>
4661                             </packing>
4662                           </child>
4663                         </widget>
4664                         <packing>
4665                           <property name="padding">0</property>
4666                           <property name="expand">False</property>
4667                           <property name="fill">False</property>
4668                         </packing>
4669                       </child>
4670                     </widget>
4671                     <packing>
4672                       <property name="padding">0</property>
4673                       <property name="expand">False</property>
4674                       <property name="fill">False</property>
4675                     </packing>
4676                   </child>
4677                 </widget>
4678                 <packing>
4679                   <property name="padding">0</property>
4680                   <property name="expand">False</property>
4681                   <property name="fill">False</property>
4682                 </packing>
4683               </child>
4684
4685               <child>
4686                 <widget class="GtkVBox" id="vbox29">
4687                   <property name="visible">True</property>
4688                   <property name="homogeneous">False</property>
4689                   <property name="spacing">6</property>
4690
4691                   <child>
4692                     <widget class="GtkLabel" id="label75">
4693                       <property name="visible">True</property>
4694                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Hiding&lt;/span&gt;</property>
4695                       <property name="use_underline">False</property>
4696                       <property name="use_markup">True</property>
4697                       <property name="justify">GTK_JUSTIFY_LEFT</property>
4698                       <property name="wrap">False</property>
4699                       <property name="selectable">False</property>
4700                       <property name="xalign">0</property>
4701                       <property name="yalign">0.5</property>
4702                       <property name="xpad">0</property>
4703                       <property name="ypad">0</property>
4704                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4705                       <property name="width_chars">-1</property>
4706                       <property name="single_line_mode">False</property>
4707                       <property name="angle">0</property>
4708                     </widget>
4709                     <packing>
4710                       <property name="padding">0</property>
4711                       <property name="expand">False</property>
4712                       <property name="fill">False</property>
4713                     </packing>
4714                   </child>
4715
4716                   <child>
4717                     <widget class="GtkHBox" id="hbox35">
4718                       <property name="visible">True</property>
4719                       <property name="homogeneous">False</property>
4720                       <property name="spacing">0</property>
4721
4722                       <child>
4723                         <widget class="GtkLabel" id="label73">
4724                           <property name="visible">True</property>
4725                           <property name="label">    </property>
4726                           <property name="use_underline">False</property>
4727                           <property name="use_markup">False</property>
4728                           <property name="justify">GTK_JUSTIFY_LEFT</property>
4729                           <property name="wrap">False</property>
4730                           <property name="selectable">False</property>
4731                           <property name="xalign">0.5</property>
4732                           <property name="yalign">0.5</property>
4733                           <property name="xpad">0</property>
4734                           <property name="ypad">0</property>
4735                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4736                           <property name="width_chars">-1</property>
4737                           <property name="single_line_mode">False</property>
4738                           <property name="angle">0</property>
4739                         </widget>
4740                         <packing>
4741                           <property name="padding">0</property>
4742                           <property name="expand">False</property>
4743                           <property name="fill">False</property>
4744                         </packing>
4745                       </child>
4746
4747                       <child>
4748                         <widget class="GtkVBox" id="vbox32">
4749                           <property name="visible">True</property>
4750                           <property name="homogeneous">False</property>
4751                           <property name="spacing">6</property>
4752
4753                           <child>
4754                             <widget class="GtkCheckButton" id="dock_hide">
4755                               <property name="visible">True</property>
4756                               <property name="can_focus">True</property>
4757                               <property name="label" translatable="yes">_Hide off screen</property>
4758                               <property name="use_underline">True</property>
4759                               <property name="relief">GTK_RELIEF_NORMAL</property>
4760                               <property name="focus_on_click">True</property>
4761                               <property name="active">False</property>
4762                               <property name="inconsistent">False</property>
4763                               <property name="draw_indicator">True</property>
4764                               <signal name="toggled" handler="on_dock_hide_toggled" last_modification_time="Sun, 14 Sep 2003 11:08:31 GMT"/>
4765                             </widget>
4766                             <packing>
4767                               <property name="padding">0</property>
4768                               <property name="expand">False</property>
4769                               <property name="fill">False</property>
4770                             </packing>
4771                           </child>
4772
4773                           <child>
4774                             <widget class="GtkHBox" id="hbox37">
4775                               <property name="visible">True</property>
4776                               <property name="homogeneous">False</property>
4777                               <property name="spacing">0</property>
4778
4779                               <child>
4780                                 <widget class="GtkLabel" id="label77">
4781                                   <property name="visible">True</property>
4782                                   <property name="label">    </property>
4783                                   <property name="use_underline">False</property>
4784                                   <property name="use_markup">False</property>
4785                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
4786                                   <property name="wrap">False</property>
4787                                   <property name="selectable">False</property>
4788                                   <property name="xalign">0.5</property>
4789                                   <property name="yalign">0.5</property>
4790                                   <property name="xpad">0</property>
4791                                   <property name="ypad">0</property>
4792                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4793                                   <property name="width_chars">-1</property>
4794                                   <property name="single_line_mode">False</property>
4795                                   <property name="angle">0</property>
4796                                 </widget>
4797                                 <packing>
4798                                   <property name="padding">0</property>
4799                                   <property name="expand">False</property>
4800                                   <property name="fill">False</property>
4801                                 </packing>
4802                               </child>
4803
4804                               <child>
4805                                 <widget class="GtkHBox" id="hbox23">
4806                                   <property name="visible">True</property>
4807                                   <property name="homogeneous">False</property>
4808                                   <property name="spacing">6</property>
4809
4810                                   <child>
4811                                     <widget class="GtkLabel" id="dock_hide_label">
4812                                       <property name="visible">True</property>
4813                                       <property name="label" translatable="yes">_Delay before hiding:</property>
4814                                       <property name="use_underline">True</property>
4815                                       <property name="use_markup">False</property>
4816                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
4817                                       <property name="wrap">False</property>
4818                                       <property name="selectable">False</property>
4819                                       <property name="xalign">0</property>
4820                                       <property name="yalign">0.5</property>
4821                                       <property name="xpad">0</property>
4822                                       <property name="ypad">0</property>
4823                                       <property name="mnemonic_widget">dock_hide_delay</property>
4824                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4825                                       <property name="width_chars">-1</property>
4826                                       <property name="single_line_mode">False</property>
4827                                       <property name="angle">0</property>
4828                                     </widget>
4829                                     <packing>
4830                                       <property name="padding">0</property>
4831                                       <property name="expand">False</property>
4832                                       <property name="fill">False</property>
4833                                     </packing>
4834                                   </child>
4835
4836                                   <child>
4837                                     <widget class="GtkSpinButton" id="dock_hide_delay">
4838                                       <property name="visible">True</property>
4839                                       <property name="can_focus">True</property>
4840                                       <property name="climb_rate">1</property>
4841                                       <property name="digits">0</property>
4842                                       <property name="numeric">True</property>
4843                                       <property name="update_policy">GTK_UPDATE_ALWAYS</property>
4844                                       <property name="snap_to_ticks">False</property>
4845                                       <property name="wrap">False</property>
4846                                       <property name="adjustment">300 0 10000 10 10 10</property>
4847                                       <signal name="value_changed" handler="on_dock_hide_delay_value_changed" after="yes" last_modification_time="Sun, 14 Sep 2003 11:08:49 GMT"/>
4848                                     </widget>
4849                                     <packing>
4850                                       <property name="padding">0</property>
4851                                       <property name="expand">False</property>
4852                                       <property name="fill">True</property>
4853                                     </packing>
4854                                   </child>
4855
4856                                   <child>
4857                                     <widget class="GtkLabel" id="dock_hide_label_units">
4858                                       <property name="visible">True</property>
4859                                       <property name="label" translatable="yes">ms</property>
4860                                       <property name="use_underline">False</property>
4861                                       <property name="use_markup">False</property>
4862                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
4863                                       <property name="wrap">False</property>
4864                                       <property name="selectable">False</property>
4865                                       <property name="xalign">0.5</property>
4866                                       <property name="yalign">0.5</property>
4867                                       <property name="xpad">0</property>
4868                                       <property name="ypad">0</property>
4869                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4870                                       <property name="width_chars">-1</property>
4871                                       <property name="single_line_mode">False</property>
4872                                       <property name="angle">0</property>
4873                                     </widget>
4874                                     <packing>
4875                                       <property name="padding">0</property>
4876                                       <property name="expand">False</property>
4877                                       <property name="fill">False</property>
4878                                     </packing>
4879                                   </child>
4880                                 </widget>
4881                                 <packing>
4882                                   <property name="padding">0</property>
4883                                   <property name="expand">True</property>
4884                                   <property name="fill">True</property>
4885                                 </packing>
4886                               </child>
4887                             </widget>
4888                             <packing>
4889                               <property name="padding">0</property>
4890                               <property name="expand">True</property>
4891                               <property name="fill">True</property>
4892                             </packing>
4893                           </child>
4894
4895                           <child>
4896                             <widget class="GtkHBox" id="hbox56">
4897                               <property name="visible">True</property>
4898                               <property name="homogeneous">False</property>
4899                               <property name="spacing">0</property>
4900
4901                               <child>
4902                                 <widget class="GtkLabel" id="label107">
4903                                   <property name="visible">True</property>
4904                                   <property name="label">    </property>
4905                                   <property name="use_underline">False</property>
4906                                   <property name="use_markup">False</property>
4907                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
4908                                   <property name="wrap">False</property>
4909                                   <property name="selectable">False</property>
4910                                   <property name="xalign">0.5</property>
4911                                   <property name="yalign">0.5</property>
4912                                   <property name="xpad">0</property>
4913                                   <property name="ypad">0</property>
4914                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4915                                   <property name="width_chars">-1</property>
4916                                   <property name="single_line_mode">False</property>
4917                                   <property name="angle">0</property>
4918                                 </widget>
4919                                 <packing>
4920                                   <property name="padding">0</property>
4921                                   <property name="expand">False</property>
4922                                   <property name="fill">False</property>
4923                                 </packing>
4924                               </child>
4925
4926                               <child>
4927                                 <widget class="GtkHBox" id="hbox57">
4928                                   <property name="visible">True</property>
4929                                   <property name="homogeneous">False</property>
4930                                   <property name="spacing">6</property>
4931
4932                                   <child>
4933                                     <widget class="GtkLabel" id="dock_show_label">
4934                                       <property name="visible">True</property>
4935                                       <property name="label" translatable="yes">Delay before _showing:</property>
4936                                       <property name="use_underline">True</property>
4937                                       <property name="use_markup">False</property>
4938                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
4939                                       <property name="wrap">False</property>
4940                                       <property name="selectable">False</property>
4941                                       <property name="xalign">0</property>
4942                                       <property name="yalign">0.5</property>
4943                                       <property name="xpad">0</property>
4944                                       <property name="ypad">0</property>
4945                                       <property name="mnemonic_widget">dock_show_delay</property>
4946                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4947                                       <property name="width_chars">-1</property>
4948                                       <property name="single_line_mode">False</property>
4949                                       <property name="angle">0</property>
4950                                     </widget>
4951                                     <packing>
4952                                       <property name="padding">0</property>
4953                                       <property name="expand">False</property>
4954                                       <property name="fill">False</property>
4955                                     </packing>
4956                                   </child>
4957
4958                                   <child>
4959                                     <widget class="GtkSpinButton" id="dock_show_delay">
4960                                       <property name="visible">True</property>
4961                                       <property name="can_focus">True</property>
4962                                       <property name="climb_rate">1</property>
4963                                       <property name="digits">0</property>
4964                                       <property name="numeric">True</property>
4965                                       <property name="update_policy">GTK_UPDATE_ALWAYS</property>
4966                                       <property name="snap_to_ticks">False</property>
4967                                       <property name="wrap">False</property>
4968                                       <property name="adjustment">300 0 10000 10 10 10</property>
4969                                       <signal name="value_changed" handler="on_dock_show_delay_value_changed" after="yes" last_modification_time="Thu, 31 May 2007 15:17:16 GMT"/>
4970                                     </widget>
4971                                     <packing>
4972                                       <property name="padding">0</property>
4973                                       <property name="expand">False</property>
4974                                       <property name="fill">True</property>
4975                                     </packing>
4976                                   </child>
4977
4978                                   <child>
4979                                     <widget class="GtkLabel" id="dock_show_label_units">
4980                                       <property name="visible">True</property>
4981                                       <property name="label" translatable="yes">ms</property>
4982                                       <property name="use_underline">False</property>
4983                                       <property name="use_markup">False</property>
4984                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
4985                                       <property name="wrap">False</property>
4986                                       <property name="selectable">False</property>
4987                                       <property name="xalign">0.5</property>
4988                                       <property name="yalign">0.5</property>
4989                                       <property name="xpad">0</property>
4990                                       <property name="ypad">0</property>
4991                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4992                                       <property name="width_chars">-1</property>
4993                                       <property name="single_line_mode">False</property>
4994                                       <property name="angle">0</property>
4995                                     </widget>
4996                                     <packing>
4997                                       <property name="padding">0</property>
4998                                       <property name="expand">False</property>
4999                                       <property name="fill">False</property>
5000                                     </packing>
5001                                   </child>
5002                                 </widget>
5003                                 <packing>
5004                                   <property name="padding">0</property>
5005                                   <property name="expand">True</property>
5006                                   <property name="fill">True</property>
5007                                 </packing>
5008                               </child>
5009                             </widget>
5010                             <packing>
5011                               <property name="padding">0</property>
5012                               <property name="expand">True</property>
5013                               <property name="fill">True</property>
5014                             </packing>
5015                           </child>
5016                         </widget>
5017                         <packing>
5018                           <property name="padding">0</property>
5019                           <property name="expand">True</property>
5020                           <property name="fill">True</property>
5021                         </packing>
5022                       </child>
5023                     </widget>
5024                     <packing>
5025                       <property name="padding">0</property>
5026                       <property name="expand">True</property>
5027                       <property name="fill">True</property>
5028                     </packing>
5029                   </child>
5030                 </widget>
5031                 <packing>
5032                   <property name="padding">0</property>
5033                   <property name="expand">False</property>
5034                   <property name="fill">False</property>
5035                 </packing>
5036               </child>
5037             </widget>
5038             <packing>
5039               <property name="tab_expand">False</property>
5040               <property name="tab_fill">True</property>
5041             </packing>
5042           </child>
5043
5044           <child>
5045             <widget class="GtkLabel" id="label41">
5046               <property name="visible">True</property>
5047               <property name="label" translatable="yes">Dock</property>
5048               <property name="use_underline">False</property>
5049               <property name="use_markup">False</property>
5050               <property name="justify">GTK_JUSTIFY_LEFT</property>
5051               <property name="wrap">False</property>
5052               <property name="selectable">False</property>
5053               <property name="xalign">0.5</property>
5054               <property name="yalign">0.5</property>
5055               <property name="xpad">0</property>
5056               <property name="ypad">0</property>
5057               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5058               <property name="width_chars">-1</property>
5059               <property name="single_line_mode">False</property>
5060               <property name="angle">0</property>
5061             </widget>
5062             <packing>
5063               <property name="type">tab</property>
5064             </packing>
5065           </child>
5066         </widget>
5067         <packing>
5068           <property name="padding">0</property>
5069           <property name="expand">True</property>
5070           <property name="fill">True</property>
5071         </packing>
5072       </child>
5073
5074       <child>
5075         <widget class="GtkHBox" id="hbox39">
5076           <property name="visible">True</property>
5077           <property name="homogeneous">False</property>
5078           <property name="spacing">0</property>
5079
5080           <child>
5081             <widget class="GtkHButtonBox" id="hbuttonbox1">
5082               <property name="visible">True</property>
5083               <property name="layout_style">GTK_BUTTONBOX_START</property>
5084               <property name="spacing">0</property>
5085
5086               <child>
5087                 <widget class="GtkButton" id="about">
5088                   <property name="visible">True</property>
5089                   <property name="can_default">True</property>
5090                   <property name="can_focus">True</property>
5091                   <property name="label" translatable="yes">Abo_ut</property>
5092                   <property name="use_underline">True</property>
5093                   <property name="relief">GTK_RELIEF_NORMAL</property>
5094                   <property name="focus_on_click">True</property>
5095                   <signal name="clicked" handler="on_about_clicked" after="yes" last_modification_time="Wed, 24 Sep 2003 15:10:23 GMT"/>
5096                 </widget>
5097               </child>
5098             </widget>
5099             <packing>
5100               <property name="padding">0</property>
5101               <property name="expand">True</property>
5102               <property name="fill">True</property>
5103             </packing>
5104           </child>
5105
5106           <child>
5107             <widget class="GtkHButtonBox" id="hbuttonbox1">
5108               <property name="visible">True</property>
5109               <property name="layout_style">GTK_BUTTONBOX_END</property>
5110               <property name="spacing">0</property>
5111
5112               <child>
5113                 <widget class="GtkButton" id="close">
5114                   <property name="visible">True</property>
5115                   <property name="can_default">True</property>
5116                   <property name="can_focus">True</property>
5117                   <property name="label">gtk-close</property>
5118                   <property name="use_stock">True</property>
5119                   <property name="relief">GTK_RELIEF_NORMAL</property>
5120                   <property name="focus_on_click">True</property>
5121                   <signal name="clicked" handler="on_close_clicked" last_modification_time="Sun, 14 Sep 2003 11:27:56 GMT"/>
5122                 </widget>
5123               </child>
5124             </widget>
5125             <packing>
5126               <property name="padding">0</property>
5127               <property name="expand">True</property>
5128               <property name="fill">True</property>
5129             </packing>
5130           </child>
5131         </widget>
5132         <packing>
5133           <property name="padding">0</property>
5134           <property name="expand">False</property>
5135           <property name="fill">False</property>
5136         </packing>
5137       </child>
5138     </widget>
5139   </child>
5140 </widget>
5141
5142 <widget class="GtkWindow" id="about_window">
5143   <property name="title" translatable="yes">About ObConf</property>
5144   <property name="type">GTK_WINDOW_TOPLEVEL</property>
5145   <property name="window_position">GTK_WIN_POS_NONE</property>
5146   <property name="modal">False</property>
5147   <property name="resizable">True</property>
5148   <property name="destroy_with_parent">False</property>
5149   <property name="decorated">True</property>
5150   <property name="skip_taskbar_hint">False</property>
5151   <property name="skip_pager_hint">False</property>
5152   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
5153   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
5154   <property name="focus_on_map">True</property>
5155   <property name="urgency_hint">False</property>
5156   <signal name="delete_event" handler="on_about_window_delete_event" last_modification_time="Wed, 24 Sep 2003 15:28:37 GMT"/>
5157
5158   <child>
5159     <widget class="GtkVBox" id="vbox33">
5160       <property name="border_width">12</property>
5161       <property name="visible">True</property>
5162       <property name="homogeneous">False</property>
5163       <property name="spacing">12</property>
5164
5165       <child>
5166         <widget class="GtkVBox" id="vbox33">
5167           <property name="visible">True</property>
5168           <property name="homogeneous">False</property>
5169           <property name="spacing">6</property>
5170
5171           <child>
5172             <widget class="GtkLabel" id="title_label">
5173               <property name="visible">True</property>
5174               <property name="can_focus">True</property>
5175               <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot; size=&quot;xx-large&quot;&gt;ObConf VERSION&lt;/span&gt;</property>
5176               <property name="use_underline">False</property>
5177               <property name="use_markup">True</property>
5178               <property name="justify">GTK_JUSTIFY_LEFT</property>
5179               <property name="wrap">False</property>
5180               <property name="selectable">True</property>
5181               <property name="xalign">0.5</property>
5182               <property name="yalign">0.5</property>
5183               <property name="xpad">0</property>
5184               <property name="ypad">0</property>
5185               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5186               <property name="width_chars">-1</property>
5187               <property name="single_line_mode">False</property>
5188               <property name="angle">0</property>
5189             </widget>
5190             <packing>
5191               <property name="padding">0</property>
5192               <property name="expand">False</property>
5193               <property name="fill">False</property>
5194             </packing>
5195           </child>
5196
5197           <child>
5198             <widget class="GtkLabel" id="label81">
5199               <property name="visible">True</property>
5200               <property name="can_focus">True</property>
5201               <property name="label" translatable="yes">A preferences manager for Openbox</property>
5202               <property name="use_underline">False</property>
5203               <property name="use_markup">False</property>
5204               <property name="justify">GTK_JUSTIFY_LEFT</property>
5205               <property name="wrap">False</property>
5206               <property name="selectable">True</property>
5207               <property name="xalign">0.5</property>
5208               <property name="yalign">0.5</property>
5209               <property name="xpad">0</property>
5210               <property name="ypad">0</property>
5211               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5212               <property name="width_chars">-1</property>
5213               <property name="single_line_mode">False</property>
5214               <property name="angle">0</property>
5215             </widget>
5216             <packing>
5217               <property name="padding">0</property>
5218               <property name="expand">False</property>
5219               <property name="fill">False</property>
5220             </packing>
5221           </child>
5222
5223           <child>
5224             <widget class="GtkLabel" id="label80">
5225               <property name="visible">True</property>
5226               <property name="can_focus">True</property>
5227               <property name="label" translatable="yes">Copyright (c) 2003-2007
5228 Dana Jansens &lt;danakj@orodu.net&gt;
5229 Tim Riley &lt;tr@slackzone.org&gt;
5230 Javeed Shaikh &lt;syscrash2k@gmail.com&gt;</property>
5231               <property name="use_underline">False</property>
5232               <property name="use_markup">False</property>
5233               <property name="justify">GTK_JUSTIFY_CENTER</property>
5234               <property name="wrap">False</property>
5235               <property name="selectable">True</property>
5236               <property name="xalign">0.5</property>
5237               <property name="yalign">0.5</property>
5238               <property name="xpad">0</property>
5239               <property name="ypad">0</property>
5240               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5241               <property name="width_chars">-1</property>
5242               <property name="single_line_mode">False</property>
5243               <property name="angle">0</property>
5244             </widget>
5245             <packing>
5246               <property name="padding">0</property>
5247               <property name="expand">False</property>
5248               <property name="fill">False</property>
5249             </packing>
5250           </child>
5251         </widget>
5252         <packing>
5253           <property name="padding">0</property>
5254           <property name="expand">True</property>
5255           <property name="fill">True</property>
5256         </packing>
5257       </child>
5258
5259       <child>
5260         <widget class="GtkHButtonBox" id="hbuttonbox2">
5261           <property name="visible">True</property>
5262           <property name="layout_style">GTK_BUTTONBOX_END</property>
5263           <property name="spacing">0</property>
5264
5265           <child>
5266             <widget class="GtkButton" id="about_close">
5267               <property name="visible">True</property>
5268               <property name="can_default">True</property>
5269               <property name="has_default">True</property>
5270               <property name="can_focus">True</property>
5271               <property name="has_focus">True</property>
5272               <property name="label">gtk-close</property>
5273               <property name="use_stock">True</property>
5274               <property name="relief">GTK_RELIEF_NORMAL</property>
5275               <property name="focus_on_click">True</property>
5276               <signal name="clicked" handler="on_about_close_clicked" after="yes" last_modification_time="Wed, 24 Sep 2003 15:27:04 GMT"/>
5277             </widget>
5278           </child>
5279         </widget>
5280         <packing>
5281           <property name="padding">0</property>
5282           <property name="expand">True</property>
5283           <property name="fill">True</property>
5284         </packing>
5285       </child>
5286     </widget>
5287   </child>
5288 </widget>
5289
5290 <widget class="GtkWindow" id="key_prompt">
5291   <property name="title" translatable="yes">window1</property>
5292   <property name="type">GTK_WINDOW_TOPLEVEL</property>
5293   <property name="window_position">GTK_WIN_POS_NONE</property>
5294   <property name="modal">False</property>
5295   <property name="resizable">True</property>
5296   <property name="destroy_with_parent">False</property>
5297   <property name="decorated">True</property>
5298   <property name="skip_taskbar_hint">False</property>
5299   <property name="skip_pager_hint">False</property>
5300   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
5301   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
5302   <property name="focus_on_map">True</property>
5303   <property name="urgency_hint">False</property>
5304
5305   <child>
5306     <widget class="GtkVBox" id="vbox49">
5307       <property name="border_width">12</property>
5308       <property name="visible">True</property>
5309       <property name="homogeneous">False</property>
5310       <property name="spacing">18</property>
5311
5312       <child>
5313         <widget class="GtkLabel" id="label117">
5314           <property name="visible">True</property>
5315           <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Press the key you wish to bind...&lt;/span&gt;</property>
5316           <property name="use_underline">False</property>
5317           <property name="use_markup">True</property>
5318           <property name="justify">GTK_JUSTIFY_LEFT</property>
5319           <property name="wrap">False</property>
5320           <property name="selectable">False</property>
5321           <property name="xalign">0</property>
5322           <property name="yalign">0.5</property>
5323           <property name="xpad">0</property>
5324           <property name="ypad">0</property>
5325           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5326           <property name="width_chars">-1</property>
5327           <property name="single_line_mode">False</property>
5328           <property name="angle">0</property>
5329         </widget>
5330         <packing>
5331           <property name="padding">0</property>
5332           <property name="expand">False</property>
5333           <property name="fill">False</property>
5334         </packing>
5335       </child>
5336
5337       <child>
5338         <widget class="GtkEntry" id="entry2">
5339           <property name="visible">True</property>
5340           <property name="can_focus">True</property>
5341           <property name="has_focus">True</property>
5342           <property name="editable">True</property>
5343           <property name="visibility">True</property>
5344           <property name="max_length">0</property>
5345           <property name="text" translatable="yes"></property>
5346           <property name="has_frame">True</property>
5347           <property name="invisible_char">●</property>
5348           <property name="activates_default">False</property>
5349         </widget>
5350         <packing>
5351           <property name="padding">0</property>
5352           <property name="expand">False</property>
5353           <property name="fill">False</property>
5354         </packing>
5355       </child>
5356     </widget>
5357   </child>
5358 </widget>
5359
5360 </glade-interface>