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