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