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