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