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