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