]> icculus.org git repositories - dana/obconf.git/blob - src/obconf.glade
rearrange. change default drag threshold
[dana/obconf.git] / src / obconf.glade
1 <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
2 <!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
3
4 <glade-interface>
5
6 <widget class="GtkWindow" id="main_window">
7   <property name="border_width">13</property>
8   <property name="title" translatable="yes">Openbox Configuration Manager</property>
9   <property name="type">GTK_WINDOW_TOPLEVEL</property>
10   <property name="window_position">GTK_WIN_POS_NONE</property>
11   <property name="modal">False</property>
12   <property name="resizable">True</property>
13   <property name="destroy_with_parent">False</property>
14   <property name="decorated">True</property>
15   <property name="skip_taskbar_hint">False</property>
16   <property name="skip_pager_hint">False</property>
17   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
18   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
19   <property name="focus_on_map">True</property>
20   <property name="urgency_hint">False</property>
21   <signal name="delete_event" handler="on_main_window_delete_event" last_modification_time="Sun, 07 Sep 2003 21:10:11 GMT"/>
22
23   <child>
24     <widget class="GtkVBox" id="vbox8">
25       <property name="visible">True</property>
26       <property name="homogeneous">False</property>
27       <property name="spacing">12</property>
28
29       <child>
30         <widget class="GtkNotebook" id="notebook1">
31           <property name="visible">True</property>
32           <property name="can_focus">True</property>
33           <property name="show_tabs">True</property>
34           <property name="show_border">True</property>
35           <property name="tab_pos">GTK_POS_TOP</property>
36           <property name="scrollable">False</property>
37           <property name="enable_popup">False</property>
38
39           <child>
40             <widget class="GtkVBox" id="vbox20">
41               <property name="border_width">12</property>
42               <property name="visible">True</property>
43               <property name="homogeneous">False</property>
44               <property name="spacing">6</property>
45
46               <child>
47                 <widget class="GtkVBox" id="vbox21">
48                   <property name="visible">True</property>
49                   <property name="homogeneous">False</property>
50                   <property name="spacing">6</property>
51
52                   <child>
53                     <widget class="GtkLabel" id="label59">
54                       <property name="visible">True</property>
55                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Theme&lt;/span&gt;</property>
56                       <property name="use_underline">False</property>
57                       <property name="use_markup">True</property>
58                       <property name="justify">GTK_JUSTIFY_LEFT</property>
59                       <property name="wrap">False</property>
60                       <property name="selectable">False</property>
61                       <property name="xalign">0</property>
62                       <property name="yalign">0.5</property>
63                       <property name="xpad">0</property>
64                       <property name="ypad">0</property>
65                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
66                       <property name="width_chars">-1</property>
67                       <property name="single_line_mode">False</property>
68                       <property name="angle">0</property>
69                     </widget>
70                     <packing>
71                       <property name="padding">0</property>
72                       <property name="expand">False</property>
73                       <property name="fill">False</property>
74                     </packing>
75                   </child>
76
77                   <child>
78                     <widget class="GtkHBox" id="hbox29">
79                       <property name="visible">True</property>
80                       <property name="homogeneous">False</property>
81                       <property name="spacing">0</property>
82
83                       <child>
84                         <widget class="GtkLabel" id="label60">
85                           <property name="visible">True</property>
86                           <property name="label" translatable="yes">    </property>
87                           <property name="use_underline">False</property>
88                           <property name="use_markup">False</property>
89                           <property name="justify">GTK_JUSTIFY_LEFT</property>
90                           <property name="wrap">False</property>
91                           <property name="selectable">False</property>
92                           <property name="xalign">0.5</property>
93                           <property name="yalign">0.5</property>
94                           <property name="xpad">0</property>
95                           <property name="ypad">0</property>
96                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
97                           <property name="width_chars">-1</property>
98                           <property name="single_line_mode">False</property>
99                           <property name="angle">0</property>
100                         </widget>
101                         <packing>
102                           <property name="padding">0</property>
103                           <property name="expand">False</property>
104                           <property name="fill">False</property>
105                         </packing>
106                       </child>
107
108                       <child>
109                         <widget class="GtkVBox" id="vbox22">
110                           <property name="visible">True</property>
111                           <property name="homogeneous">False</property>
112                           <property name="spacing">6</property>
113
114                           <child>
115                             <widget class="GtkScrolledWindow" id="scrolledwindow3">
116                               <property name="visible">True</property>
117                               <property name="can_focus">True</property>
118                               <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
119                               <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
120                               <property name="shadow_type">GTK_SHADOW_IN</property>
121                               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
122
123                               <child>
124                                 <widget class="GtkTreeView" id="theme_names">
125                                   <property name="visible">True</property>
126                                   <property name="can_focus">True</property>
127                                   <property name="headers_visible">False</property>
128                                   <property name="rules_hint">False</property>
129                                   <property name="reorderable">False</property>
130                                   <property name="enable_search">True</property>
131                                   <property name="fixed_height_mode">False</property>
132                                   <property name="hover_selection">False</property>
133                                   <property name="hover_expand">False</property>
134                                 </widget>
135                               </child>
136                             </widget>
137                             <packing>
138                               <property name="padding">0</property>
139                               <property name="expand">True</property>
140                               <property name="fill">True</property>
141                             </packing>
142                           </child>
143                         </widget>
144                         <packing>
145                           <property name="padding">0</property>
146                           <property name="expand">True</property>
147                           <property name="fill">True</property>
148                         </packing>
149                       </child>
150                     </widget>
151                     <packing>
152                       <property name="padding">0</property>
153                       <property name="expand">True</property>
154                       <property name="fill">True</property>
155                     </packing>
156                   </child>
157                 </widget>
158                 <packing>
159                   <property name="padding">0</property>
160                   <property name="expand">True</property>
161                   <property name="fill">True</property>
162                 </packing>
163               </child>
164
165               <child>
166                 <widget class="GtkVBox" id="vbox41">
167                   <property name="visible">True</property>
168                   <property name="homogeneous">False</property>
169                   <property name="spacing">0</property>
170
171                   <child>
172                     <widget class="GtkButton" id="install_theme">
173                       <property name="visible">True</property>
174                       <property name="can_focus">True</property>
175                       <property name="relief">GTK_RELIEF_NORMAL</property>
176                       <property name="focus_on_click">True</property>
177                       <signal name="clicked" handler="on_install_theme_clicked" last_modification_time="Tue, 29 May 2007 21:35:26 GMT"/>
178
179                       <child>
180                         <widget class="GtkAlignment" id="alignment1">
181                           <property name="visible">True</property>
182                           <property name="xalign">0</property>
183                           <property name="yalign">0.5</property>
184                           <property name="xscale">0</property>
185                           <property name="yscale">0</property>
186                           <property name="top_padding">0</property>
187                           <property name="bottom_padding">0</property>
188                           <property name="left_padding">0</property>
189                           <property name="right_padding">0</property>
190
191                           <child>
192                             <widget class="GtkHBox" id="hbox53">
193                               <property name="visible">True</property>
194                               <property name="homogeneous">False</property>
195                               <property name="spacing">2</property>
196
197                               <child>
198                                 <widget class="GtkImage" id="image1">
199                                   <property name="visible">True</property>
200                                   <property name="stock">gtk-open</property>
201                                   <property name="icon_size">4</property>
202                                   <property name="xalign">0.5</property>
203                                   <property name="yalign">0.5</property>
204                                   <property name="xpad">0</property>
205                                   <property name="ypad">0</property>
206                                 </widget>
207                                 <packing>
208                                   <property name="padding">0</property>
209                                   <property name="expand">False</property>
210                                   <property name="fill">False</property>
211                                 </packing>
212                               </child>
213
214                               <child>
215                                 <widget class="GtkLabel" id="label103">
216                                   <property name="visible">True</property>
217                                   <property name="label" translatable="yes">_Install a new theme...</property>
218                                   <property name="use_underline">True</property>
219                                   <property name="use_markup">False</property>
220                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
221                                   <property name="wrap">False</property>
222                                   <property name="selectable">False</property>
223                                   <property name="xalign">0.5</property>
224                                   <property name="yalign">0.5</property>
225                                   <property name="xpad">0</property>
226                                   <property name="ypad">0</property>
227                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
228                                   <property name="width_chars">-1</property>
229                                   <property name="single_line_mode">False</property>
230                                   <property name="angle">0</property>
231                                 </widget>
232                                 <packing>
233                                   <property name="padding">0</property>
234                                   <property name="expand">False</property>
235                                   <property name="fill">False</property>
236                                 </packing>
237                               </child>
238                             </widget>
239                           </child>
240                         </widget>
241                       </child>
242                     </widget>
243                     <packing>
244                       <property name="padding">0</property>
245                       <property name="expand">False</property>
246                       <property name="fill">False</property>
247                     </packing>
248                   </child>
249                 </widget>
250                 <packing>
251                   <property name="padding">0</property>
252                   <property name="expand">False</property>
253                   <property name="fill">True</property>
254                 </packing>
255               </child>
256
257               <child>
258                 <widget class="GtkVBox" id="vbox42">
259                   <property name="visible">True</property>
260                   <property name="homogeneous">False</property>
261                   <property name="spacing">0</property>
262
263                   <child>
264                     <widget class="GtkButton" id="theme_archive">
265                       <property name="visible">True</property>
266                       <property name="can_focus">True</property>
267                       <property name="relief">GTK_RELIEF_NORMAL</property>
268                       <property name="focus_on_click">True</property>
269                       <signal name="clicked" handler="on_theme_archive_clicked" last_modification_time="Wed, 30 May 2007 00:08:47 GMT"/>
270
271                       <child>
272                         <widget class="GtkAlignment" id="alignment2">
273                           <property name="visible">True</property>
274                           <property name="xalign">0</property>
275                           <property name="yalign">0.5</property>
276                           <property name="xscale">0</property>
277                           <property name="yscale">0</property>
278                           <property name="top_padding">0</property>
279                           <property name="bottom_padding">0</property>
280                           <property name="left_padding">0</property>
281                           <property name="right_padding">0</property>
282
283                           <child>
284                             <widget class="GtkHBox" id="hbox55">
285                               <property name="visible">True</property>
286                               <property name="homogeneous">False</property>
287                               <property name="spacing">2</property>
288
289                               <child>
290                                 <widget class="GtkImage" id="image2">
291                                   <property name="visible">True</property>
292                                   <property name="stock">gtk-save</property>
293                                   <property name="icon_size">4</property>
294                                   <property name="xalign">0.5</property>
295                                   <property name="yalign">0.5</property>
296                                   <property name="xpad">0</property>
297                                   <property name="ypad">0</property>
298                                 </widget>
299                                 <packing>
300                                   <property name="padding">0</property>
301                                   <property name="expand">False</property>
302                                   <property name="fill">False</property>
303                                 </packing>
304                               </child>
305
306                               <child>
307                                 <widget class="GtkLabel" id="label106">
308                                   <property name="visible">True</property>
309                                   <property name="label" translatable="yes">_Create a theme archive (.obt)...</property>
310                                   <property name="use_underline">True</property>
311                                   <property name="use_markup">False</property>
312                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
313                                   <property name="wrap">False</property>
314                                   <property name="selectable">False</property>
315                                   <property name="xalign">0.5</property>
316                                   <property name="yalign">0.5</property>
317                                   <property name="xpad">0</property>
318                                   <property name="ypad">0</property>
319                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
320                                   <property name="width_chars">-1</property>
321                                   <property name="single_line_mode">False</property>
322                                   <property name="angle">0</property>
323                                 </widget>
324                                 <packing>
325                                   <property name="padding">0</property>
326                                   <property name="expand">False</property>
327                                   <property name="fill">False</property>
328                                 </packing>
329                               </child>
330                             </widget>
331                           </child>
332                         </widget>
333                       </child>
334                     </widget>
335                     <packing>
336                       <property name="padding">0</property>
337                       <property name="expand">False</property>
338                       <property name="fill">False</property>
339                     </packing>
340                   </child>
341                 </widget>
342                 <packing>
343                   <property name="padding">0</property>
344                   <property name="expand">False</property>
345                   <property name="fill">True</property>
346                 </packing>
347               </child>
348             </widget>
349             <packing>
350               <property name="tab_expand">False</property>
351               <property name="tab_fill">True</property>
352             </packing>
353           </child>
354
355           <child>
356             <widget class="GtkLabel" id="label3">
357               <property name="visible">True</property>
358               <property name="label" translatable="yes">Theme</property>
359               <property name="use_underline">False</property>
360               <property name="use_markup">False</property>
361               <property name="justify">GTK_JUSTIFY_LEFT</property>
362               <property name="wrap">False</property>
363               <property name="selectable">False</property>
364               <property name="xalign">0.5</property>
365               <property name="yalign">0.5</property>
366               <property name="xpad">0</property>
367               <property name="ypad">0</property>
368               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
369               <property name="width_chars">-1</property>
370               <property name="single_line_mode">False</property>
371               <property name="angle">0</property>
372             </widget>
373             <packing>
374               <property name="type">tab</property>
375             </packing>
376           </child>
377
378           <child>
379             <widget class="GtkVBox" id="vbox36">
380               <property name="border_width">12</property>
381               <property name="visible">True</property>
382               <property name="homogeneous">False</property>
383               <property name="spacing">18</property>
384
385               <child>
386                 <widget class="GtkVBox" id="vbox40">
387                   <property name="visible">True</property>
388                   <property name="homogeneous">False</property>
389                   <property name="spacing">6</property>
390
391                   <child>
392                     <widget class="GtkLabel" id="label99">
393                       <property name="visible">True</property>
394                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Windows&lt;/span&gt;</property>
395                       <property name="use_underline">False</property>
396                       <property name="use_markup">True</property>
397                       <property name="justify">GTK_JUSTIFY_LEFT</property>
398                       <property name="wrap">False</property>
399                       <property name="selectable">False</property>
400                       <property name="xalign">0</property>
401                       <property name="yalign">0.5</property>
402                       <property name="xpad">0</property>
403                       <property name="ypad">0</property>
404                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
405                       <property name="width_chars">-1</property>
406                       <property name="single_line_mode">False</property>
407                       <property name="angle">0</property>
408                     </widget>
409                     <packing>
410                       <property name="padding">0</property>
411                       <property name="expand">False</property>
412                       <property name="fill">False</property>
413                     </packing>
414                   </child>
415
416                   <child>
417                     <widget class="GtkHBox" id="hbox50">
418                       <property name="visible">True</property>
419                       <property name="homogeneous">False</property>
420                       <property name="spacing">0</property>
421
422                       <child>
423                         <widget class="GtkLabel" id="label100">
424                           <property name="visible">True</property>
425                           <property name="label" translatable="yes">    </property>
426                           <property name="use_underline">False</property>
427                           <property name="use_markup">False</property>
428                           <property name="justify">GTK_JUSTIFY_LEFT</property>
429                           <property name="wrap">False</property>
430                           <property name="selectable">False</property>
431                           <property name="xalign">0.5</property>
432                           <property name="yalign">0.5</property>
433                           <property name="xpad">0</property>
434                           <property name="ypad">0</property>
435                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
436                           <property name="width_chars">-1</property>
437                           <property name="single_line_mode">False</property>
438                           <property name="angle">0</property>
439                         </widget>
440                         <packing>
441                           <property name="padding">0</property>
442                           <property name="expand">False</property>
443                           <property name="fill">False</property>
444                         </packing>
445                       </child>
446
447                       <child>
448                         <widget class="GtkHBox" id="hbox51">
449                           <property name="visible">True</property>
450                           <property name="homogeneous">False</property>
451                           <property name="spacing">0</property>
452
453                           <child>
454                             <widget class="GtkCheckButton" id="window_border">
455                               <property name="visible">True</property>
456                               <property name="can_focus">True</property>
457                               <property name="label" translatable="yes">_Windows retain a border when undecorated</property>
458                               <property name="use_underline">True</property>
459                               <property name="relief">GTK_RELIEF_NORMAL</property>
460                               <property name="focus_on_click">True</property>
461                               <property name="active">False</property>
462                               <property name="inconsistent">False</property>
463                               <property name="draw_indicator">True</property>
464                               <signal name="toggled" handler="on_window_border_toggled" after="yes" last_modification_time="Fri, 25 May 2007 16:03:01 GMT"/>
465                             </widget>
466                             <packing>
467                               <property name="padding">0</property>
468                               <property name="expand">False</property>
469                               <property name="fill">False</property>
470                             </packing>
471                           </child>
472                         </widget>
473                         <packing>
474                           <property name="padding">0</property>
475                           <property name="expand">True</property>
476                           <property name="fill">True</property>
477                         </packing>
478                       </child>
479                     </widget>
480                     <packing>
481                       <property name="padding">0</property>
482                       <property name="expand">False</property>
483                       <property name="fill">True</property>
484                     </packing>
485                   </child>
486                 </widget>
487                 <packing>
488                   <property name="padding">0</property>
489                   <property name="expand">False</property>
490                   <property name="fill">True</property>
491                 </packing>
492               </child>
493
494               <child>
495                 <widget class="GtkVBox" id="vbox38">
496                   <property name="visible">True</property>
497                   <property name="homogeneous">False</property>
498                   <property name="spacing">6</property>
499
500                   <child>
501                     <widget class="GtkLabel" id="label88">
502                       <property name="visible">True</property>
503                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Window Titles&lt;/span&gt;</property>
504                       <property name="use_underline">False</property>
505                       <property name="use_markup">True</property>
506                       <property name="justify">GTK_JUSTIFY_LEFT</property>
507                       <property name="wrap">False</property>
508                       <property name="selectable">False</property>
509                       <property name="xalign">0</property>
510                       <property name="yalign">0.5</property>
511                       <property name="xpad">0</property>
512                       <property name="ypad">0</property>
513                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
514                       <property name="width_chars">-1</property>
515                       <property name="single_line_mode">False</property>
516                       <property name="angle">0</property>
517                     </widget>
518                     <packing>
519                       <property name="padding">0</property>
520                       <property name="expand">False</property>
521                       <property name="fill">False</property>
522                     </packing>
523                   </child>
524
525                   <child>
526                     <widget class="GtkHBox" id="hbox43">
527                       <property name="visible">True</property>
528                       <property name="homogeneous">False</property>
529                       <property name="spacing">0</property>
530
531                       <child>
532                         <widget class="GtkLabel" id="label89">
533                           <property name="visible">True</property>
534                           <property name="label" translatable="yes">    </property>
535                           <property name="use_underline">False</property>
536                           <property name="use_markup">False</property>
537                           <property name="justify">GTK_JUSTIFY_LEFT</property>
538                           <property name="wrap">False</property>
539                           <property name="selectable">False</property>
540                           <property name="xalign">0.5</property>
541                           <property name="yalign">0.5</property>
542                           <property name="xpad">0</property>
543                           <property name="ypad">0</property>
544                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
545                           <property name="width_chars">-1</property>
546                           <property name="single_line_mode">False</property>
547                           <property name="angle">0</property>
548                         </widget>
549                         <packing>
550                           <property name="padding">0</property>
551                           <property name="expand">False</property>
552                           <property name="fill">False</property>
553                         </packing>
554                       </child>
555
556                       <child>
557                         <widget class="GtkHBox" id="hbox44">
558                           <property name="visible">True</property>
559                           <property name="homogeneous">False</property>
560                           <property name="spacing">6</property>
561
562                           <child>
563                             <widget class="GtkLabel" id="label90">
564                               <property name="visible">True</property>
565                               <property name="label" translatable="yes">_Button order:</property>
566                               <property name="use_underline">True</property>
567                               <property name="use_markup">False</property>
568                               <property name="justify">GTK_JUSTIFY_LEFT</property>
569                               <property name="wrap">False</property>
570                               <property name="selectable">False</property>
571                               <property name="xalign">0.5</property>
572                               <property name="yalign">0.5</property>
573                               <property name="xpad">0</property>
574                               <property name="ypad">0</property>
575                               <property name="mnemonic_widget">title_layout</property>
576                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
577                               <property name="width_chars">-1</property>
578                               <property name="single_line_mode">False</property>
579                               <property name="angle">0</property>
580                             </widget>
581                             <packing>
582                               <property name="padding">0</property>
583                               <property name="expand">False</property>
584                               <property name="fill">False</property>
585                             </packing>
586                           </child>
587
588                           <child>
589                             <widget class="GtkEntry" id="title_layout">
590                               <property name="visible">True</property>
591                               <property name="tooltip" translatable="yes">N - The window's icon
592 D - The all-desktops (sticky) button
593 S - The shade (roll up) button
594 L - The label (window title)
595 I - The iconify (minimize) button
596 M - The maximize button
597 C - The close button</property>
598                               <property name="can_focus">True</property>
599                               <property name="editable">True</property>
600                               <property name="visibility">True</property>
601                               <property name="max_length">0</property>
602                               <property name="text" translatable="yes"></property>
603                               <property name="has_frame">True</property>
604                               <property name="invisible_char">*</property>
605                               <property name="activates_default">False</property>
606                               <signal name="changed" handler="on_title_layout_changed" after="yes" last_modification_time="Fri, 25 May 2007 16:02:40 GMT"/>
607                             </widget>
608                             <packing>
609                               <property name="padding">0</property>
610                               <property name="expand">True</property>
611                               <property name="fill">True</property>
612                             </packing>
613                           </child>
614                         </widget>
615                         <packing>
616                           <property name="padding">0</property>
617                           <property name="expand">True</property>
618                           <property name="fill">True</property>
619                         </packing>
620                       </child>
621                     </widget>
622                     <packing>
623                       <property name="padding">0</property>
624                       <property name="expand">True</property>
625                       <property name="fill">True</property>
626                     </packing>
627                   </child>
628                 </widget>
629                 <packing>
630                   <property name="padding">0</property>
631                   <property name="expand">False</property>
632                   <property name="fill">True</property>
633                 </packing>
634               </child>
635
636               <child>
637                 <widget class="GtkVBox" id="vbox39">
638                   <property name="visible">True</property>
639                   <property name="homogeneous">False</property>
640                   <property name="spacing">6</property>
641
642                   <child>
643                     <widget class="GtkLabel" id="label91">
644                       <property name="visible">True</property>
645                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Fonts&lt;/span&gt;</property>
646                       <property name="use_underline">False</property>
647                       <property name="use_markup">True</property>
648                       <property name="justify">GTK_JUSTIFY_LEFT</property>
649                       <property name="wrap">False</property>
650                       <property name="selectable">False</property>
651                       <property name="xalign">0</property>
652                       <property name="yalign">0.5</property>
653                       <property name="xpad">0</property>
654                       <property name="ypad">0</property>
655                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
656                       <property name="width_chars">-1</property>
657                       <property name="single_line_mode">False</property>
658                       <property name="angle">0</property>
659                     </widget>
660                     <packing>
661                       <property name="padding">0</property>
662                       <property name="expand">False</property>
663                       <property name="fill">False</property>
664                     </packing>
665                   </child>
666
667                   <child>
668                     <widget class="GtkHBox" id="hbox45">
669                       <property name="visible">True</property>
670                       <property name="homogeneous">False</property>
671                       <property name="spacing">0</property>
672
673                       <child>
674                         <widget class="GtkLabel" id="label92">
675                           <property name="visible">True</property>
676                           <property name="label" translatable="yes">    </property>
677                           <property name="use_underline">False</property>
678                           <property name="use_markup">False</property>
679                           <property name="justify">GTK_JUSTIFY_LEFT</property>
680                           <property name="wrap">False</property>
681                           <property name="selectable">False</property>
682                           <property name="xalign">0.5</property>
683                           <property name="yalign">0.5</property>
684                           <property name="xpad">0</property>
685                           <property name="ypad">0</property>
686                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
687                           <property name="width_chars">-1</property>
688                           <property name="single_line_mode">False</property>
689                           <property name="angle">0</property>
690                         </widget>
691                         <packing>
692                           <property name="padding">0</property>
693                           <property name="expand">False</property>
694                           <property name="fill">False</property>
695                         </packing>
696                       </child>
697
698                       <child>
699                         <widget class="GtkTable" id="table1">
700                           <property name="visible">True</property>
701                           <property name="n_rows">5</property>
702                           <property name="n_columns">2</property>
703                           <property name="homogeneous">False</property>
704                           <property name="row_spacing">3</property>
705                           <property name="column_spacing">0</property>
706
707                           <child>
708                             <widget class="GtkFontButton" id="font_inactive">
709                               <property name="visible">True</property>
710                               <property name="can_focus">True</property>
711                               <property name="show_style">True</property>
712                               <property name="show_size">True</property>
713                               <property name="use_font">True</property>
714                               <property name="use_size">False</property>
715                               <property name="focus_on_click">True</property>
716                               <signal name="font_set" handler="on_font_inactive_font_set" last_modification_time="Fri, 25 May 2007 16:03:13 GMT"/>
717                             </widget>
718                             <packing>
719                               <property name="left_attach">1</property>
720                               <property name="right_attach">2</property>
721                               <property name="top_attach">1</property>
722                               <property name="bottom_attach">2</property>
723                               <property name="x_options">fill</property>
724                               <property name="y_options"></property>
725                             </packing>
726                           </child>
727
728                           <child>
729                             <widget class="GtkFontButton" id="font_menu_header">
730                               <property name="visible">True</property>
731                               <property name="can_focus">True</property>
732                               <property name="show_style">True</property>
733                               <property name="show_size">True</property>
734                               <property name="use_font">True</property>
735                               <property name="use_size">False</property>
736                               <property name="focus_on_click">True</property>
737                               <signal name="font_set" handler="on_font_menu_header_font_set" last_modification_time="Fri, 25 May 2007 16:03:17 GMT"/>
738                             </widget>
739                             <packing>
740                               <property name="left_attach">1</property>
741                               <property name="right_attach">2</property>
742                               <property name="top_attach">2</property>
743                               <property name="bottom_attach">3</property>
744                               <property name="x_options">fill</property>
745                               <property name="y_options"></property>
746                             </packing>
747                           </child>
748
749                           <child>
750                             <widget class="GtkFontButton" id="font_menu_item">
751                               <property name="visible">True</property>
752                               <property name="can_focus">True</property>
753                               <property name="show_style">True</property>
754                               <property name="show_size">True</property>
755                               <property name="use_font">True</property>
756                               <property name="use_size">False</property>
757                               <property name="focus_on_click">True</property>
758                               <signal name="font_set" handler="on_font_menu_item_font_set" last_modification_time="Fri, 25 May 2007 16:03:20 GMT"/>
759                             </widget>
760                             <packing>
761                               <property name="left_attach">1</property>
762                               <property name="right_attach">2</property>
763                               <property name="top_attach">3</property>
764                               <property name="bottom_attach">4</property>
765                               <property name="x_options">fill</property>
766                               <property name="y_options"></property>
767                             </packing>
768                           </child>
769
770                           <child>
771                             <widget class="GtkFontButton" id="font_display">
772                               <property name="visible">True</property>
773                               <property name="can_focus">True</property>
774                               <property name="show_style">True</property>
775                               <property name="show_size">True</property>
776                               <property name="use_font">True</property>
777                               <property name="use_size">False</property>
778                               <property name="focus_on_click">True</property>
779                               <signal name="font_set" handler="on_font_display_font_set" last_modification_time="Fri, 25 May 2007 16:03:23 GMT"/>
780                             </widget>
781                             <packing>
782                               <property name="left_attach">1</property>
783                               <property name="right_attach">2</property>
784                               <property name="top_attach">4</property>
785                               <property name="bottom_attach">5</property>
786                               <property name="x_options">fill</property>
787                               <property name="y_options"></property>
788                             </packing>
789                           </child>
790
791                           <child>
792                             <widget class="GtkLabel" id="label94">
793                               <property name="visible">True</property>
794                               <property name="label" translatable="yes">_Active window title: </property>
795                               <property name="use_underline">True</property>
796                               <property name="use_markup">False</property>
797                               <property name="justify">GTK_JUSTIFY_LEFT</property>
798                               <property name="wrap">False</property>
799                               <property name="selectable">False</property>
800                               <property name="xalign">1</property>
801                               <property name="yalign">0.5</property>
802                               <property name="xpad">0</property>
803                               <property name="ypad">0</property>
804                               <property name="mnemonic_widget">font_active</property>
805                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
806                               <property name="width_chars">-1</property>
807                               <property name="single_line_mode">False</property>
808                               <property name="angle">0</property>
809                             </widget>
810                             <packing>
811                               <property name="left_attach">0</property>
812                               <property name="right_attach">1</property>
813                               <property name="top_attach">0</property>
814                               <property name="bottom_attach">1</property>
815                               <property name="x_options">fill</property>
816                               <property name="y_options"></property>
817                             </packing>
818                           </child>
819
820                           <child>
821                             <widget class="GtkLabel" id="label95">
822                               <property name="visible">True</property>
823                               <property name="label" translatable="yes">_Inactive window title: </property>
824                               <property name="use_underline">True</property>
825                               <property name="use_markup">False</property>
826                               <property name="justify">GTK_JUSTIFY_LEFT</property>
827                               <property name="wrap">False</property>
828                               <property name="selectable">False</property>
829                               <property name="xalign">1</property>
830                               <property name="yalign">0.5</property>
831                               <property name="xpad">0</property>
832                               <property name="ypad">0</property>
833                               <property name="mnemonic_widget">font_inactive</property>
834                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
835                               <property name="width_chars">-1</property>
836                               <property name="single_line_mode">False</property>
837                               <property name="angle">0</property>
838                             </widget>
839                             <packing>
840                               <property name="left_attach">0</property>
841                               <property name="right_attach">1</property>
842                               <property name="top_attach">1</property>
843                               <property name="bottom_attach">2</property>
844                               <property name="x_options">fill</property>
845                               <property name="y_options"></property>
846                             </packing>
847                           </child>
848
849                           <child>
850                             <widget class="GtkLabel" id="label96">
851                               <property name="visible">True</property>
852                               <property name="label" translatable="yes">Menu _header: </property>
853                               <property name="use_underline">True</property>
854                               <property name="use_markup">False</property>
855                               <property name="justify">GTK_JUSTIFY_LEFT</property>
856                               <property name="wrap">False</property>
857                               <property name="selectable">False</property>
858                               <property name="xalign">1</property>
859                               <property name="yalign">0.5</property>
860                               <property name="xpad">0</property>
861                               <property name="ypad">0</property>
862                               <property name="mnemonic_widget">font_menu_header</property>
863                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
864                               <property name="width_chars">-1</property>
865                               <property name="single_line_mode">False</property>
866                               <property name="angle">0</property>
867                             </widget>
868                             <packing>
869                               <property name="left_attach">0</property>
870                               <property name="right_attach">1</property>
871                               <property name="top_attach">2</property>
872                               <property name="bottom_attach">3</property>
873                               <property name="x_options">fill</property>
874                               <property name="y_options"></property>
875                             </packing>
876                           </child>
877
878                           <child>
879                             <widget class="GtkLabel" id="label97">
880                               <property name="visible">True</property>
881                               <property name="label" translatable="yes">_Menu Item: </property>
882                               <property name="use_underline">True</property>
883                               <property name="use_markup">False</property>
884                               <property name="justify">GTK_JUSTIFY_LEFT</property>
885                               <property name="wrap">False</property>
886                               <property name="selectable">False</property>
887                               <property name="xalign">1</property>
888                               <property name="yalign">0.5</property>
889                               <property name="xpad">0</property>
890                               <property name="ypad">0</property>
891                               <property name="mnemonic_widget">font_menu_item</property>
892                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
893                               <property name="width_chars">-1</property>
894                               <property name="single_line_mode">False</property>
895                               <property name="angle">0</property>
896                             </widget>
897                             <packing>
898                               <property name="left_attach">0</property>
899                               <property name="right_attach">1</property>
900                               <property name="top_attach">3</property>
901                               <property name="bottom_attach">4</property>
902                               <property name="x_options">fill</property>
903                               <property name="y_options"></property>
904                             </packing>
905                           </child>
906
907                           <child>
908                             <widget class="GtkLabel" id="label98">
909                               <property name="visible">True</property>
910                               <property name="label" translatable="yes">_On-screen display: </property>
911                               <property name="use_underline">True</property>
912                               <property name="use_markup">False</property>
913                               <property name="justify">GTK_JUSTIFY_LEFT</property>
914                               <property name="wrap">False</property>
915                               <property name="selectable">False</property>
916                               <property name="xalign">1</property>
917                               <property name="yalign">0.5</property>
918                               <property name="xpad">0</property>
919                               <property name="ypad">0</property>
920                               <property name="mnemonic_widget">font_display</property>
921                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
922                               <property name="width_chars">-1</property>
923                               <property name="single_line_mode">False</property>
924                               <property name="angle">0</property>
925                             </widget>
926                             <packing>
927                               <property name="left_attach">0</property>
928                               <property name="right_attach">1</property>
929                               <property name="top_attach">4</property>
930                               <property name="bottom_attach">5</property>
931                               <property name="x_options">fill</property>
932                               <property name="y_options"></property>
933                             </packing>
934                           </child>
935
936                           <child>
937                             <widget class="GtkFontButton" id="font_active">
938                               <property name="visible">True</property>
939                               <property name="can_focus">True</property>
940                               <property name="show_style">True</property>
941                               <property name="show_size">True</property>
942                               <property name="use_font">True</property>
943                               <property name="use_size">False</property>
944                               <property name="focus_on_click">True</property>
945                               <signal name="font_set" handler="on_font_active_font_set" last_modification_time="Fri, 25 May 2007 16:03:09 GMT"/>
946                             </widget>
947                             <packing>
948                               <property name="left_attach">1</property>
949                               <property name="right_attach">2</property>
950                               <property name="top_attach">0</property>
951                               <property name="bottom_attach">1</property>
952                               <property name="y_options"></property>
953                             </packing>
954                           </child>
955                         </widget>
956                         <packing>
957                           <property name="padding">0</property>
958                           <property name="expand">True</property>
959                           <property name="fill">True</property>
960                         </packing>
961                       </child>
962                     </widget>
963                     <packing>
964                       <property name="padding">0</property>
965                       <property name="expand">True</property>
966                       <property name="fill">True</property>
967                     </packing>
968                   </child>
969                 </widget>
970                 <packing>
971                   <property name="padding">0</property>
972                   <property name="expand">True</property>
973                   <property name="fill">True</property>
974                 </packing>
975               </child>
976             </widget>
977             <packing>
978               <property name="tab_expand">False</property>
979               <property name="tab_fill">True</property>
980             </packing>
981           </child>
982
983           <child>
984             <widget class="GtkLabel" id="label84">
985               <property name="visible">True</property>
986               <property name="label" translatable="yes">Appearance</property>
987               <property name="use_underline">False</property>
988               <property name="use_markup">False</property>
989               <property name="justify">GTK_JUSTIFY_LEFT</property>
990               <property name="wrap">False</property>
991               <property name="selectable">False</property>
992               <property name="xalign">0.5</property>
993               <property name="yalign">0.5</property>
994               <property name="xpad">0</property>
995               <property name="ypad">0</property>
996               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
997               <property name="width_chars">-1</property>
998               <property name="single_line_mode">False</property>
999               <property name="angle">0</property>
1000             </widget>
1001             <packing>
1002               <property name="type">tab</property>
1003             </packing>
1004           </child>
1005
1006           <child>
1007             <widget class="GtkVBox" id="vbox12">
1008               <property name="border_width">12</property>
1009               <property name="visible">True</property>
1010               <property name="homogeneous">False</property>
1011               <property name="spacing">18</property>
1012
1013               <child>
1014                 <widget class="GtkVBox" id="vbox13">
1015                   <property name="visible">True</property>
1016                   <property name="homogeneous">False</property>
1017                   <property name="spacing">6</property>
1018
1019                   <child>
1020                     <widget class="GtkLabel" id="label32">
1021                       <property name="visible">True</property>
1022                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Focusing Windows&lt;/span&gt;</property>
1023                       <property name="use_underline">False</property>
1024                       <property name="use_markup">True</property>
1025                       <property name="justify">GTK_JUSTIFY_LEFT</property>
1026                       <property name="wrap">False</property>
1027                       <property name="selectable">False</property>
1028                       <property name="xalign">0</property>
1029                       <property name="yalign">0.5</property>
1030                       <property name="xpad">0</property>
1031                       <property name="ypad">0</property>
1032                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1033                       <property name="width_chars">-1</property>
1034                       <property name="single_line_mode">False</property>
1035                       <property name="angle">0</property>
1036                     </widget>
1037                     <packing>
1038                       <property name="padding">0</property>
1039                       <property name="expand">False</property>
1040                       <property name="fill">False</property>
1041                     </packing>
1042                   </child>
1043
1044                   <child>
1045                     <widget class="GtkHBox" id="hbox13">
1046                       <property name="visible">True</property>
1047                       <property name="homogeneous">False</property>
1048                       <property name="spacing">0</property>
1049
1050                       <child>
1051                         <widget class="GtkLabel" id="label33">
1052                           <property name="visible">True</property>
1053                           <property name="label" translatable="yes">    </property>
1054                           <property name="use_underline">False</property>
1055                           <property name="use_markup">False</property>
1056                           <property name="justify">GTK_JUSTIFY_LEFT</property>
1057                           <property name="wrap">False</property>
1058                           <property name="selectable">False</property>
1059                           <property name="xalign">0.5</property>
1060                           <property name="yalign">0.5</property>
1061                           <property name="xpad">0</property>
1062                           <property name="ypad">0</property>
1063                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1064                           <property name="width_chars">-1</property>
1065                           <property name="single_line_mode">False</property>
1066                           <property name="angle">0</property>
1067                         </widget>
1068                         <packing>
1069                           <property name="padding">0</property>
1070                           <property name="expand">False</property>
1071                           <property name="fill">False</property>
1072                         </packing>
1073                       </child>
1074
1075                       <child>
1076                         <widget class="GtkVBox" id="vbox15">
1077                           <property name="visible">True</property>
1078                           <property name="homogeneous">False</property>
1079                           <property name="spacing">6</property>
1080
1081                           <child>
1082                             <widget class="GtkCheckButton" id="focus_mouse">
1083                               <property name="visible">True</property>
1084                               <property name="can_focus">True</property>
1085                               <property name="label" translatable="yes">_Focus windows when the mouse pointer moves over them</property>
1086                               <property name="use_underline">True</property>
1087                               <property name="relief">GTK_RELIEF_NORMAL</property>
1088                               <property name="focus_on_click">True</property>
1089                               <property name="active">False</property>
1090                               <property name="inconsistent">False</property>
1091                               <property name="draw_indicator">True</property>
1092                               <signal name="toggled" handler="on_focus_mouse_toggled" after="yes" last_modification_time="Sun, 14 Sep 2003 11:24:01 GMT"/>
1093                             </widget>
1094                             <packing>
1095                               <property name="padding">0</property>
1096                               <property name="expand">False</property>
1097                               <property name="fill">False</property>
1098                             </packing>
1099                           </child>
1100
1101                           <child>
1102                             <widget class="GtkHBox" id="hbox32">
1103                               <property name="visible">True</property>
1104                               <property name="homogeneous">False</property>
1105                               <property name="spacing">0</property>
1106
1107                               <child>
1108                                 <widget class="GtkLabel" id="label65">
1109                                   <property name="visible">True</property>
1110                                   <property name="label" translatable="yes">    </property>
1111                                   <property name="use_underline">False</property>
1112                                   <property name="use_markup">False</property>
1113                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1114                                   <property name="wrap">False</property>
1115                                   <property name="selectable">False</property>
1116                                   <property name="xalign">0.5</property>
1117                                   <property name="yalign">0.5</property>
1118                                   <property name="xpad">0</property>
1119                                   <property name="ypad">0</property>
1120                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1121                                   <property name="width_chars">-1</property>
1122                                   <property name="single_line_mode">False</property>
1123                                   <property name="angle">0</property>
1124                                 </widget>
1125                                 <packing>
1126                                   <property name="padding">0</property>
1127                                   <property name="expand">False</property>
1128                                   <property name="fill">False</property>
1129                                 </packing>
1130                               </child>
1131
1132                               <child>
1133                                 <widget class="GtkVBox" id="vbox25">
1134                                   <property name="visible">True</property>
1135                                   <property name="homogeneous">False</property>
1136                                   <property name="spacing">6</property>
1137
1138                                   <child>
1139                                     <widget class="GtkCheckButton" id="focus_raise">
1140                                       <property name="visible">True</property>
1141                                       <property name="can_focus">True</property>
1142                                       <property name="label" translatable="yes">_Raise windows when the mouse pointer moves over them</property>
1143                                       <property name="use_underline">True</property>
1144                                       <property name="relief">GTK_RELIEF_NORMAL</property>
1145                                       <property name="focus_on_click">True</property>
1146                                       <property name="active">False</property>
1147                                       <property name="inconsistent">False</property>
1148                                       <property name="draw_indicator">True</property>
1149                                       <signal name="toggled" handler="on_focus_raise_toggled" after="yes" last_modification_time="Mon, 22 Sep 2003 06:37:32 GMT"/>
1150                                     </widget>
1151                                     <packing>
1152                                       <property name="padding">0</property>
1153                                       <property name="expand">False</property>
1154                                       <property name="fill">False</property>
1155                                     </packing>
1156                                   </child>
1157
1158                                   <child>
1159                                     <widget class="GtkHBox" id="hbox16">
1160                                       <property name="visible">True</property>
1161                                       <property name="homogeneous">False</property>
1162                                       <property name="spacing">6</property>
1163
1164                                       <child>
1165                                         <widget class="GtkLabel" id="focus_delay_label">
1166                                           <property name="visible">True</property>
1167                                           <property name="label" translatable="yes">_Delay before focusing and raising windows:</property>
1168                                           <property name="use_underline">True</property>
1169                                           <property name="use_markup">False</property>
1170                                           <property name="justify">GTK_JUSTIFY_LEFT</property>
1171                                           <property name="wrap">False</property>
1172                                           <property name="selectable">False</property>
1173                                           <property name="xalign">0.5</property>
1174                                           <property name="yalign">0.5</property>
1175                                           <property name="xpad">0</property>
1176                                           <property name="ypad">0</property>
1177                                           <property name="mnemonic_widget">focus_delay</property>
1178                                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1179                                           <property name="width_chars">-1</property>
1180                                           <property name="single_line_mode">False</property>
1181                                           <property name="angle">0</property>
1182                                         </widget>
1183                                         <packing>
1184                                           <property name="padding">0</property>
1185                                           <property name="expand">False</property>
1186                                           <property name="fill">False</property>
1187                                         </packing>
1188                                       </child>
1189
1190                                       <child>
1191                                         <widget class="GtkSpinButton" id="focus_delay">
1192                                           <property name="visible">True</property>
1193                                           <property name="can_focus">True</property>
1194                                           <property name="climb_rate">1</property>
1195                                           <property name="digits">0</property>
1196                                           <property name="numeric">True</property>
1197                                           <property name="update_policy">GTK_UPDATE_ALWAYS</property>
1198                                           <property name="snap_to_ticks">False</property>
1199                                           <property name="wrap">False</property>
1200                                           <property name="adjustment">0 0 10000 10 10 10</property>
1201                                           <signal name="value_changed" handler="on_focus_delay_value_changed" after="yes" last_modification_time="Sun, 14 Sep 2003 11:24:28 GMT"/>
1202                                         </widget>
1203                                         <packing>
1204                                           <property name="padding">0</property>
1205                                           <property name="expand">False</property>
1206                                           <property name="fill">True</property>
1207                                         </packing>
1208                                       </child>
1209
1210                                       <child>
1211                                         <widget class="GtkLabel" id="focus_delay_label_units">
1212                                           <property name="visible">True</property>
1213                                           <property name="label" translatable="yes">ms</property>
1214                                           <property name="use_underline">False</property>
1215                                           <property name="use_markup">False</property>
1216                                           <property name="justify">GTK_JUSTIFY_LEFT</property>
1217                                           <property name="wrap">False</property>
1218                                           <property name="selectable">False</property>
1219                                           <property name="xalign">0.5</property>
1220                                           <property name="yalign">0.5</property>
1221                                           <property name="xpad">0</property>
1222                                           <property name="ypad">0</property>
1223                                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1224                                           <property name="width_chars">-1</property>
1225                                           <property name="single_line_mode">False</property>
1226                                           <property name="angle">0</property>
1227                                         </widget>
1228                                         <packing>
1229                                           <property name="padding">0</property>
1230                                           <property name="expand">False</property>
1231                                           <property name="fill">False</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="GtkCheckButton" id="focus_last">
1244                                       <property name="visible">True</property>
1245                                       <property name="can_focus">True</property>
1246                                       <property name="label" translatable="yes">_Give focus to the last used window when switching desktops</property>
1247                                       <property name="use_underline">True</property>
1248                                       <property name="relief">GTK_RELIEF_NORMAL</property>
1249                                       <property name="focus_on_click">True</property>
1250                                       <property name="active">False</property>
1251                                       <property name="inconsistent">False</property>
1252                                       <property name="draw_indicator">True</property>
1253                                       <signal name="toggled" handler="on_focus_last_toggled" last_modification_time="Fri, 25 May 2007 18:54:28 GMT"/>
1254                                     </widget>
1255                                     <packing>
1256                                       <property name="padding">0</property>
1257                                       <property name="expand">False</property>
1258                                       <property name="fill">False</property>
1259                                     </packing>
1260                                   </child>
1261                                 </widget>
1262                                 <packing>
1263                                   <property name="padding">0</property>
1264                                   <property name="expand">True</property>
1265                                   <property name="fill">True</property>
1266                                 </packing>
1267                               </child>
1268                             </widget>
1269                             <packing>
1270                               <property name="padding">0</property>
1271                               <property name="expand">False</property>
1272                               <property name="fill">False</property>
1273                             </packing>
1274                           </child>
1275
1276                           <child>
1277                             <widget class="GtkCheckButton" id="focus_new">
1278                               <property name="visible">True</property>
1279                               <property name="can_focus">True</property>
1280                               <property name="label" translatable="yes">Focus _new windows when they appear</property>
1281                               <property name="use_underline">True</property>
1282                               <property name="relief">GTK_RELIEF_NORMAL</property>
1283                               <property name="focus_on_click">True</property>
1284                               <property name="active">False</property>
1285                               <property name="inconsistent">False</property>
1286                               <property name="draw_indicator">True</property>
1287                               <signal name="toggled" handler="on_focus_new_toggled" after="yes" last_modification_time="Sun, 14 Sep 2003 11:25:04 GMT"/>
1288                             </widget>
1289                             <packing>
1290                               <property name="padding">0</property>
1291                               <property name="expand">False</property>
1292                               <property name="fill">False</property>
1293                             </packing>
1294                           </child>
1295                         </widget>
1296                         <packing>
1297                           <property name="padding">0</property>
1298                           <property name="expand">True</property>
1299                           <property name="fill">True</property>
1300                         </packing>
1301                       </child>
1302                     </widget>
1303                     <packing>
1304                       <property name="padding">0</property>
1305                       <property name="expand">False</property>
1306                       <property name="fill">True</property>
1307                     </packing>
1308                   </child>
1309                 </widget>
1310                 <packing>
1311                   <property name="padding">0</property>
1312                   <property name="expand">False</property>
1313                   <property name="fill">True</property>
1314                 </packing>
1315               </child>
1316
1317               <child>
1318                 <widget class="GtkVBox" id="vbox34">
1319                   <property name="visible">True</property>
1320                   <property name="homogeneous">False</property>
1321                   <property name="spacing">6</property>
1322
1323                   <child>
1324                     <widget class="GtkLabel" id="label82">
1325                       <property name="visible">True</property>
1326                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Placing Windows&lt;/span&gt;</property>
1327                       <property name="use_underline">False</property>
1328                       <property name="use_markup">True</property>
1329                       <property name="justify">GTK_JUSTIFY_LEFT</property>
1330                       <property name="wrap">False</property>
1331                       <property name="selectable">False</property>
1332                       <property name="xalign">0</property>
1333                       <property name="yalign">0.5</property>
1334                       <property name="xpad">0</property>
1335                       <property name="ypad">0</property>
1336                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1337                       <property name="width_chars">-1</property>
1338                       <property name="single_line_mode">False</property>
1339                       <property name="angle">0</property>
1340                     </widget>
1341                     <packing>
1342                       <property name="padding">0</property>
1343                       <property name="expand">False</property>
1344                       <property name="fill">False</property>
1345                     </packing>
1346                   </child>
1347
1348                   <child>
1349                     <widget class="GtkHBox" id="hbox40">
1350                       <property name="visible">True</property>
1351                       <property name="homogeneous">False</property>
1352                       <property name="spacing">0</property>
1353
1354                       <child>
1355                         <widget class="GtkLabel" id="label83">
1356                           <property name="visible">True</property>
1357                           <property name="label" translatable="yes">    </property>
1358                           <property name="use_underline">False</property>
1359                           <property name="use_markup">False</property>
1360                           <property name="justify">GTK_JUSTIFY_LEFT</property>
1361                           <property name="wrap">False</property>
1362                           <property name="selectable">False</property>
1363                           <property name="xalign">0.5</property>
1364                           <property name="yalign">0.5</property>
1365                           <property name="xpad">0</property>
1366                           <property name="ypad">0</property>
1367                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1368                           <property name="width_chars">-1</property>
1369                           <property name="single_line_mode">False</property>
1370                           <property name="angle">0</property>
1371                         </widget>
1372                         <packing>
1373                           <property name="padding">0</property>
1374                           <property name="expand">False</property>
1375                           <property name="fill">False</property>
1376                         </packing>
1377                       </child>
1378
1379                       <child>
1380                         <widget class="GtkVBox" id="vbox35">
1381                           <property name="visible">True</property>
1382                           <property name="homogeneous">False</property>
1383                           <property name="spacing">6</property>
1384
1385                           <child>
1386                             <widget class="GtkCheckButton" id="place_mouse">
1387                               <property name="visible">True</property>
1388                               <property name="can_focus">True</property>
1389                               <property name="label" translatable="yes">_Place new windows under the mouse pointer</property>
1390                               <property name="use_underline">True</property>
1391                               <property name="relief">GTK_RELIEF_NORMAL</property>
1392                               <property name="focus_on_click">True</property>
1393                               <property name="active">False</property>
1394                               <property name="inconsistent">False</property>
1395                               <property name="draw_indicator">True</property>
1396                               <signal name="toggled" handler="on_place_mouse_toggled" after="yes" last_modification_time="Sun, 28 Sep 2003 09:09:33 GMT"/>
1397                             </widget>
1398                             <packing>
1399                               <property name="padding">0</property>
1400                               <property name="expand">False</property>
1401                               <property name="fill">False</property>
1402                             </packing>
1403                           </child>
1404                         </widget>
1405                         <packing>
1406                           <property name="padding">0</property>
1407                           <property name="expand">True</property>
1408                           <property name="fill">True</property>
1409                         </packing>
1410                       </child>
1411                     </widget>
1412                     <packing>
1413                       <property name="padding">0</property>
1414                       <property name="expand">True</property>
1415                       <property name="fill">True</property>
1416                     </packing>
1417                   </child>
1418                 </widget>
1419                 <packing>
1420                   <property name="padding">0</property>
1421                   <property name="expand">False</property>
1422                   <property name="fill">True</property>
1423                 </packing>
1424               </child>
1425
1426               <child>
1427                 <widget class="GtkVBox" id="vbox14">
1428                   <property name="visible">True</property>
1429                   <property name="homogeneous">False</property>
1430                   <property name="spacing">6</property>
1431
1432                   <child>
1433                     <widget class="GtkLabel" id="label34">
1434                       <property name="visible">True</property>
1435                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Moving and Resizing Windows&lt;/span&gt;</property>
1436                       <property name="use_underline">False</property>
1437                       <property name="use_markup">True</property>
1438                       <property name="justify">GTK_JUSTIFY_LEFT</property>
1439                       <property name="wrap">False</property>
1440                       <property name="selectable">False</property>
1441                       <property name="xalign">0</property>
1442                       <property name="yalign">0.5</property>
1443                       <property name="xpad">0</property>
1444                       <property name="ypad">0</property>
1445                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1446                       <property name="width_chars">-1</property>
1447                       <property name="single_line_mode">False</property>
1448                       <property name="angle">0</property>
1449                     </widget>
1450                     <packing>
1451                       <property name="padding">0</property>
1452                       <property name="expand">False</property>
1453                       <property name="fill">False</property>
1454                     </packing>
1455                   </child>
1456
1457                   <child>
1458                     <widget class="GtkHBox" id="hbox14">
1459                       <property name="visible">True</property>
1460                       <property name="homogeneous">False</property>
1461                       <property name="spacing">0</property>
1462
1463                       <child>
1464                         <widget class="GtkLabel" id="label35">
1465                           <property name="visible">True</property>
1466                           <property name="label" translatable="yes">    </property>
1467                           <property name="use_underline">False</property>
1468                           <property name="use_markup">False</property>
1469                           <property name="justify">GTK_JUSTIFY_LEFT</property>
1470                           <property name="wrap">False</property>
1471                           <property name="selectable">False</property>
1472                           <property name="xalign">0.5</property>
1473                           <property name="yalign">0.5</property>
1474                           <property name="xpad">0</property>
1475                           <property name="ypad">0</property>
1476                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1477                           <property name="width_chars">-1</property>
1478                           <property name="single_line_mode">False</property>
1479                           <property name="angle">0</property>
1480                         </widget>
1481                         <packing>
1482                           <property name="padding">0</property>
1483                           <property name="expand">False</property>
1484                           <property name="fill">False</property>
1485                         </packing>
1486                       </child>
1487
1488                       <child>
1489                         <widget class="GtkVBox" id="vbox16">
1490                           <property name="visible">True</property>
1491                           <property name="homogeneous">False</property>
1492                           <property name="spacing">6</property>
1493
1494                           <child>
1495                             <widget class="GtkCheckButton" id="resize_contents">
1496                               <property name="visible">True</property>
1497                               <property name="can_focus">True</property>
1498                               <property name="label" translatable="yes">Update the window c_ontents while resizing</property>
1499                               <property name="use_underline">True</property>
1500                               <property name="relief">GTK_RELIEF_NORMAL</property>
1501                               <property name="focus_on_click">True</property>
1502                               <property name="active">False</property>
1503                               <property name="inconsistent">False</property>
1504                               <property name="draw_indicator">True</property>
1505                               <signal name="toggled" handler="on_resize_contents_toggled" after="yes" last_modification_time="Sun, 14 Sep 2003 11:26:12 GMT"/>
1506                             </widget>
1507                             <packing>
1508                               <property name="padding">0</property>
1509                               <property name="expand">False</property>
1510                               <property name="fill">False</property>
1511                             </packing>
1512                           </child>
1513
1514                           <child>
1515                             <widget class="GtkHBox" id="hbox17">
1516                               <property name="visible">True</property>
1517                               <property name="homogeneous">False</property>
1518                               <property name="spacing">6</property>
1519
1520                               <child>
1521                                 <widget class="GtkLabel" id="resist_window_label">
1522                                   <property name="visible">True</property>
1523                                   <property name="label" translatable="yes">Amount of resistance against other _windows:</property>
1524                                   <property name="use_underline">True</property>
1525                                   <property name="use_markup">False</property>
1526                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1527                                   <property name="wrap">False</property>
1528                                   <property name="selectable">False</property>
1529                                   <property name="xalign">0</property>
1530                                   <property name="yalign">0.5</property>
1531                                   <property name="xpad">0</property>
1532                                   <property name="ypad">0</property>
1533                                   <property name="mnemonic_widget">resist_window</property>
1534                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1535                                   <property name="width_chars">-1</property>
1536                                   <property name="single_line_mode">False</property>
1537                                   <property name="angle">0</property>
1538                                 </widget>
1539                                 <packing>
1540                                   <property name="padding">0</property>
1541                                   <property name="expand">False</property>
1542                                   <property name="fill">False</property>
1543                                 </packing>
1544                               </child>
1545
1546                               <child>
1547                                 <widget class="GtkSpinButton" id="resist_window">
1548                                   <property name="visible">True</property>
1549                                   <property name="can_focus">True</property>
1550                                   <property name="climb_rate">1</property>
1551                                   <property name="digits">0</property>
1552                                   <property name="numeric">True</property>
1553                                   <property name="update_policy">GTK_UPDATE_ALWAYS</property>
1554                                   <property name="snap_to_ticks">False</property>
1555                                   <property name="wrap">False</property>
1556                                   <property name="adjustment">20 0 100 1 10 10</property>
1557                                   <signal name="value_changed" handler="on_resist_window_value_changed" after="yes" last_modification_time="Tue, 23 Sep 2003 22:22:53 GMT"/>
1558                                 </widget>
1559                                 <packing>
1560                                   <property name="padding">0</property>
1561                                   <property name="expand">False</property>
1562                                   <property name="fill">True</property>
1563                                 </packing>
1564                               </child>
1565
1566                               <child>
1567                                 <widget class="GtkLabel" id="label67">
1568                                   <property name="visible">True</property>
1569                                   <property name="label" translatable="yes">px</property>
1570                                   <property name="use_underline">False</property>
1571                                   <property name="use_markup">False</property>
1572                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1573                                   <property name="wrap">False</property>
1574                                   <property name="selectable">False</property>
1575                                   <property name="xalign">0.5</property>
1576                                   <property name="yalign">0.5</property>
1577                                   <property name="xpad">0</property>
1578                                   <property name="ypad">0</property>
1579                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1580                                   <property name="width_chars">-1</property>
1581                                   <property name="single_line_mode">False</property>
1582                                   <property name="angle">0</property>
1583                                 </widget>
1584                                 <packing>
1585                                   <property name="padding">0</property>
1586                                   <property name="expand">False</property>
1587                                   <property name="fill">False</property>
1588                                 </packing>
1589                               </child>
1590                             </widget>
1591                             <packing>
1592                               <property name="padding">0</property>
1593                               <property name="expand">False</property>
1594                               <property name="fill">True</property>
1595                             </packing>
1596                           </child>
1597
1598                           <child>
1599                             <widget class="GtkHBox" id="hbox18">
1600                               <property name="visible">True</property>
1601                               <property name="homogeneous">False</property>
1602                               <property name="spacing">6</property>
1603
1604                               <child>
1605                                 <widget class="GtkLabel" id="resist_edge_label">
1606                                   <property name="visible">True</property>
1607                                   <property name="label" translatable="yes">Amount of resistance against screen _edges:</property>
1608                                   <property name="use_underline">True</property>
1609                                   <property name="use_markup">False</property>
1610                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1611                                   <property name="wrap">False</property>
1612                                   <property name="selectable">False</property>
1613                                   <property name="xalign">0</property>
1614                                   <property name="yalign">0.5</property>
1615                                   <property name="xpad">0</property>
1616                                   <property name="ypad">0</property>
1617                                   <property name="mnemonic_widget">resist_edge</property>
1618                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1619                                   <property name="width_chars">-1</property>
1620                                   <property name="single_line_mode">False</property>
1621                                   <property name="angle">0</property>
1622                                 </widget>
1623                                 <packing>
1624                                   <property name="padding">0</property>
1625                                   <property name="expand">False</property>
1626                                   <property name="fill">False</property>
1627                                 </packing>
1628                               </child>
1629
1630                               <child>
1631                                 <widget class="GtkSpinButton" id="resist_edge">
1632                                   <property name="visible">True</property>
1633                                   <property name="can_focus">True</property>
1634                                   <property name="climb_rate">1</property>
1635                                   <property name="digits">0</property>
1636                                   <property name="numeric">True</property>
1637                                   <property name="update_policy">GTK_UPDATE_ALWAYS</property>
1638                                   <property name="snap_to_ticks">False</property>
1639                                   <property name="wrap">False</property>
1640                                   <property name="adjustment">1 0 100 1 10 10</property>
1641                                   <signal name="value_changed" handler="on_resist_edge_value_changed" after="yes" last_modification_time="Tue, 23 Sep 2003 22:23:04 GMT"/>
1642                                 </widget>
1643                                 <packing>
1644                                   <property name="padding">0</property>
1645                                   <property name="expand">False</property>
1646                                   <property name="fill">True</property>
1647                                 </packing>
1648                               </child>
1649
1650                               <child>
1651                                 <widget class="GtkLabel" id="label68">
1652                                   <property name="visible">True</property>
1653                                   <property name="label" translatable="yes">px</property>
1654                                   <property name="use_underline">False</property>
1655                                   <property name="use_markup">False</property>
1656                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1657                                   <property name="wrap">False</property>
1658                                   <property name="selectable">False</property>
1659                                   <property name="xalign">0.5</property>
1660                                   <property name="yalign">0.5</property>
1661                                   <property name="xpad">0</property>
1662                                   <property name="ypad">0</property>
1663                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1664                                   <property name="width_chars">-1</property>
1665                                   <property name="single_line_mode">False</property>
1666                                   <property name="angle">0</property>
1667                                 </widget>
1668                                 <packing>
1669                                   <property name="padding">0</property>
1670                                   <property name="expand">False</property>
1671                                   <property name="fill">False</property>
1672                                 </packing>
1673                               </child>
1674                             </widget>
1675                             <packing>
1676                               <property name="padding">0</property>
1677                               <property name="expand">False</property>
1678                               <property name="fill">True</property>
1679                             </packing>
1680                           </child>
1681                         </widget>
1682                         <packing>
1683                           <property name="padding">0</property>
1684                           <property name="expand">True</property>
1685                           <property name="fill">True</property>
1686                         </packing>
1687                       </child>
1688                     </widget>
1689                     <packing>
1690                       <property name="padding">0</property>
1691                       <property name="expand">True</property>
1692                       <property name="fill">True</property>
1693                     </packing>
1694                   </child>
1695                 </widget>
1696                 <packing>
1697                   <property name="padding">0</property>
1698                   <property name="expand">False</property>
1699                   <property name="fill">True</property>
1700                 </packing>
1701               </child>
1702             </widget>
1703             <packing>
1704               <property name="tab_expand">False</property>
1705               <property name="tab_fill">True</property>
1706             </packing>
1707           </child>
1708
1709           <child>
1710             <widget class="GtkLabel" id="label22">
1711               <property name="visible">True</property>
1712               <property name="label" translatable="yes">Windows</property>
1713               <property name="use_underline">False</property>
1714               <property name="use_markup">False</property>
1715               <property name="justify">GTK_JUSTIFY_LEFT</property>
1716               <property name="wrap">False</property>
1717               <property name="selectable">False</property>
1718               <property name="xalign">0.5</property>
1719               <property name="yalign">0.5</property>
1720               <property name="xpad">0</property>
1721               <property name="ypad">0</property>
1722               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1723               <property name="width_chars">-1</property>
1724               <property name="single_line_mode">False</property>
1725               <property name="angle">0</property>
1726             </widget>
1727             <packing>
1728               <property name="type">tab</property>
1729             </packing>
1730           </child>
1731
1732           <child>
1733             <widget class="GtkVBox" id="vbox56">
1734               <property name="border_width">12</property>
1735               <property name="visible">True</property>
1736               <property name="homogeneous">False</property>
1737               <property name="spacing">18</property>
1738
1739               <child>
1740                 <widget class="GtkVBox" id="vbox61">
1741                   <property name="visible">True</property>
1742                   <property name="homogeneous">False</property>
1743                   <property name="spacing">6</property>
1744
1745                   <child>
1746                     <widget class="GtkLabel" id="label155">
1747                       <property name="visible">True</property>
1748                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Titlebar&lt;/span&gt;</property>
1749                       <property name="use_underline">False</property>
1750                       <property name="use_markup">True</property>
1751                       <property name="justify">GTK_JUSTIFY_LEFT</property>
1752                       <property name="wrap">False</property>
1753                       <property name="selectable">False</property>
1754                       <property name="xalign">0</property>
1755                       <property name="yalign">0.5</property>
1756                       <property name="xpad">0</property>
1757                       <property name="ypad">0</property>
1758                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1759                       <property name="width_chars">-1</property>
1760                       <property name="single_line_mode">False</property>
1761                       <property name="angle">0</property>
1762                     </widget>
1763                     <packing>
1764                       <property name="padding">0</property>
1765                       <property name="expand">False</property>
1766                       <property name="fill">False</property>
1767                     </packing>
1768                   </child>
1769
1770                   <child>
1771                     <widget class="GtkHBox" id="hbox84">
1772                       <property name="visible">True</property>
1773                       <property name="homogeneous">False</property>
1774                       <property name="spacing">0</property>
1775
1776                       <child>
1777                         <widget class="GtkLabel" id="label156">
1778                           <property name="visible">True</property>
1779                           <property name="label" translatable="yes">    </property>
1780                           <property name="use_underline">False</property>
1781                           <property name="use_markup">False</property>
1782                           <property name="justify">GTK_JUSTIFY_LEFT</property>
1783                           <property name="wrap">False</property>
1784                           <property name="selectable">False</property>
1785                           <property name="xalign">0.5</property>
1786                           <property name="yalign">0.5</property>
1787                           <property name="xpad">0</property>
1788                           <property name="ypad">0</property>
1789                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1790                           <property name="width_chars">-1</property>
1791                           <property name="single_line_mode">False</property>
1792                           <property name="angle">0</property>
1793                         </widget>
1794                         <packing>
1795                           <property name="padding">0</property>
1796                           <property name="expand">False</property>
1797                           <property name="fill">False</property>
1798                         </packing>
1799                       </child>
1800
1801                       <child>
1802                         <widget class="GtkVBox" id="vbox62">
1803                           <property name="visible">True</property>
1804                           <property name="homogeneous">False</property>
1805                           <property name="spacing">6</property>
1806
1807                           <child>
1808                             <widget class="GtkHBox" id="hbox87">
1809                               <property name="visible">True</property>
1810                               <property name="homogeneous">False</property>
1811                               <property name="spacing">12</property>
1812
1813                               <child>
1814                                 <widget class="GtkLabel" id="label161">
1815                                   <property name="visible">True</property>
1816                                   <property name="label" translatable="yes">_Double click on the titlebar:</property>
1817                                   <property name="use_underline">True</property>
1818                                   <property name="use_markup">False</property>
1819                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1820                                   <property name="wrap">False</property>
1821                                   <property name="selectable">False</property>
1822                                   <property name="xalign">0</property>
1823                                   <property name="yalign">0.5</property>
1824                                   <property name="xpad">0</property>
1825                                   <property name="ypad">0</property>
1826                                   <property name="mnemonic_widget">dock_position</property>
1827                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1828                                   <property name="width_chars">-1</property>
1829                                   <property name="single_line_mode">False</property>
1830                                   <property name="angle">0</property>
1831                                 </widget>
1832                                 <packing>
1833                                   <property name="padding">0</property>
1834                                   <property name="expand">False</property>
1835                                   <property name="fill">False</property>
1836                                 </packing>
1837                               </child>
1838
1839                               <child>
1840                                 <widget class="GtkOptionMenu" id="titlebar_doubleclick">
1841                                   <property name="visible">True</property>
1842                                   <property name="can_focus">True</property>
1843                                   <property name="history">0</property>
1844
1845                                   <child>
1846                                     <widget class="GtkMenu" id="menu10">
1847
1848                                       <child>
1849                                         <widget class="GtkMenuItem" id="titlebar_doubleclick_maximize">
1850                                           <property name="visible">True</property>
1851                                           <property name="label" translatable="yes">Maximizes the window</property>
1852                                           <property name="use_underline">True</property>
1853                                           <signal name="activate" handler="on_titlebar_doubleclick_maximize_activate" last_modification_time="Fri, 01 Jun 2007 00:41:35 GMT"/>
1854                                         </widget>
1855                                       </child>
1856
1857                                       <child>
1858                                         <widget class="GtkMenuItem" id="titlebar_doubleclick_shade">
1859                                           <property name="visible">True</property>
1860                                           <property name="label" translatable="yes">Shades the window</property>
1861                                           <property name="use_underline">True</property>
1862                                           <signal name="activate" handler="on_titlebar_doubleclick_shade_activate" last_modification_time="Fri, 01 Jun 2007 00:41:35 GMT"/>
1863                                         </widget>
1864                                       </child>
1865                                     </widget>
1866                                   </child>
1867                                 </widget>
1868                                 <packing>
1869                                   <property name="padding">0</property>
1870                                   <property name="expand">False</property>
1871                                   <property name="fill">False</property>
1872                                 </packing>
1873                               </child>
1874                             </widget>
1875                             <packing>
1876                               <property name="padding">0</property>
1877                               <property name="expand">True</property>
1878                               <property name="fill">True</property>
1879                             </packing>
1880                           </child>
1881                         </widget>
1882                         <packing>
1883                           <property name="padding">0</property>
1884                           <property name="expand">True</property>
1885                           <property name="fill">True</property>
1886                         </packing>
1887                       </child>
1888                     </widget>
1889                     <packing>
1890                       <property name="padding">0</property>
1891                       <property name="expand">True</property>
1892                       <property name="fill">True</property>
1893                     </packing>
1894                   </child>
1895                 </widget>
1896                 <packing>
1897                   <property name="padding">0</property>
1898                   <property name="expand">False</property>
1899                   <property name="fill">True</property>
1900                 </packing>
1901               </child>
1902
1903               <child>
1904                 <widget class="GtkVBox" id="vbox63">
1905                   <property name="visible">True</property>
1906                   <property name="homogeneous">False</property>
1907                   <property name="spacing">0</property>
1908
1909                   <child>
1910                     <widget class="GtkLabel" id="label163">
1911                       <property name="visible">True</property>
1912                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Mouse Behavior&lt;/span&gt;</property>
1913                       <property name="use_underline">False</property>
1914                       <property name="use_markup">True</property>
1915                       <property name="justify">GTK_JUSTIFY_LEFT</property>
1916                       <property name="wrap">False</property>
1917                       <property name="selectable">False</property>
1918                       <property name="xalign">0</property>
1919                       <property name="yalign">0.5</property>
1920                       <property name="xpad">0</property>
1921                       <property name="ypad">0</property>
1922                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1923                       <property name="width_chars">-1</property>
1924                       <property name="single_line_mode">False</property>
1925                       <property name="angle">0</property>
1926                     </widget>
1927                     <packing>
1928                       <property name="padding">0</property>
1929                       <property name="expand">False</property>
1930                       <property name="fill">False</property>
1931                     </packing>
1932                   </child>
1933
1934                   <child>
1935                     <widget class="GtkHBox" id="hbox88">
1936                       <property name="visible">True</property>
1937                       <property name="homogeneous">False</property>
1938                       <property name="spacing">0</property>
1939
1940                       <child>
1941                         <widget class="GtkLabel" id="label162">
1942                           <property name="visible">True</property>
1943                           <property name="label" translatable="yes">    </property>
1944                           <property name="use_underline">False</property>
1945                           <property name="use_markup">False</property>
1946                           <property name="justify">GTK_JUSTIFY_LEFT</property>
1947                           <property name="wrap">False</property>
1948                           <property name="selectable">False</property>
1949                           <property name="xalign">0.5</property>
1950                           <property name="yalign">0.5</property>
1951                           <property name="xpad">0</property>
1952                           <property name="ypad">0</property>
1953                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1954                           <property name="width_chars">-1</property>
1955                           <property name="single_line_mode">False</property>
1956                           <property name="angle">0</property>
1957                         </widget>
1958                         <packing>
1959                           <property name="padding">0</property>
1960                           <property name="expand">False</property>
1961                           <property name="fill">False</property>
1962                         </packing>
1963                       </child>
1964
1965                       <child>
1966                         <widget class="GtkVBox" id="vbox64">
1967                           <property name="visible">True</property>
1968                           <property name="homogeneous">False</property>
1969                           <property name="spacing">0</property>
1970
1971                           <child>
1972                             <widget class="GtkHBox" id="hbox85">
1973                               <property name="visible">True</property>
1974                               <property name="homogeneous">False</property>
1975                               <property name="spacing">6</property>
1976
1977                               <child>
1978                                 <widget class="GtkLabel" id="doubleclick_time_label">
1979                                   <property name="visible">True</property>
1980                                   <property name="label" translatable="yes">Double _click time:</property>
1981                                   <property name="use_underline">True</property>
1982                                   <property name="use_markup">False</property>
1983                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1984                                   <property name="wrap">False</property>
1985                                   <property name="selectable">False</property>
1986                                   <property name="xalign">0</property>
1987                                   <property name="yalign">0.5</property>
1988                                   <property name="xpad">0</property>
1989                                   <property name="ypad">0</property>
1990                                   <property name="mnemonic_widget">resist_window</property>
1991                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1992                                   <property name="width_chars">-1</property>
1993                                   <property name="single_line_mode">False</property>
1994                                   <property name="angle">0</property>
1995                                 </widget>
1996                                 <packing>
1997                                   <property name="padding">0</property>
1998                                   <property name="expand">False</property>
1999                                   <property name="fill">False</property>
2000                                 </packing>
2001                               </child>
2002
2003                               <child>
2004                                 <widget class="GtkSpinButton" id="doubleclick_time">
2005                                   <property name="visible">True</property>
2006                                   <property name="can_focus">True</property>
2007                                   <property name="climb_rate">1</property>
2008                                   <property name="digits">0</property>
2009                                   <property name="numeric">True</property>
2010                                   <property name="update_policy">GTK_UPDATE_ALWAYS</property>
2011                                   <property name="snap_to_ticks">False</property>
2012                                   <property name="wrap">False</property>
2013                                   <property name="adjustment">0 0 10000 10 10 10</property>
2014                                   <signal name="value_changed" handler="on_doubleclick_time_value_changed" after="yes" last_modification_time="Thu, 31 May 2007 16:09:40 GMT"/>
2015                                 </widget>
2016                                 <packing>
2017                                   <property name="padding">0</property>
2018                                   <property name="expand">False</property>
2019                                   <property name="fill">True</property>
2020                                 </packing>
2021                               </child>
2022
2023                               <child>
2024                                 <widget class="GtkLabel" id="label158">
2025                                   <property name="visible">True</property>
2026                                   <property name="label" translatable="yes">ms</property>
2027                                   <property name="use_underline">False</property>
2028                                   <property name="use_markup">False</property>
2029                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2030                                   <property name="wrap">False</property>
2031                                   <property name="selectable">False</property>
2032                                   <property name="xalign">0.5</property>
2033                                   <property name="yalign">0.5</property>
2034                                   <property name="xpad">0</property>
2035                                   <property name="ypad">0</property>
2036                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2037                                   <property name="width_chars">-1</property>
2038                                   <property name="single_line_mode">False</property>
2039                                   <property name="angle">0</property>
2040                                 </widget>
2041                                 <packing>
2042                                   <property name="padding">0</property>
2043                                   <property name="expand">False</property>
2044                                   <property name="fill">False</property>
2045                                 </packing>
2046                               </child>
2047                             </widget>
2048                             <packing>
2049                               <property name="padding">0</property>
2050                               <property name="expand">True</property>
2051                               <property name="fill">True</property>
2052                             </packing>
2053                           </child>
2054
2055                           <child>
2056                             <widget class="GtkHBox" id="hbox86">
2057                               <property name="visible">True</property>
2058                               <property name="homogeneous">False</property>
2059                               <property name="spacing">6</property>
2060
2061                               <child>
2062                                 <widget class="GtkLabel" id="drag_threshold_label">
2063                                   <property name="visible">True</property>
2064                                   <property name="label" translatable="yes">Drag _threshold distance:</property>
2065                                   <property name="use_underline">True</property>
2066                                   <property name="use_markup">False</property>
2067                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2068                                   <property name="wrap">False</property>
2069                                   <property name="selectable">False</property>
2070                                   <property name="xalign">0</property>
2071                                   <property name="yalign">0.5</property>
2072                                   <property name="xpad">0</property>
2073                                   <property name="ypad">0</property>
2074                                   <property name="mnemonic_widget">resist_edge</property>
2075                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2076                                   <property name="width_chars">-1</property>
2077                                   <property name="single_line_mode">False</property>
2078                                   <property name="angle">0</property>
2079                                 </widget>
2080                                 <packing>
2081                                   <property name="padding">0</property>
2082                                   <property name="expand">False</property>
2083                                   <property name="fill">False</property>
2084                                 </packing>
2085                               </child>
2086
2087                               <child>
2088                                 <widget class="GtkSpinButton" id="drag_threshold">
2089                                   <property name="visible">True</property>
2090                                   <property name="can_focus">True</property>
2091                                   <property name="climb_rate">1</property>
2092                                   <property name="digits">0</property>
2093                                   <property name="numeric">True</property>
2094                                   <property name="update_policy">GTK_UPDATE_ALWAYS</property>
2095                                   <property name="snap_to_ticks">False</property>
2096                                   <property name="wrap">False</property>
2097                                   <property name="adjustment">1 1 100 1 10 10</property>
2098                                   <signal name="value_changed" handler="on_drag_threshold_value_changed" after="yes" last_modification_time="Thu, 31 May 2007 16:02:00 GMT"/>
2099                                 </widget>
2100                                 <packing>
2101                                   <property name="padding">0</property>
2102                                   <property name="expand">False</property>
2103                                   <property name="fill">True</property>
2104                                 </packing>
2105                               </child>
2106
2107                               <child>
2108                                 <widget class="GtkLabel" id="label160">
2109                                   <property name="visible">True</property>
2110                                   <property name="label" translatable="yes">px</property>
2111                                   <property name="use_underline">False</property>
2112                                   <property name="use_markup">False</property>
2113                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2114                                   <property name="wrap">False</property>
2115                                   <property name="selectable">False</property>
2116                                   <property name="xalign">0.5</property>
2117                                   <property name="yalign">0.5</property>
2118                                   <property name="xpad">0</property>
2119                                   <property name="ypad">0</property>
2120                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2121                                   <property name="width_chars">-1</property>
2122                                   <property name="single_line_mode">False</property>
2123                                   <property name="angle">0</property>
2124                                 </widget>
2125                                 <packing>
2126                                   <property name="padding">0</property>
2127                                   <property name="expand">False</property>
2128                                   <property name="fill">False</property>
2129                                 </packing>
2130                               </child>
2131                             </widget>
2132                             <packing>
2133                               <property name="padding">0</property>
2134                               <property name="expand">True</property>
2135                               <property name="fill">True</property>
2136                             </packing>
2137                           </child>
2138                         </widget>
2139                         <packing>
2140                           <property name="padding">0</property>
2141                           <property name="expand">True</property>
2142                           <property name="fill">True</property>
2143                         </packing>
2144                       </child>
2145                     </widget>
2146                     <packing>
2147                       <property name="padding">0</property>
2148                       <property name="expand">True</property>
2149                       <property name="fill">True</property>
2150                     </packing>
2151                   </child>
2152                 </widget>
2153                 <packing>
2154                   <property name="padding">0</property>
2155                   <property name="expand">False</property>
2156                   <property name="fill">True</property>
2157                 </packing>
2158               </child>
2159             </widget>
2160             <packing>
2161               <property name="tab_expand">False</property>
2162               <property name="tab_fill">True</property>
2163             </packing>
2164           </child>
2165
2166           <child>
2167             <widget class="GtkLabel" id="label118">
2168               <property name="visible">True</property>
2169               <property name="label" translatable="yes">Mouse</property>
2170               <property name="use_underline">False</property>
2171               <property name="use_markup">False</property>
2172               <property name="justify">GTK_JUSTIFY_LEFT</property>
2173               <property name="wrap">False</property>
2174               <property name="selectable">False</property>
2175               <property name="xalign">0.5</property>
2176               <property name="yalign">0.5</property>
2177               <property name="xpad">0</property>
2178               <property name="ypad">0</property>
2179               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2180               <property name="width_chars">-1</property>
2181               <property name="single_line_mode">False</property>
2182               <property name="angle">0</property>
2183             </widget>
2184             <packing>
2185               <property name="type">tab</property>
2186             </packing>
2187           </child>
2188
2189           <child>
2190             <widget class="GtkVBox" id="vbox18">
2191               <property name="border_width">12</property>
2192               <property name="visible">True</property>
2193               <property name="homogeneous">False</property>
2194               <property name="spacing">6</property>
2195
2196               <child>
2197                 <widget class="GtkLabel" id="label51">
2198                   <property name="visible">True</property>
2199                   <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Desktops&lt;/span&gt;</property>
2200                   <property name="use_underline">False</property>
2201                   <property name="use_markup">True</property>
2202                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2203                   <property name="wrap">False</property>
2204                   <property name="selectable">False</property>
2205                   <property name="xalign">0</property>
2206                   <property name="yalign">0.5</property>
2207                   <property name="xpad">0</property>
2208                   <property name="ypad">0</property>
2209                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2210                   <property name="width_chars">-1</property>
2211                   <property name="single_line_mode">False</property>
2212                   <property name="angle">0</property>
2213                 </widget>
2214                 <packing>
2215                   <property name="padding">0</property>
2216                   <property name="expand">False</property>
2217                   <property name="fill">False</property>
2218                 </packing>
2219               </child>
2220
2221               <child>
2222                 <widget class="GtkHBox" id="hbox24">
2223                   <property name="visible">True</property>
2224                   <property name="homogeneous">False</property>
2225                   <property name="spacing">0</property>
2226
2227                   <child>
2228                     <widget class="GtkLabel" id="label52">
2229                       <property name="visible">True</property>
2230                       <property name="label" translatable="yes">    </property>
2231                       <property name="use_underline">False</property>
2232                       <property name="use_markup">False</property>
2233                       <property name="justify">GTK_JUSTIFY_LEFT</property>
2234                       <property name="wrap">False</property>
2235                       <property name="selectable">False</property>
2236                       <property name="xalign">0.5</property>
2237                       <property name="yalign">0.5</property>
2238                       <property name="xpad">0</property>
2239                       <property name="ypad">0</property>
2240                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2241                       <property name="width_chars">-1</property>
2242                       <property name="single_line_mode">False</property>
2243                       <property name="angle">0</property>
2244                     </widget>
2245                     <packing>
2246                       <property name="padding">0</property>
2247                       <property name="expand">False</property>
2248                       <property name="fill">False</property>
2249                     </packing>
2250                   </child>
2251
2252                   <child>
2253                     <widget class="GtkVBox" id="vbox19">
2254                       <property name="visible">True</property>
2255                       <property name="homogeneous">False</property>
2256                       <property name="spacing">6</property>
2257
2258                       <child>
2259                         <widget class="GtkHBox" id="hbox25">
2260                           <property name="visible">True</property>
2261                           <property name="homogeneous">False</property>
2262                           <property name="spacing">6</property>
2263
2264                           <child>
2265                             <widget class="GtkLabel" id="label53">
2266                               <property name="visible">True</property>
2267                               <property name="label" translatable="yes">_Number of desktops: </property>
2268                               <property name="use_underline">True</property>
2269                               <property name="use_markup">False</property>
2270                               <property name="justify">GTK_JUSTIFY_LEFT</property>
2271                               <property name="wrap">False</property>
2272                               <property name="selectable">False</property>
2273                               <property name="xalign">0.5</property>
2274                               <property name="yalign">0.5</property>
2275                               <property name="xpad">0</property>
2276                               <property name="ypad">0</property>
2277                               <property name="mnemonic_widget">desktop_num</property>
2278                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2279                               <property name="width_chars">-1</property>
2280                               <property name="single_line_mode">False</property>
2281                               <property name="angle">0</property>
2282                             </widget>
2283                             <packing>
2284                               <property name="padding">0</property>
2285                               <property name="expand">False</property>
2286                               <property name="fill">False</property>
2287                             </packing>
2288                           </child>
2289
2290                           <child>
2291                             <widget class="GtkSpinButton" id="desktop_num">
2292                               <property name="visible">True</property>
2293                               <property name="can_focus">True</property>
2294                               <property name="climb_rate">1</property>
2295                               <property name="digits">0</property>
2296                               <property name="numeric">True</property>
2297                               <property name="update_policy">GTK_UPDATE_ALWAYS</property>
2298                               <property name="snap_to_ticks">False</property>
2299                               <property name="wrap">False</property>
2300                               <property name="adjustment">1 1 100 1 10 10</property>
2301                               <signal name="value_changed" handler="on_desktop_num_value_changed" after="yes" last_modification_time="Mon, 15 Sep 2003 01:16:20 GMT"/>
2302                             </widget>
2303                             <packing>
2304                               <property name="padding">0</property>
2305                               <property name="expand">False</property>
2306                               <property name="fill">True</property>
2307                             </packing>
2308                           </child>
2309                         </widget>
2310                         <packing>
2311                           <property name="padding">0</property>
2312                           <property name="expand">False</property>
2313                           <property name="fill">True</property>
2314                         </packing>
2315                       </child>
2316
2317                       <child>
2318                         <widget class="GtkLabel" id="label54">
2319                           <property name="visible">True</property>
2320                           <property name="label" translatable="yes">_Desktop names:</property>
2321                           <property name="use_underline">True</property>
2322                           <property name="use_markup">False</property>
2323                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2324                           <property name="wrap">False</property>
2325                           <property name="selectable">False</property>
2326                           <property name="xalign">0</property>
2327                           <property name="yalign">0.5</property>
2328                           <property name="xpad">0</property>
2329                           <property name="ypad">0</property>
2330                           <property name="mnemonic_widget">desktop_names</property>
2331                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2332                           <property name="width_chars">-1</property>
2333                           <property name="single_line_mode">False</property>
2334                           <property name="angle">0</property>
2335                         </widget>
2336                         <packing>
2337                           <property name="padding">0</property>
2338                           <property name="expand">False</property>
2339                           <property name="fill">False</property>
2340                         </packing>
2341                       </child>
2342
2343                       <child>
2344                         <widget class="GtkScrolledWindow" id="scrolledwindow1">
2345                           <property name="visible">True</property>
2346                           <property name="can_focus">True</property>
2347                           <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
2348                           <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2349                           <property name="shadow_type">GTK_SHADOW_IN</property>
2350                           <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
2351
2352                           <child>
2353                             <widget class="GtkTreeView" id="desktop_names">
2354                               <property name="visible">True</property>
2355                               <property name="can_focus">True</property>
2356                               <property name="headers_visible">False</property>
2357                               <property name="rules_hint">False</property>
2358                               <property name="reorderable">False</property>
2359                               <property name="enable_search">True</property>
2360                               <property name="fixed_height_mode">False</property>
2361                               <property name="hover_selection">False</property>
2362                               <property name="hover_expand">False</property>
2363                             </widget>
2364                           </child>
2365                         </widget>
2366                         <packing>
2367                           <property name="padding">0</property>
2368                           <property name="expand">True</property>
2369                           <property name="fill">True</property>
2370                         </packing>
2371                       </child>
2372                     </widget>
2373                     <packing>
2374                       <property name="padding">0</property>
2375                       <property name="expand">True</property>
2376                       <property name="fill">True</property>
2377                     </packing>
2378                   </child>
2379                 </widget>
2380                 <packing>
2381                   <property name="padding">0</property>
2382                   <property name="expand">True</property>
2383                   <property name="fill">True</property>
2384                 </packing>
2385               </child>
2386             </widget>
2387             <packing>
2388               <property name="tab_expand">False</property>
2389               <property name="tab_fill">True</property>
2390             </packing>
2391           </child>
2392
2393           <child>
2394             <widget class="GtkLabel" id="label31">
2395               <property name="visible">True</property>
2396               <property name="label" translatable="yes">Desktops</property>
2397               <property name="use_underline">False</property>
2398               <property name="use_markup">False</property>
2399               <property name="justify">GTK_JUSTIFY_LEFT</property>
2400               <property name="wrap">False</property>
2401               <property name="selectable">False</property>
2402               <property name="xalign">0.5</property>
2403               <property name="yalign">0.5</property>
2404               <property name="xpad">0</property>
2405               <property name="ypad">0</property>
2406               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2407               <property name="width_chars">-1</property>
2408               <property name="single_line_mode">False</property>
2409               <property name="angle">0</property>
2410             </widget>
2411             <packing>
2412               <property name="type">tab</property>
2413             </packing>
2414           </child>
2415
2416           <child>
2417             <widget class="GtkVBox" id="vbox26">
2418               <property name="border_width">12</property>
2419               <property name="visible">True</property>
2420               <property name="homogeneous">False</property>
2421               <property name="spacing">18</property>
2422
2423               <child>
2424                 <widget class="GtkVBox" id="vbox27">
2425                   <property name="visible">True</property>
2426                   <property name="homogeneous">False</property>
2427                   <property name="spacing">6</property>
2428
2429                   <child>
2430                     <widget class="GtkLabel" id="label70">
2431                       <property name="visible">True</property>
2432                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Position&lt;/span&gt;</property>
2433                       <property name="use_underline">False</property>
2434                       <property name="use_markup">True</property>
2435                       <property name="justify">GTK_JUSTIFY_LEFT</property>
2436                       <property name="wrap">False</property>
2437                       <property name="selectable">False</property>
2438                       <property name="xalign">0</property>
2439                       <property name="yalign">0.5</property>
2440                       <property name="xpad">0</property>
2441                       <property name="ypad">0</property>
2442                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2443                       <property name="width_chars">-1</property>
2444                       <property name="single_line_mode">False</property>
2445                       <property name="angle">0</property>
2446                     </widget>
2447                     <packing>
2448                       <property name="padding">0</property>
2449                       <property name="expand">False</property>
2450                       <property name="fill">False</property>
2451                     </packing>
2452                   </child>
2453
2454                   <child>
2455                     <widget class="GtkHBox" id="hbox33">
2456                       <property name="visible">True</property>
2457                       <property name="homogeneous">False</property>
2458                       <property name="spacing">0</property>
2459
2460                       <child>
2461                         <widget class="GtkLabel" id="label71">
2462                           <property name="visible">True</property>
2463                           <property name="label" translatable="yes">    </property>
2464                           <property name="use_underline">False</property>
2465                           <property name="use_markup">False</property>
2466                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2467                           <property name="wrap">False</property>
2468                           <property name="selectable">False</property>
2469                           <property name="xalign">0.5</property>
2470                           <property name="yalign">0.5</property>
2471                           <property name="xpad">0</property>
2472                           <property name="ypad">0</property>
2473                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2474                           <property name="width_chars">-1</property>
2475                           <property name="single_line_mode">False</property>
2476                           <property name="angle">0</property>
2477                         </widget>
2478                         <packing>
2479                           <property name="padding">0</property>
2480                           <property name="expand">False</property>
2481                           <property name="fill">False</property>
2482                         </packing>
2483                       </child>
2484
2485                       <child>
2486                         <widget class="GtkVBox" id="vbox30">
2487                           <property name="visible">True</property>
2488                           <property name="homogeneous">False</property>
2489                           <property name="spacing">6</property>
2490
2491                           <child>
2492                             <widget class="GtkHBox" id="hbox19">
2493                               <property name="visible">True</property>
2494                               <property name="homogeneous">False</property>
2495                               <property name="spacing">12</property>
2496
2497                               <child>
2498                                 <widget class="GtkLabel" id="dock_position_label">
2499                                   <property name="visible">True</property>
2500                                   <property name="label" translatable="yes">_Position:</property>
2501                                   <property name="use_underline">True</property>
2502                                   <property name="use_markup">False</property>
2503                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2504                                   <property name="wrap">False</property>
2505                                   <property name="selectable">False</property>
2506                                   <property name="xalign">0</property>
2507                                   <property name="yalign">0.5</property>
2508                                   <property name="xpad">0</property>
2509                                   <property name="ypad">0</property>
2510                                   <property name="mnemonic_widget">dock_position</property>
2511                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2512                                   <property name="width_chars">-1</property>
2513                                   <property name="single_line_mode">False</property>
2514                                   <property name="angle">0</property>
2515                                 </widget>
2516                                 <packing>
2517                                   <property name="padding">0</property>
2518                                   <property name="expand">False</property>
2519                                   <property name="fill">False</property>
2520                                 </packing>
2521                               </child>
2522
2523                               <child>
2524                                 <widget class="GtkOptionMenu" id="dock_position">
2525                                   <property name="visible">True</property>
2526                                   <property name="can_focus">True</property>
2527                                   <property name="history">0</property>
2528
2529                                   <child>
2530                                     <widget class="GtkMenu" id="menu5">
2531
2532                                       <child>
2533                                         <widget class="GtkMenuItem" id="top_left">
2534                                           <property name="visible">True</property>
2535                                           <property name="label" translatable="yes">Top Left</property>
2536                                           <property name="use_underline">True</property>
2537                                           <signal name="activate" handler="on_dock_top_left_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
2538                                         </widget>
2539                                       </child>
2540
2541                                       <child>
2542                                         <widget class="GtkMenuItem" id="top">
2543                                           <property name="visible">True</property>
2544                                           <property name="label" translatable="yes">Top</property>
2545                                           <property name="use_underline">True</property>
2546                                           <signal name="activate" handler="on_dock_top_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
2547                                         </widget>
2548                                       </child>
2549
2550                                       <child>
2551                                         <widget class="GtkMenuItem" id="top_right">
2552                                           <property name="visible">True</property>
2553                                           <property name="label" translatable="yes">Top Right</property>
2554                                           <property name="use_underline">True</property>
2555                                           <signal name="activate" handler="on_dock_top_right_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
2556                                         </widget>
2557                                       </child>
2558
2559                                       <child>
2560                                         <widget class="GtkMenuItem" id="left">
2561                                           <property name="visible">True</property>
2562                                           <property name="label" translatable="yes">Left</property>
2563                                           <property name="use_underline">True</property>
2564                                           <signal name="activate" handler="on_dock_left_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
2565                                         </widget>
2566                                       </child>
2567
2568                                       <child>
2569                                         <widget class="GtkMenuItem" id="right">
2570                                           <property name="visible">True</property>
2571                                           <property name="label" translatable="yes">Right</property>
2572                                           <property name="use_underline">True</property>
2573                                           <signal name="activate" handler="on_dock_right_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
2574                                         </widget>
2575                                       </child>
2576
2577                                       <child>
2578                                         <widget class="GtkMenuItem" id="bottom_left">
2579                                           <property name="visible">True</property>
2580                                           <property name="label" translatable="yes">Bottom Left</property>
2581                                           <property name="use_underline">True</property>
2582                                           <signal name="activate" handler="on_dock_bottom_left_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
2583                                         </widget>
2584                                       </child>
2585
2586                                       <child>
2587                                         <widget class="GtkMenuItem" id="bottom">
2588                                           <property name="visible">True</property>
2589                                           <property name="label" translatable="yes">Bottom</property>
2590                                           <property name="use_underline">True</property>
2591                                           <signal name="activate" handler="on_dock_bottom_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
2592                                         </widget>
2593                                       </child>
2594
2595                                       <child>
2596                                         <widget class="GtkMenuItem" id="bottom_right">
2597                                           <property name="visible">True</property>
2598                                           <property name="label" translatable="yes">Bottom Right</property>
2599                                           <property name="use_underline">True</property>
2600                                           <signal name="activate" handler="on_dock_bottom_right_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
2601                                         </widget>
2602                                       </child>
2603
2604                                       <child>
2605                                         <widget class="GtkMenuItem" id="floating">
2606                                           <property name="visible">True</property>
2607                                           <property name="label" translatable="yes">Floating</property>
2608                                           <property name="use_underline">True</property>
2609                                           <signal name="activate" handler="on_dock_floating_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
2610                                         </widget>
2611                                       </child>
2612                                     </widget>
2613                                   </child>
2614                                 </widget>
2615                                 <packing>
2616                                   <property name="padding">0</property>
2617                                   <property name="expand">False</property>
2618                                   <property name="fill">False</property>
2619                                 </packing>
2620                               </child>
2621                             </widget>
2622                             <packing>
2623                               <property name="padding">0</property>
2624                               <property name="expand">False</property>
2625                               <property name="fill">False</property>
2626                             </packing>
2627                           </child>
2628
2629                           <child>
2630                             <widget class="GtkHBox" id="hbox36">
2631                               <property name="visible">True</property>
2632                               <property name="homogeneous">False</property>
2633                               <property name="spacing">0</property>
2634
2635                               <child>
2636                                 <widget class="GtkLabel" id="label76">
2637                                   <property name="visible">True</property>
2638                                   <property name="label" translatable="yes">    </property>
2639                                   <property name="use_underline">False</property>
2640                                   <property name="use_markup">False</property>
2641                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2642                                   <property name="wrap">False</property>
2643                                   <property name="selectable">False</property>
2644                                   <property name="xalign">0.5</property>
2645                                   <property name="yalign">0.5</property>
2646                                   <property name="xpad">0</property>
2647                                   <property name="ypad">0</property>
2648                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2649                                   <property name="width_chars">-1</property>
2650                                   <property name="single_line_mode">False</property>
2651                                   <property name="angle">0</property>
2652                                 </widget>
2653                                 <packing>
2654                                   <property name="padding">0</property>
2655                                   <property name="expand">False</property>
2656                                   <property name="fill">False</property>
2657                                 </packing>
2658                               </child>
2659
2660                               <child>
2661                                 <widget class="GtkHBox" id="hbox20">
2662                                   <property name="visible">True</property>
2663                                   <property name="homogeneous">False</property>
2664                                   <property name="spacing">6</property>
2665
2666                                   <child>
2667                                     <widget class="GtkLabel" id="dock_float_label">
2668                                       <property name="visible">True</property>
2669                                       <property name="label" translatable="yes">_Floating position:</property>
2670                                       <property name="use_underline">True</property>
2671                                       <property name="use_markup">False</property>
2672                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
2673                                       <property name="wrap">False</property>
2674                                       <property name="selectable">False</property>
2675                                       <property name="xalign">0.5</property>
2676                                       <property name="yalign">0.5</property>
2677                                       <property name="xpad">0</property>
2678                                       <property name="ypad">0</property>
2679                                       <property name="mnemonic_widget">dock_float_x</property>
2680                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2681                                       <property name="width_chars">-1</property>
2682                                       <property name="single_line_mode">False</property>
2683                                       <property name="angle">0</property>
2684                                     </widget>
2685                                     <packing>
2686                                       <property name="padding">0</property>
2687                                       <property name="expand">False</property>
2688                                       <property name="fill">False</property>
2689                                     </packing>
2690                                   </child>
2691
2692                                   <child>
2693                                     <widget class="GtkSpinButton" id="dock_float_x">
2694                                       <property name="visible">True</property>
2695                                       <property name="can_focus">True</property>
2696                                       <property name="climb_rate">1</property>
2697                                       <property name="digits">0</property>
2698                                       <property name="numeric">True</property>
2699                                       <property name="update_policy">GTK_UPDATE_ALWAYS</property>
2700                                       <property name="snap_to_ticks">False</property>
2701                                       <property name="wrap">False</property>
2702                                       <property name="adjustment">1 0 10000 1 10 10</property>
2703                                       <signal name="value_changed" handler="on_dock_float_x_value_changed" after="yes" last_modification_time="Sun, 14 Sep 2003 11:07:38 GMT"/>
2704                                     </widget>
2705                                     <packing>
2706                                       <property name="padding">0</property>
2707                                       <property name="expand">False</property>
2708                                       <property name="fill">True</property>
2709                                     </packing>
2710                                   </child>
2711
2712                                   <child>
2713                                     <widget class="GtkLabel" id="dock_float_label_x">
2714                                       <property name="visible">True</property>
2715                                       <property name="label" translatable="yes">x</property>
2716                                       <property name="use_underline">False</property>
2717                                       <property name="use_markup">False</property>
2718                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
2719                                       <property name="wrap">False</property>
2720                                       <property name="selectable">False</property>
2721                                       <property name="xalign">0.5</property>
2722                                       <property name="yalign">0.5</property>
2723                                       <property name="xpad">0</property>
2724                                       <property name="ypad">0</property>
2725                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2726                                       <property name="width_chars">-1</property>
2727                                       <property name="single_line_mode">False</property>
2728                                       <property name="angle">0</property>
2729                                     </widget>
2730                                     <packing>
2731                                       <property name="padding">0</property>
2732                                       <property name="expand">False</property>
2733                                       <property name="fill">False</property>
2734                                     </packing>
2735                                   </child>
2736
2737                                   <child>
2738                                     <widget class="GtkSpinButton" id="dock_float_y">
2739                                       <property name="visible">True</property>
2740                                       <property name="can_focus">True</property>
2741                                       <property name="climb_rate">1</property>
2742                                       <property name="digits">0</property>
2743                                       <property name="numeric">True</property>
2744                                       <property name="update_policy">GTK_UPDATE_ALWAYS</property>
2745                                       <property name="snap_to_ticks">False</property>
2746                                       <property name="wrap">False</property>
2747                                       <property name="adjustment">1 0 10000 1 10 10</property>
2748                                       <signal name="value_changed" handler="on_dock_float_y_value_changed" after="yes" last_modification_time="Sun, 14 Sep 2003 11:08:09 GMT"/>
2749                                     </widget>
2750                                     <packing>
2751                                       <property name="padding">0</property>
2752                                       <property name="expand">False</property>
2753                                       <property name="fill">True</property>
2754                                     </packing>
2755                                   </child>
2756                                 </widget>
2757                                 <packing>
2758                                   <property name="padding">0</property>
2759                                   <property name="expand">True</property>
2760                                   <property name="fill">True</property>
2761                                 </packing>
2762                               </child>
2763                             </widget>
2764                             <packing>
2765                               <property name="padding">0</property>
2766                               <property name="expand">False</property>
2767                               <property name="fill">False</property>
2768                             </packing>
2769                           </child>
2770
2771                           <child>
2772                             <widget class="GtkHBox" id="hbox58">
2773                               <property name="visible">True</property>
2774                               <property name="homogeneous">False</property>
2775                               <property name="spacing">0</property>
2776
2777                               <child>
2778                                 <widget class="GtkLabel" id="label108">
2779                                   <property name="visible">True</property>
2780                                   <property name="label" translatable="yes">    </property>
2781                                   <property name="use_underline">False</property>
2782                                   <property name="use_markup">False</property>
2783                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2784                                   <property name="wrap">False</property>
2785                                   <property name="selectable">False</property>
2786                                   <property name="xalign">0.5</property>
2787                                   <property name="yalign">0.5</property>
2788                                   <property name="xpad">0</property>
2789                                   <property name="ypad">0</property>
2790                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2791                                   <property name="width_chars">-1</property>
2792                                   <property name="single_line_mode">False</property>
2793                                   <property name="angle">0</property>
2794                                 </widget>
2795                                 <packing>
2796                                   <property name="padding">0</property>
2797                                   <property name="expand">False</property>
2798                                   <property name="fill">False</property>
2799                                 </packing>
2800                               </child>
2801
2802                               <child>
2803                                 <widget class="GtkCheckButton" id="dock_nostrut">
2804                                   <property name="visible">True</property>
2805                                   <property name="can_focus">True</property>
2806                                   <property name="label" translatable="yes">Allow _windows to be placed within the dock's area</property>
2807                                   <property name="use_underline">True</property>
2808                                   <property name="relief">GTK_RELIEF_NORMAL</property>
2809                                   <property name="focus_on_click">True</property>
2810                                   <property name="active">False</property>
2811                                   <property name="inconsistent">False</property>
2812                                   <property name="draw_indicator">True</property>
2813                                   <signal name="toggled" handler="on_dock_nostrut_toggled" last_modification_time="Thu, 31 May 2007 15:33:51 GMT"/>
2814                                 </widget>
2815                                 <packing>
2816                                   <property name="padding">0</property>
2817                                   <property name="expand">False</property>
2818                                   <property name="fill">False</property>
2819                                 </packing>
2820                               </child>
2821                             </widget>
2822                             <packing>
2823                               <property name="padding">0</property>
2824                               <property name="expand">True</property>
2825                               <property name="fill">True</property>
2826                             </packing>
2827                           </child>
2828
2829                           <child>
2830                             <widget class="GtkHBox" id="hbox38">
2831                               <property name="visible">True</property>
2832                               <property name="homogeneous">False</property>
2833                               <property name="spacing">12</property>
2834
2835                               <child>
2836                                 <widget class="GtkLabel" id="dock_direction_label">
2837                                   <property name="visible">True</property>
2838                                   <property name="label" translatable="yes">_Orientation: </property>
2839                                   <property name="use_underline">True</property>
2840                                   <property name="use_markup">False</property>
2841                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2842                                   <property name="wrap">False</property>
2843                                   <property name="selectable">False</property>
2844                                   <property name="xalign">0</property>
2845                                   <property name="yalign">0.5</property>
2846                                   <property name="xpad">0</property>
2847                                   <property name="ypad">0</property>
2848                                   <property name="mnemonic_widget">dock_direction</property>
2849                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2850                                   <property name="width_chars">-1</property>
2851                                   <property name="single_line_mode">False</property>
2852                                   <property name="angle">0</property>
2853                                 </widget>
2854                                 <packing>
2855                                   <property name="padding">0</property>
2856                                   <property name="expand">False</property>
2857                                   <property name="fill">False</property>
2858                                 </packing>
2859                               </child>
2860
2861                               <child>
2862                                 <widget class="GtkOptionMenu" id="dock_direction">
2863                                   <property name="visible">True</property>
2864                                   <property name="can_focus">True</property>
2865                                   <property name="history">0</property>
2866
2867                                   <child>
2868                                     <widget class="GtkMenu" id="menu7">
2869
2870                                       <child>
2871                                         <widget class="GtkMenuItem" id="vertical">
2872                                           <property name="visible">True</property>
2873                                           <property name="label" translatable="yes">Vertical</property>
2874                                           <property name="use_underline">True</property>
2875                                           <signal name="activate" handler="on_dock_vertical_activate" last_modification_time="Sun, 07 Sep 2003 20:38:38 GMT"/>
2876                                         </widget>
2877                                       </child>
2878
2879                                       <child>
2880                                         <widget class="GtkMenuItem" id="horizontal">
2881                                           <property name="visible">True</property>
2882                                           <property name="label" translatable="yes">Horizontal</property>
2883                                           <property name="use_underline">True</property>
2884                                           <signal name="activate" handler="on_dock_horizontal_activate" last_modification_time="Sun, 07 Sep 2003 20:38:38 GMT"/>
2885                                         </widget>
2886                                       </child>
2887                                     </widget>
2888                                   </child>
2889                                 </widget>
2890                                 <packing>
2891                                   <property name="padding">0</property>
2892                                   <property name="expand">False</property>
2893                                   <property name="fill">False</property>
2894                                 </packing>
2895                               </child>
2896                             </widget>
2897                             <packing>
2898                               <property name="padding">0</property>
2899                               <property name="expand">True</property>
2900                               <property name="fill">True</property>
2901                             </packing>
2902                           </child>
2903                         </widget>
2904                         <packing>
2905                           <property name="padding">0</property>
2906                           <property name="expand">True</property>
2907                           <property name="fill">True</property>
2908                         </packing>
2909                       </child>
2910                     </widget>
2911                     <packing>
2912                       <property name="padding">0</property>
2913                       <property name="expand">False</property>
2914                       <property name="fill">False</property>
2915                     </packing>
2916                   </child>
2917                 </widget>
2918                 <packing>
2919                   <property name="padding">0</property>
2920                   <property name="expand">False</property>
2921                   <property name="fill">False</property>
2922                 </packing>
2923               </child>
2924
2925               <child>
2926                 <widget class="GtkVBox" id="vbox28">
2927                   <property name="visible">True</property>
2928                   <property name="homogeneous">False</property>
2929                   <property name="spacing">6</property>
2930
2931                   <child>
2932                     <widget class="GtkLabel" id="label74">
2933                       <property name="visible">True</property>
2934                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Stacking&lt;/span&gt;</property>
2935                       <property name="use_underline">False</property>
2936                       <property name="use_markup">True</property>
2937                       <property name="justify">GTK_JUSTIFY_LEFT</property>
2938                       <property name="wrap">False</property>
2939                       <property name="selectable">False</property>
2940                       <property name="xalign">0</property>
2941                       <property name="yalign">0.5</property>
2942                       <property name="xpad">0</property>
2943                       <property name="ypad">0</property>
2944                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2945                       <property name="width_chars">-1</property>
2946                       <property name="single_line_mode">False</property>
2947                       <property name="angle">0</property>
2948                     </widget>
2949                     <packing>
2950                       <property name="padding">0</property>
2951                       <property name="expand">False</property>
2952                       <property name="fill">False</property>
2953                     </packing>
2954                   </child>
2955
2956                   <child>
2957                     <widget class="GtkHBox" id="hbox34">
2958                       <property name="visible">True</property>
2959                       <property name="homogeneous">False</property>
2960                       <property name="spacing">0</property>
2961
2962                       <child>
2963                         <widget class="GtkLabel" id="label72">
2964                           <property name="visible">True</property>
2965                           <property name="label" translatable="yes">    </property>
2966                           <property name="use_underline">False</property>
2967                           <property name="use_markup">False</property>
2968                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2969                           <property name="wrap">False</property>
2970                           <property name="selectable">False</property>
2971                           <property name="xalign">0.5</property>
2972                           <property name="yalign">0.5</property>
2973                           <property name="xpad">0</property>
2974                           <property name="ypad">0</property>
2975                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2976                           <property name="width_chars">-1</property>
2977                           <property name="single_line_mode">False</property>
2978                           <property name="angle">0</property>
2979                         </widget>
2980                         <packing>
2981                           <property name="padding">0</property>
2982                           <property name="expand">False</property>
2983                           <property name="fill">False</property>
2984                         </packing>
2985                       </child>
2986
2987                       <child>
2988                         <widget class="GtkVBox" id="vbox31">
2989                           <property name="visible">True</property>
2990                           <property name="homogeneous">False</property>
2991                           <property name="spacing">6</property>
2992
2993                           <child>
2994                             <widget class="GtkRadioButton" id="dock_stack_top">
2995                               <property name="visible">True</property>
2996                               <property name="can_focus">True</property>
2997                               <property name="label" translatable="yes">Keep dock _above other windows</property>
2998                               <property name="use_underline">True</property>
2999                               <property name="relief">GTK_RELIEF_NORMAL</property>
3000                               <property name="focus_on_click">True</property>
3001                               <property name="active">False</property>
3002                               <property name="inconsistent">False</property>
3003                               <property name="draw_indicator">True</property>
3004                               <signal name="toggled" handler="on_dock_stacking_top_toggled" after="yes" last_modification_time="Wed, 24 Sep 2003 13:56:02 GMT"/>
3005                             </widget>
3006                             <packing>
3007                               <property name="padding">0</property>
3008                               <property name="expand">False</property>
3009                               <property name="fill">False</property>
3010                             </packing>
3011                           </child>
3012
3013                           <child>
3014                             <widget class="GtkRadioButton" id="dock_stack_normal">
3015                               <property name="visible">True</property>
3016                               <property name="can_focus">True</property>
3017                               <property name="label" translatable="yes">A_llow dock to be both above and below windows</property>
3018                               <property name="use_underline">True</property>
3019                               <property name="relief">GTK_RELIEF_NORMAL</property>
3020                               <property name="focus_on_click">True</property>
3021                               <property name="active">False</property>
3022                               <property name="inconsistent">False</property>
3023                               <property name="draw_indicator">True</property>
3024                               <property name="group">dock_stack_top</property>
3025                               <signal name="toggled" handler="on_dock_stacking_normal_toggled" after="yes" last_modification_time="Wed, 24 Sep 2003 13:56:08 GMT"/>
3026                             </widget>
3027                             <packing>
3028                               <property name="padding">0</property>
3029                               <property name="expand">False</property>
3030                               <property name="fill">False</property>
3031                             </packing>
3032                           </child>
3033
3034                           <child>
3035                             <widget class="GtkRadioButton" id="dock_stack_bottom">
3036                               <property name="visible">True</property>
3037                               <property name="can_focus">True</property>
3038                               <property name="label" translatable="yes">Keep dock _below other windows</property>
3039                               <property name="use_underline">True</property>
3040                               <property name="relief">GTK_RELIEF_NORMAL</property>
3041                               <property name="focus_on_click">True</property>
3042                               <property name="active">False</property>
3043                               <property name="inconsistent">False</property>
3044                               <property name="draw_indicator">True</property>
3045                               <property name="group">dock_stack_top</property>
3046                               <signal name="toggled" handler="on_dock_stacking_bottom_toggled" after="yes" last_modification_time="Wed, 24 Sep 2003 13:56:15 GMT"/>
3047                             </widget>
3048                             <packing>
3049                               <property name="padding">0</property>
3050                               <property name="expand">False</property>
3051                               <property name="fill">False</property>
3052                             </packing>
3053                           </child>
3054                         </widget>
3055                         <packing>
3056                           <property name="padding">0</property>
3057                           <property name="expand">False</property>
3058                           <property name="fill">False</property>
3059                         </packing>
3060                       </child>
3061                     </widget>
3062                     <packing>
3063                       <property name="padding">0</property>
3064                       <property name="expand">False</property>
3065                       <property name="fill">False</property>
3066                     </packing>
3067                   </child>
3068                 </widget>
3069                 <packing>
3070                   <property name="padding">0</property>
3071                   <property name="expand">False</property>
3072                   <property name="fill">False</property>
3073                 </packing>
3074               </child>
3075
3076               <child>
3077                 <widget class="GtkVBox" id="vbox29">
3078                   <property name="visible">True</property>
3079                   <property name="homogeneous">False</property>
3080                   <property name="spacing">6</property>
3081
3082                   <child>
3083                     <widget class="GtkLabel" id="label75">
3084                       <property name="visible">True</property>
3085                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Hiding&lt;/span&gt;</property>
3086                       <property name="use_underline">False</property>
3087                       <property name="use_markup">True</property>
3088                       <property name="justify">GTK_JUSTIFY_LEFT</property>
3089                       <property name="wrap">False</property>
3090                       <property name="selectable">False</property>
3091                       <property name="xalign">0</property>
3092                       <property name="yalign">0.5</property>
3093                       <property name="xpad">0</property>
3094                       <property name="ypad">0</property>
3095                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3096                       <property name="width_chars">-1</property>
3097                       <property name="single_line_mode">False</property>
3098                       <property name="angle">0</property>
3099                     </widget>
3100                     <packing>
3101                       <property name="padding">0</property>
3102                       <property name="expand">False</property>
3103                       <property name="fill">False</property>
3104                     </packing>
3105                   </child>
3106
3107                   <child>
3108                     <widget class="GtkHBox" id="hbox35">
3109                       <property name="visible">True</property>
3110                       <property name="homogeneous">False</property>
3111                       <property name="spacing">0</property>
3112
3113                       <child>
3114                         <widget class="GtkLabel" id="label73">
3115                           <property name="visible">True</property>
3116                           <property name="label" translatable="yes">    </property>
3117                           <property name="use_underline">False</property>
3118                           <property name="use_markup">False</property>
3119                           <property name="justify">GTK_JUSTIFY_LEFT</property>
3120                           <property name="wrap">False</property>
3121                           <property name="selectable">False</property>
3122                           <property name="xalign">0.5</property>
3123                           <property name="yalign">0.5</property>
3124                           <property name="xpad">0</property>
3125                           <property name="ypad">0</property>
3126                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3127                           <property name="width_chars">-1</property>
3128                           <property name="single_line_mode">False</property>
3129                           <property name="angle">0</property>
3130                         </widget>
3131                         <packing>
3132                           <property name="padding">0</property>
3133                           <property name="expand">False</property>
3134                           <property name="fill">False</property>
3135                         </packing>
3136                       </child>
3137
3138                       <child>
3139                         <widget class="GtkVBox" id="vbox32">
3140                           <property name="visible">True</property>
3141                           <property name="homogeneous">False</property>
3142                           <property name="spacing">6</property>
3143
3144                           <child>
3145                             <widget class="GtkCheckButton" id="dock_hide">
3146                               <property name="visible">True</property>
3147                               <property name="can_focus">True</property>
3148                               <property name="label" translatable="yes">_Hide off screen</property>
3149                               <property name="use_underline">True</property>
3150                               <property name="relief">GTK_RELIEF_NORMAL</property>
3151                               <property name="focus_on_click">True</property>
3152                               <property name="active">False</property>
3153                               <property name="inconsistent">False</property>
3154                               <property name="draw_indicator">True</property>
3155                               <signal name="toggled" handler="on_dock_hide_toggled" last_modification_time="Sun, 14 Sep 2003 11:08:31 GMT"/>
3156                             </widget>
3157                             <packing>
3158                               <property name="padding">0</property>
3159                               <property name="expand">False</property>
3160                               <property name="fill">False</property>
3161                             </packing>
3162                           </child>
3163
3164                           <child>
3165                             <widget class="GtkHBox" id="hbox37">
3166                               <property name="visible">True</property>
3167                               <property name="homogeneous">False</property>
3168                               <property name="spacing">0</property>
3169
3170                               <child>
3171                                 <widget class="GtkLabel" id="label77">
3172                                   <property name="visible">True</property>
3173                                   <property name="label" translatable="yes">    </property>
3174                                   <property name="use_underline">False</property>
3175                                   <property name="use_markup">False</property>
3176                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
3177                                   <property name="wrap">False</property>
3178                                   <property name="selectable">False</property>
3179                                   <property name="xalign">0.5</property>
3180                                   <property name="yalign">0.5</property>
3181                                   <property name="xpad">0</property>
3182                                   <property name="ypad">0</property>
3183                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3184                                   <property name="width_chars">-1</property>
3185                                   <property name="single_line_mode">False</property>
3186                                   <property name="angle">0</property>
3187                                 </widget>
3188                                 <packing>
3189                                   <property name="padding">0</property>
3190                                   <property name="expand">False</property>
3191                                   <property name="fill">False</property>
3192                                 </packing>
3193                               </child>
3194
3195                               <child>
3196                                 <widget class="GtkHBox" id="hbox23">
3197                                   <property name="visible">True</property>
3198                                   <property name="homogeneous">False</property>
3199                                   <property name="spacing">6</property>
3200
3201                                   <child>
3202                                     <widget class="GtkLabel" id="dock_hide_label">
3203                                       <property name="visible">True</property>
3204                                       <property name="label" translatable="yes">_Delay before hiding:</property>
3205                                       <property name="use_underline">True</property>
3206                                       <property name="use_markup">False</property>
3207                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
3208                                       <property name="wrap">False</property>
3209                                       <property name="selectable">False</property>
3210                                       <property name="xalign">0</property>
3211                                       <property name="yalign">0.5</property>
3212                                       <property name="xpad">0</property>
3213                                       <property name="ypad">0</property>
3214                                       <property name="mnemonic_widget">dock_hide_delay</property>
3215                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3216                                       <property name="width_chars">-1</property>
3217                                       <property name="single_line_mode">False</property>
3218                                       <property name="angle">0</property>
3219                                     </widget>
3220                                     <packing>
3221                                       <property name="padding">0</property>
3222                                       <property name="expand">False</property>
3223                                       <property name="fill">False</property>
3224                                     </packing>
3225                                   </child>
3226
3227                                   <child>
3228                                     <widget class="GtkSpinButton" id="dock_hide_delay">
3229                                       <property name="visible">True</property>
3230                                       <property name="can_focus">True</property>
3231                                       <property name="climb_rate">1</property>
3232                                       <property name="digits">0</property>
3233                                       <property name="numeric">True</property>
3234                                       <property name="update_policy">GTK_UPDATE_ALWAYS</property>
3235                                       <property name="snap_to_ticks">False</property>
3236                                       <property name="wrap">False</property>
3237                                       <property name="adjustment">300 0 10000 10 10 10</property>
3238                                       <signal name="value_changed" handler="on_dock_hide_delay_value_changed" after="yes" last_modification_time="Sun, 14 Sep 2003 11:08:49 GMT"/>
3239                                     </widget>
3240                                     <packing>
3241                                       <property name="padding">0</property>
3242                                       <property name="expand">False</property>
3243                                       <property name="fill">True</property>
3244                                     </packing>
3245                                   </child>
3246
3247                                   <child>
3248                                     <widget class="GtkLabel" id="dock_hide_label_units">
3249                                       <property name="visible">True</property>
3250                                       <property name="label" translatable="yes">ms</property>
3251                                       <property name="use_underline">False</property>
3252                                       <property name="use_markup">False</property>
3253                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
3254                                       <property name="wrap">False</property>
3255                                       <property name="selectable">False</property>
3256                                       <property name="xalign">0.5</property>
3257                                       <property name="yalign">0.5</property>
3258                                       <property name="xpad">0</property>
3259                                       <property name="ypad">0</property>
3260                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3261                                       <property name="width_chars">-1</property>
3262                                       <property name="single_line_mode">False</property>
3263                                       <property name="angle">0</property>
3264                                     </widget>
3265                                     <packing>
3266                                       <property name="padding">0</property>
3267                                       <property name="expand">False</property>
3268                                       <property name="fill">False</property>
3269                                     </packing>
3270                                   </child>
3271                                 </widget>
3272                                 <packing>
3273                                   <property name="padding">0</property>
3274                                   <property name="expand">True</property>
3275                                   <property name="fill">True</property>
3276                                 </packing>
3277                               </child>
3278                             </widget>
3279                             <packing>
3280                               <property name="padding">0</property>
3281                               <property name="expand">True</property>
3282                               <property name="fill">True</property>
3283                             </packing>
3284                           </child>
3285
3286                           <child>
3287                             <widget class="GtkHBox" id="hbox56">
3288                               <property name="visible">True</property>
3289                               <property name="homogeneous">False</property>
3290                               <property name="spacing">0</property>
3291
3292                               <child>
3293                                 <widget class="GtkLabel" id="label107">
3294                                   <property name="visible">True</property>
3295                                   <property name="label" translatable="yes">    </property>
3296                                   <property name="use_underline">False</property>
3297                                   <property name="use_markup">False</property>
3298                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
3299                                   <property name="wrap">False</property>
3300                                   <property name="selectable">False</property>
3301                                   <property name="xalign">0.5</property>
3302                                   <property name="yalign">0.5</property>
3303                                   <property name="xpad">0</property>
3304                                   <property name="ypad">0</property>
3305                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3306                                   <property name="width_chars">-1</property>
3307                                   <property name="single_line_mode">False</property>
3308                                   <property name="angle">0</property>
3309                                 </widget>
3310                                 <packing>
3311                                   <property name="padding">0</property>
3312                                   <property name="expand">False</property>
3313                                   <property name="fill">False</property>
3314                                 </packing>
3315                               </child>
3316
3317                               <child>
3318                                 <widget class="GtkHBox" id="hbox57">
3319                                   <property name="visible">True</property>
3320                                   <property name="homogeneous">False</property>
3321                                   <property name="spacing">6</property>
3322
3323                                   <child>
3324                                     <widget class="GtkLabel" id="dock_show_label">
3325                                       <property name="visible">True</property>
3326                                       <property name="label" translatable="yes">Delay before _showing:</property>
3327                                       <property name="use_underline">True</property>
3328                                       <property name="use_markup">False</property>
3329                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
3330                                       <property name="wrap">False</property>
3331                                       <property name="selectable">False</property>
3332                                       <property name="xalign">0</property>
3333                                       <property name="yalign">0.5</property>
3334                                       <property name="xpad">0</property>
3335                                       <property name="ypad">0</property>
3336                                       <property name="mnemonic_widget">dock_hide_delay</property>
3337                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3338                                       <property name="width_chars">-1</property>
3339                                       <property name="single_line_mode">False</property>
3340                                       <property name="angle">0</property>
3341                                     </widget>
3342                                     <packing>
3343                                       <property name="padding">0</property>
3344                                       <property name="expand">False</property>
3345                                       <property name="fill">False</property>
3346                                     </packing>
3347                                   </child>
3348
3349                                   <child>
3350                                     <widget class="GtkSpinButton" id="dock_show_delay">
3351                                       <property name="visible">True</property>
3352                                       <property name="can_focus">True</property>
3353                                       <property name="climb_rate">1</property>
3354                                       <property name="digits">0</property>
3355                                       <property name="numeric">True</property>
3356                                       <property name="update_policy">GTK_UPDATE_ALWAYS</property>
3357                                       <property name="snap_to_ticks">False</property>
3358                                       <property name="wrap">False</property>
3359                                       <property name="adjustment">300 0 10000 10 10 10</property>
3360                                       <signal name="value_changed" handler="on_dock_show_delay_value_changed" after="yes" last_modification_time="Thu, 31 May 2007 15:17:16 GMT"/>
3361                                     </widget>
3362                                     <packing>
3363                                       <property name="padding">0</property>
3364                                       <property name="expand">False</property>
3365                                       <property name="fill">True</property>
3366                                     </packing>
3367                                   </child>
3368
3369                                   <child>
3370                                     <widget class="GtkLabel" id="dock_show_label_units">
3371                                       <property name="visible">True</property>
3372                                       <property name="label" translatable="yes">ms</property>
3373                                       <property name="use_underline">False</property>
3374                                       <property name="use_markup">False</property>
3375                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
3376                                       <property name="wrap">False</property>
3377                                       <property name="selectable">False</property>
3378                                       <property name="xalign">0.5</property>
3379                                       <property name="yalign">0.5</property>
3380                                       <property name="xpad">0</property>
3381                                       <property name="ypad">0</property>
3382                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3383                                       <property name="width_chars">-1</property>
3384                                       <property name="single_line_mode">False</property>
3385                                       <property name="angle">0</property>
3386                                     </widget>
3387                                     <packing>
3388                                       <property name="padding">0</property>
3389                                       <property name="expand">False</property>
3390                                       <property name="fill">False</property>
3391                                     </packing>
3392                                   </child>
3393                                 </widget>
3394                                 <packing>
3395                                   <property name="padding">0</property>
3396                                   <property name="expand">True</property>
3397                                   <property name="fill">True</property>
3398                                 </packing>
3399                               </child>
3400                             </widget>
3401                             <packing>
3402                               <property name="padding">0</property>
3403                               <property name="expand">True</property>
3404                               <property name="fill">True</property>
3405                             </packing>
3406                           </child>
3407                         </widget>
3408                         <packing>
3409                           <property name="padding">0</property>
3410                           <property name="expand">True</property>
3411                           <property name="fill">True</property>
3412                         </packing>
3413                       </child>
3414                     </widget>
3415                     <packing>
3416                       <property name="padding">0</property>
3417                       <property name="expand">True</property>
3418                       <property name="fill">True</property>
3419                     </packing>
3420                   </child>
3421                 </widget>
3422                 <packing>
3423                   <property name="padding">0</property>
3424                   <property name="expand">False</property>
3425                   <property name="fill">False</property>
3426                 </packing>
3427               </child>
3428             </widget>
3429             <packing>
3430               <property name="tab_expand">False</property>
3431               <property name="tab_fill">True</property>
3432             </packing>
3433           </child>
3434
3435           <child>
3436             <widget class="GtkLabel" id="label41">
3437               <property name="visible">True</property>
3438               <property name="label" translatable="yes">Dock</property>
3439               <property name="use_underline">False</property>
3440               <property name="use_markup">False</property>
3441               <property name="justify">GTK_JUSTIFY_LEFT</property>
3442               <property name="wrap">False</property>
3443               <property name="selectable">False</property>
3444               <property name="xalign">0.5</property>
3445               <property name="yalign">0.5</property>
3446               <property name="xpad">0</property>
3447               <property name="ypad">0</property>
3448               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3449               <property name="width_chars">-1</property>
3450               <property name="single_line_mode">False</property>
3451               <property name="angle">0</property>
3452             </widget>
3453             <packing>
3454               <property name="type">tab</property>
3455             </packing>
3456           </child>
3457         </widget>
3458         <packing>
3459           <property name="padding">0</property>
3460           <property name="expand">True</property>
3461           <property name="fill">True</property>
3462         </packing>
3463       </child>
3464
3465       <child>
3466         <widget class="GtkHBox" id="hbox39">
3467           <property name="visible">True</property>
3468           <property name="homogeneous">False</property>
3469           <property name="spacing">0</property>
3470
3471           <child>
3472             <widget class="GtkHButtonBox" id="hbuttonbox1">
3473               <property name="visible">True</property>
3474               <property name="layout_style">GTK_BUTTONBOX_START</property>
3475               <property name="spacing">0</property>
3476
3477               <child>
3478                 <widget class="GtkButton" id="about">
3479                   <property name="visible">True</property>
3480                   <property name="can_default">True</property>
3481                   <property name="can_focus">True</property>
3482                   <property name="label" translatable="yes">Abo_ut</property>
3483                   <property name="use_underline">True</property>
3484                   <property name="relief">GTK_RELIEF_NORMAL</property>
3485                   <property name="focus_on_click">True</property>
3486                   <signal name="clicked" handler="on_about_clicked" after="yes" last_modification_time="Wed, 24 Sep 2003 15:10:23 GMT"/>
3487                 </widget>
3488               </child>
3489             </widget>
3490             <packing>
3491               <property name="padding">0</property>
3492               <property name="expand">True</property>
3493               <property name="fill">True</property>
3494             </packing>
3495           </child>
3496
3497           <child>
3498             <widget class="GtkHButtonBox" id="hbuttonbox1">
3499               <property name="visible">True</property>
3500               <property name="layout_style">GTK_BUTTONBOX_END</property>
3501               <property name="spacing">0</property>
3502
3503               <child>
3504                 <widget class="GtkButton" id="close">
3505                   <property name="visible">True</property>
3506                   <property name="can_default">True</property>
3507                   <property name="can_focus">True</property>
3508                   <property name="label">gtk-close</property>
3509                   <property name="use_stock">True</property>
3510                   <property name="relief">GTK_RELIEF_NORMAL</property>
3511                   <property name="focus_on_click">True</property>
3512                   <signal name="clicked" handler="on_close_clicked" last_modification_time="Sun, 14 Sep 2003 11:27:56 GMT"/>
3513                 </widget>
3514               </child>
3515             </widget>
3516             <packing>
3517               <property name="padding">0</property>
3518               <property name="expand">True</property>
3519               <property name="fill">True</property>
3520             </packing>
3521           </child>
3522         </widget>
3523         <packing>
3524           <property name="padding">0</property>
3525           <property name="expand">False</property>
3526           <property name="fill">False</property>
3527         </packing>
3528       </child>
3529     </widget>
3530   </child>
3531 </widget>
3532
3533 <widget class="GtkWindow" id="about_window">
3534   <property name="title" translatable="yes">About ObConf</property>
3535   <property name="type">GTK_WINDOW_TOPLEVEL</property>
3536   <property name="window_position">GTK_WIN_POS_NONE</property>
3537   <property name="modal">False</property>
3538   <property name="resizable">True</property>
3539   <property name="destroy_with_parent">False</property>
3540   <property name="decorated">True</property>
3541   <property name="skip_taskbar_hint">False</property>
3542   <property name="skip_pager_hint">False</property>
3543   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
3544   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
3545   <property name="focus_on_map">True</property>
3546   <property name="urgency_hint">False</property>
3547   <signal name="delete_event" handler="on_about_window_delete_event" last_modification_time="Wed, 24 Sep 2003 15:28:37 GMT"/>
3548
3549   <child>
3550     <widget class="GtkVBox" id="vbox33">
3551       <property name="border_width">12</property>
3552       <property name="visible">True</property>
3553       <property name="homogeneous">False</property>
3554       <property name="spacing">12</property>
3555
3556       <child>
3557         <widget class="GtkVBox" id="vbox33">
3558           <property name="visible">True</property>
3559           <property name="homogeneous">False</property>
3560           <property name="spacing">6</property>
3561
3562           <child>
3563             <widget class="GtkLabel" id="title_label">
3564               <property name="visible">True</property>
3565               <property name="can_focus">True</property>
3566               <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot; size=&quot;xx-large&quot;&gt;ObConf VERSION&lt;/span&gt;</property>
3567               <property name="use_underline">False</property>
3568               <property name="use_markup">True</property>
3569               <property name="justify">GTK_JUSTIFY_LEFT</property>
3570               <property name="wrap">False</property>
3571               <property name="selectable">True</property>
3572               <property name="xalign">0.5</property>
3573               <property name="yalign">0.5</property>
3574               <property name="xpad">0</property>
3575               <property name="ypad">0</property>
3576               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3577               <property name="width_chars">-1</property>
3578               <property name="single_line_mode">False</property>
3579               <property name="angle">0</property>
3580             </widget>
3581             <packing>
3582               <property name="padding">0</property>
3583               <property name="expand">False</property>
3584               <property name="fill">False</property>
3585             </packing>
3586           </child>
3587
3588           <child>
3589             <widget class="GtkLabel" id="label81">
3590               <property name="visible">True</property>
3591               <property name="can_focus">True</property>
3592               <property name="label" translatable="yes">A preferences manager for Openbox</property>
3593               <property name="use_underline">False</property>
3594               <property name="use_markup">False</property>
3595               <property name="justify">GTK_JUSTIFY_LEFT</property>
3596               <property name="wrap">False</property>
3597               <property name="selectable">True</property>
3598               <property name="xalign">0.5</property>
3599               <property name="yalign">0.5</property>
3600               <property name="xpad">0</property>
3601               <property name="ypad">0</property>
3602               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3603               <property name="width_chars">-1</property>
3604               <property name="single_line_mode">False</property>
3605               <property name="angle">0</property>
3606             </widget>
3607             <packing>
3608               <property name="padding">0</property>
3609               <property name="expand">False</property>
3610               <property name="fill">False</property>
3611             </packing>
3612           </child>
3613
3614           <child>
3615             <widget class="GtkLabel" id="label80">
3616               <property name="visible">True</property>
3617               <property name="can_focus">True</property>
3618               <property name="label" translatable="yes">Copyright (c) 2003-2007
3619 Dana Jansens &lt;danakj@orodu.net&gt;
3620 Tim Riley &lt;tr@slackzone.org&gt;
3621 Javeed Shaikh &lt;syscrash2k@gmail.com&gt;</property>
3622               <property name="use_underline">False</property>
3623               <property name="use_markup">False</property>
3624               <property name="justify">GTK_JUSTIFY_CENTER</property>
3625               <property name="wrap">False</property>
3626               <property name="selectable">True</property>
3627               <property name="xalign">0.5</property>
3628               <property name="yalign">0.5</property>
3629               <property name="xpad">0</property>
3630               <property name="ypad">0</property>
3631               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3632               <property name="width_chars">-1</property>
3633               <property name="single_line_mode">False</property>
3634               <property name="angle">0</property>
3635             </widget>
3636             <packing>
3637               <property name="padding">0</property>
3638               <property name="expand">False</property>
3639               <property name="fill">False</property>
3640             </packing>
3641           </child>
3642         </widget>
3643         <packing>
3644           <property name="padding">0</property>
3645           <property name="expand">True</property>
3646           <property name="fill">True</property>
3647         </packing>
3648       </child>
3649
3650       <child>
3651         <widget class="GtkHButtonBox" id="hbuttonbox2">
3652           <property name="visible">True</property>
3653           <property name="layout_style">GTK_BUTTONBOX_END</property>
3654           <property name="spacing">0</property>
3655
3656           <child>
3657             <widget class="GtkButton" id="about_close">
3658               <property name="visible">True</property>
3659               <property name="can_default">True</property>
3660               <property name="has_default">True</property>
3661               <property name="can_focus">True</property>
3662               <property name="has_focus">True</property>
3663               <property name="label">gtk-close</property>
3664               <property name="use_stock">True</property>
3665               <property name="relief">GTK_RELIEF_NORMAL</property>
3666               <property name="focus_on_click">True</property>
3667               <signal name="clicked" handler="on_about_close_clicked" after="yes" last_modification_time="Wed, 24 Sep 2003 15:27:04 GMT"/>
3668             </widget>
3669           </child>
3670         </widget>
3671         <packing>
3672           <property name="padding">0</property>
3673           <property name="expand">True</property>
3674           <property name="fill">True</property>
3675         </packing>
3676       </child>
3677     </widget>
3678   </child>
3679 </widget>
3680
3681 <widget class="GtkWindow" id="key_prompt">
3682   <property name="title" translatable="yes">window1</property>
3683   <property name="type">GTK_WINDOW_TOPLEVEL</property>
3684   <property name="window_position">GTK_WIN_POS_NONE</property>
3685   <property name="modal">False</property>
3686   <property name="resizable">True</property>
3687   <property name="destroy_with_parent">False</property>
3688   <property name="decorated">True</property>
3689   <property name="skip_taskbar_hint">False</property>
3690   <property name="skip_pager_hint">False</property>
3691   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
3692   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
3693   <property name="focus_on_map">True</property>
3694   <property name="urgency_hint">False</property>
3695
3696   <child>
3697     <widget class="GtkVBox" id="vbox49">
3698       <property name="border_width">12</property>
3699       <property name="visible">True</property>
3700       <property name="homogeneous">False</property>
3701       <property name="spacing">18</property>
3702
3703       <child>
3704         <widget class="GtkLabel" id="label117">
3705           <property name="visible">True</property>
3706           <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Press the key you wish to bind...&lt;/span&gt;</property>
3707           <property name="use_underline">False</property>
3708           <property name="use_markup">True</property>
3709           <property name="justify">GTK_JUSTIFY_LEFT</property>
3710           <property name="wrap">False</property>
3711           <property name="selectable">False</property>
3712           <property name="xalign">0</property>
3713           <property name="yalign">0.5</property>
3714           <property name="xpad">0</property>
3715           <property name="ypad">0</property>
3716           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3717           <property name="width_chars">-1</property>
3718           <property name="single_line_mode">False</property>
3719           <property name="angle">0</property>
3720         </widget>
3721         <packing>
3722           <property name="padding">0</property>
3723           <property name="expand">False</property>
3724           <property name="fill">False</property>
3725         </packing>
3726       </child>
3727
3728       <child>
3729         <widget class="GtkEntry" id="entry2">
3730           <property name="visible">True</property>
3731           <property name="can_focus">True</property>
3732           <property name="has_focus">True</property>
3733           <property name="editable">True</property>
3734           <property name="visibility">True</property>
3735           <property name="max_length">0</property>
3736           <property name="text" translatable="yes"></property>
3737           <property name="has_frame">True</property>
3738           <property name="invisible_char">●</property>
3739           <property name="activates_default">False</property>
3740         </widget>
3741         <packing>
3742           <property name="padding">0</property>
3743           <property name="expand">False</property>
3744           <property name="fill">False</property>
3745         </packing>
3746       </child>
3747     </widget>
3748   </child>
3749 </widget>
3750
3751 </glade-interface>