move mouse focus options to mouse tab
[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="hbox17">
1321                               <property name="visible">True</property>
1322                               <property name="homogeneous">False</property>
1323                               <property name="spacing">6</property>
1324
1325                               <child>
1326                                 <widget class="GtkLabel" id="resist_window_label">
1327                                   <property name="visible">True</property>
1328                                   <property name="label" translatable="yes">Amount of resistance against other _windows:</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">resist_window</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="GtkSpinButton" id="resist_window">
1353                                   <property name="visible">True</property>
1354                                   <property name="can_focus">True</property>
1355                                   <property name="climb_rate">1</property>
1356                                   <property name="digits">0</property>
1357                                   <property name="numeric">True</property>
1358                                   <property name="update_policy">GTK_UPDATE_ALWAYS</property>
1359                                   <property name="snap_to_ticks">False</property>
1360                                   <property name="wrap">False</property>
1361                                   <property name="adjustment">20 0 100 1 10 10</property>
1362                                   <signal name="value_changed" handler="on_resist_window_value_changed" after="yes" last_modification_time="Tue, 23 Sep 2003 22:22:53 GMT"/>
1363                                 </widget>
1364                                 <packing>
1365                                   <property name="padding">0</property>
1366                                   <property name="expand">False</property>
1367                                   <property name="fill">True</property>
1368                                 </packing>
1369                               </child>
1370
1371                               <child>
1372                                 <widget class="GtkLabel" id="label67">
1373                                   <property name="visible">True</property>
1374                                   <property name="label" translatable="yes">px</property>
1375                                   <property name="use_underline">False</property>
1376                                   <property name="use_markup">False</property>
1377                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1378                                   <property name="wrap">False</property>
1379                                   <property name="selectable">False</property>
1380                                   <property name="xalign">0.5</property>
1381                                   <property name="yalign">0.5</property>
1382                                   <property name="xpad">0</property>
1383                                   <property name="ypad">0</property>
1384                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1385                                   <property name="width_chars">-1</property>
1386                                   <property name="single_line_mode">False</property>
1387                                   <property name="angle">0</property>
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">False</property>
1399                               <property name="fill">True</property>
1400                             </packing>
1401                           </child>
1402
1403                           <child>
1404                             <widget class="GtkHBox" id="hbox18">
1405                               <property name="visible">True</property>
1406                               <property name="homogeneous">False</property>
1407                               <property name="spacing">6</property>
1408
1409                               <child>
1410                                 <widget class="GtkLabel" id="resist_edge_label">
1411                                   <property name="visible">True</property>
1412                                   <property name="label" translatable="yes">Amount of resistance against screen _edges:</property>
1413                                   <property name="use_underline">True</property>
1414                                   <property name="use_markup">False</property>
1415                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1416                                   <property name="wrap">False</property>
1417                                   <property name="selectable">False</property>
1418                                   <property name="xalign">0</property>
1419                                   <property name="yalign">0.5</property>
1420                                   <property name="xpad">0</property>
1421                                   <property name="ypad">0</property>
1422                                   <property name="mnemonic_widget">resist_edge</property>
1423                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1424                                   <property name="width_chars">-1</property>
1425                                   <property name="single_line_mode">False</property>
1426                                   <property name="angle">0</property>
1427                                 </widget>
1428                                 <packing>
1429                                   <property name="padding">0</property>
1430                                   <property name="expand">False</property>
1431                                   <property name="fill">False</property>
1432                                 </packing>
1433                               </child>
1434
1435                               <child>
1436                                 <widget class="GtkSpinButton" id="resist_edge">
1437                                   <property name="visible">True</property>
1438                                   <property name="can_focus">True</property>
1439                                   <property name="climb_rate">1</property>
1440                                   <property name="digits">0</property>
1441                                   <property name="numeric">True</property>
1442                                   <property name="update_policy">GTK_UPDATE_ALWAYS</property>
1443                                   <property name="snap_to_ticks">False</property>
1444                                   <property name="wrap">False</property>
1445                                   <property name="adjustment">1 0 100 1 10 10</property>
1446                                   <signal name="value_changed" handler="on_resist_edge_value_changed" after="yes" last_modification_time="Tue, 23 Sep 2003 22:23:04 GMT"/>
1447                                 </widget>
1448                                 <packing>
1449                                   <property name="padding">0</property>
1450                                   <property name="expand">False</property>
1451                                   <property name="fill">True</property>
1452                                 </packing>
1453                               </child>
1454
1455                               <child>
1456                                 <widget class="GtkLabel" id="label68">
1457                                   <property name="visible">True</property>
1458                                   <property name="label" translatable="yes">px</property>
1459                                   <property name="use_underline">False</property>
1460                                   <property name="use_markup">False</property>
1461                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1462                                   <property name="wrap">False</property>
1463                                   <property name="selectable">False</property>
1464                                   <property name="xalign">0.5</property>
1465                                   <property name="yalign">0.5</property>
1466                                   <property name="xpad">0</property>
1467                                   <property name="ypad">0</property>
1468                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1469                                   <property name="width_chars">-1</property>
1470                                   <property name="single_line_mode">False</property>
1471                                   <property name="angle">0</property>
1472                                 </widget>
1473                                 <packing>
1474                                   <property name="padding">0</property>
1475                                   <property name="expand">False</property>
1476                                   <property name="fill">False</property>
1477                                 </packing>
1478                               </child>
1479                             </widget>
1480                             <packing>
1481                               <property name="padding">0</property>
1482                               <property name="expand">False</property>
1483                               <property name="fill">True</property>
1484                             </packing>
1485                           </child>
1486                         </widget>
1487                         <packing>
1488                           <property name="padding">0</property>
1489                           <property name="expand">True</property>
1490                           <property name="fill">True</property>
1491                         </packing>
1492                       </child>
1493                     </widget>
1494                     <packing>
1495                       <property name="padding">0</property>
1496                       <property name="expand">True</property>
1497                       <property name="fill">True</property>
1498                     </packing>
1499                   </child>
1500                 </widget>
1501                 <packing>
1502                   <property name="padding">0</property>
1503                   <property name="expand">False</property>
1504                   <property name="fill">True</property>
1505                 </packing>
1506               </child>
1507             </widget>
1508             <packing>
1509               <property name="tab_expand">False</property>
1510               <property name="tab_fill">True</property>
1511             </packing>
1512           </child>
1513
1514           <child>
1515             <widget class="GtkLabel" id="label22">
1516               <property name="visible">True</property>
1517               <property name="label" translatable="yes">Windows</property>
1518               <property name="use_underline">False</property>
1519               <property name="use_markup">False</property>
1520               <property name="justify">GTK_JUSTIFY_LEFT</property>
1521               <property name="wrap">False</property>
1522               <property name="selectable">False</property>
1523               <property name="xalign">0.5</property>
1524               <property name="yalign">0.5</property>
1525               <property name="xpad">0</property>
1526               <property name="ypad">0</property>
1527               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1528               <property name="width_chars">-1</property>
1529               <property name="single_line_mode">False</property>
1530               <property name="angle">0</property>
1531             </widget>
1532             <packing>
1533               <property name="type">tab</property>
1534             </packing>
1535           </child>
1536
1537           <child>
1538             <widget class="GtkVBox" id="vbox56">
1539               <property name="border_width">12</property>
1540               <property name="visible">True</property>
1541               <property name="homogeneous">False</property>
1542               <property name="spacing">18</property>
1543
1544               <child>
1545                 <widget class="GtkVBox" id="vbox13">
1546                   <property name="visible">True</property>
1547                   <property name="homogeneous">False</property>
1548                   <property name="spacing">6</property>
1549
1550                   <child>
1551                     <widget class="GtkLabel" id="label32">
1552                       <property name="visible">True</property>
1553                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Focusing Windows&lt;/span&gt;</property>
1554                       <property name="use_underline">False</property>
1555                       <property name="use_markup">True</property>
1556                       <property name="justify">GTK_JUSTIFY_LEFT</property>
1557                       <property name="wrap">False</property>
1558                       <property name="selectable">False</property>
1559                       <property name="xalign">0</property>
1560                       <property name="yalign">0.5</property>
1561                       <property name="xpad">0</property>
1562                       <property name="ypad">0</property>
1563                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1564                       <property name="width_chars">-1</property>
1565                       <property name="single_line_mode">False</property>
1566                       <property name="angle">0</property>
1567                     </widget>
1568                     <packing>
1569                       <property name="padding">0</property>
1570                       <property name="expand">False</property>
1571                       <property name="fill">False</property>
1572                     </packing>
1573                   </child>
1574
1575                   <child>
1576                     <widget class="GtkHBox" id="hbox13">
1577                       <property name="visible">True</property>
1578                       <property name="homogeneous">False</property>
1579                       <property name="spacing">0</property>
1580
1581                       <child>
1582                         <widget class="GtkLabel" id="label33">
1583                           <property name="visible">True</property>
1584                           <property name="label" translatable="yes">    </property>
1585                           <property name="use_underline">False</property>
1586                           <property name="use_markup">False</property>
1587                           <property name="justify">GTK_JUSTIFY_LEFT</property>
1588                           <property name="wrap">False</property>
1589                           <property name="selectable">False</property>
1590                           <property name="xalign">0.5</property>
1591                           <property name="yalign">0.5</property>
1592                           <property name="xpad">0</property>
1593                           <property name="ypad">0</property>
1594                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1595                           <property name="width_chars">-1</property>
1596                           <property name="single_line_mode">False</property>
1597                           <property name="angle">0</property>
1598                         </widget>
1599                         <packing>
1600                           <property name="padding">0</property>
1601                           <property name="expand">False</property>
1602                           <property name="fill">False</property>
1603                         </packing>
1604                       </child>
1605
1606                       <child>
1607                         <widget class="GtkVBox" id="vbox15">
1608                           <property name="visible">True</property>
1609                           <property name="homogeneous">False</property>
1610                           <property name="spacing">6</property>
1611
1612                           <child>
1613                             <widget class="GtkCheckButton" id="focus_mouse">
1614                               <property name="visible">True</property>
1615                               <property name="can_focus">True</property>
1616                               <property name="label" translatable="yes">_Focus windows when the mouse pointer moves over them</property>
1617                               <property name="use_underline">True</property>
1618                               <property name="relief">GTK_RELIEF_NORMAL</property>
1619                               <property name="focus_on_click">True</property>
1620                               <property name="active">False</property>
1621                               <property name="inconsistent">False</property>
1622                               <property name="draw_indicator">True</property>
1623                               <signal name="toggled" handler="on_focus_mouse_toggled" after="yes" last_modification_time="Sun, 14 Sep 2003 11:24:01 GMT"/>
1624                             </widget>
1625                             <packing>
1626                               <property name="padding">0</property>
1627                               <property name="expand">False</property>
1628                               <property name="fill">False</property>
1629                             </packing>
1630                           </child>
1631
1632                           <child>
1633                             <widget class="GtkHBox" id="hbox32">
1634                               <property name="visible">True</property>
1635                               <property name="homogeneous">False</property>
1636                               <property name="spacing">0</property>
1637
1638                               <child>
1639                                 <widget class="GtkLabel" id="label65">
1640                                   <property name="visible">True</property>
1641                                   <property name="label" translatable="yes">    </property>
1642                                   <property name="use_underline">False</property>
1643                                   <property name="use_markup">False</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.5</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="GtkVBox" id="vbox25">
1665                                   <property name="visible">True</property>
1666                                   <property name="homogeneous">False</property>
1667                                   <property name="spacing">6</property>
1668
1669                                   <child>
1670                                     <widget class="GtkCheckButton" id="focus_raise">
1671                                       <property name="visible">True</property>
1672                                       <property name="can_focus">True</property>
1673                                       <property name="label" translatable="yes">_Raise windows when the mouse pointer moves over them</property>
1674                                       <property name="use_underline">True</property>
1675                                       <property name="relief">GTK_RELIEF_NORMAL</property>
1676                                       <property name="focus_on_click">True</property>
1677                                       <property name="active">False</property>
1678                                       <property name="inconsistent">False</property>
1679                                       <property name="draw_indicator">True</property>
1680                                       <signal name="toggled" handler="on_focus_raise_toggled" after="yes" last_modification_time="Mon, 22 Sep 2003 06:37:32 GMT"/>
1681                                     </widget>
1682                                     <packing>
1683                                       <property name="padding">0</property>
1684                                       <property name="expand">False</property>
1685                                       <property name="fill">False</property>
1686                                     </packing>
1687                                   </child>
1688
1689                                   <child>
1690                                     <widget class="GtkHBox" id="hbox16">
1691                                       <property name="visible">True</property>
1692                                       <property name="homogeneous">False</property>
1693                                       <property name="spacing">6</property>
1694
1695                                       <child>
1696                                         <widget class="GtkLabel" id="focus_delay_label">
1697                                           <property name="visible">True</property>
1698                                           <property name="label" translatable="yes">_Delay before focusing and raising windows:</property>
1699                                           <property name="use_underline">True</property>
1700                                           <property name="use_markup">False</property>
1701                                           <property name="justify">GTK_JUSTIFY_LEFT</property>
1702                                           <property name="wrap">False</property>
1703                                           <property name="selectable">False</property>
1704                                           <property name="xalign">0.5</property>
1705                                           <property name="yalign">0.5</property>
1706                                           <property name="xpad">0</property>
1707                                           <property name="ypad">0</property>
1708                                           <property name="mnemonic_widget">focus_delay</property>
1709                                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1710                                           <property name="width_chars">-1</property>
1711                                           <property name="single_line_mode">False</property>
1712                                           <property name="angle">0</property>
1713                                         </widget>
1714                                         <packing>
1715                                           <property name="padding">0</property>
1716                                           <property name="expand">False</property>
1717                                           <property name="fill">False</property>
1718                                         </packing>
1719                                       </child>
1720
1721                                       <child>
1722                                         <widget class="GtkSpinButton" id="focus_delay">
1723                                           <property name="visible">True</property>
1724                                           <property name="can_focus">True</property>
1725                                           <property name="climb_rate">1</property>
1726                                           <property name="digits">0</property>
1727                                           <property name="numeric">True</property>
1728                                           <property name="update_policy">GTK_UPDATE_ALWAYS</property>
1729                                           <property name="snap_to_ticks">False</property>
1730                                           <property name="wrap">False</property>
1731                                           <property name="adjustment">0 0 10000 10 10 10</property>
1732                                           <signal name="value_changed" handler="on_focus_delay_value_changed" after="yes" last_modification_time="Sun, 14 Sep 2003 11:24:28 GMT"/>
1733                                         </widget>
1734                                         <packing>
1735                                           <property name="padding">0</property>
1736                                           <property name="expand">False</property>
1737                                           <property name="fill">True</property>
1738                                         </packing>
1739                                       </child>
1740
1741                                       <child>
1742                                         <widget class="GtkLabel" id="focus_delay_label_units">
1743                                           <property name="visible">True</property>
1744                                           <property name="label" translatable="yes">ms</property>
1745                                           <property name="use_underline">False</property>
1746                                           <property name="use_markup">False</property>
1747                                           <property name="justify">GTK_JUSTIFY_LEFT</property>
1748                                           <property name="wrap">False</property>
1749                                           <property name="selectable">False</property>
1750                                           <property name="xalign">0.5</property>
1751                                           <property name="yalign">0.5</property>
1752                                           <property name="xpad">0</property>
1753                                           <property name="ypad">0</property>
1754                                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1755                                           <property name="width_chars">-1</property>
1756                                           <property name="single_line_mode">False</property>
1757                                           <property name="angle">0</property>
1758                                         </widget>
1759                                         <packing>
1760                                           <property name="padding">0</property>
1761                                           <property name="expand">False</property>
1762                                           <property name="fill">False</property>
1763                                         </packing>
1764                                       </child>
1765                                     </widget>
1766                                     <packing>
1767                                       <property name="padding">0</property>
1768                                       <property name="expand">True</property>
1769                                       <property name="fill">True</property>
1770                                     </packing>
1771                                   </child>
1772
1773                                   <child>
1774                                     <widget class="GtkCheckButton" id="focus_last">
1775                                       <property name="visible">True</property>
1776                                       <property name="can_focus">True</property>
1777                                       <property name="label" translatable="yes">_Give focus to the last used window when switching desktops</property>
1778                                       <property name="use_underline">True</property>
1779                                       <property name="relief">GTK_RELIEF_NORMAL</property>
1780                                       <property name="focus_on_click">True</property>
1781                                       <property name="active">False</property>
1782                                       <property name="inconsistent">False</property>
1783                                       <property name="draw_indicator">True</property>
1784                                       <signal name="toggled" handler="on_focus_last_toggled" last_modification_time="Fri, 25 May 2007 18:54:28 GMT"/>
1785                                     </widget>
1786                                     <packing>
1787                                       <property name="padding">0</property>
1788                                       <property name="expand">False</property>
1789                                       <property name="fill">False</property>
1790                                     </packing>
1791                                   </child>
1792                                 </widget>
1793                                 <packing>
1794                                   <property name="padding">0</property>
1795                                   <property name="expand">True</property>
1796                                   <property name="fill">True</property>
1797                                 </packing>
1798                               </child>
1799                             </widget>
1800                             <packing>
1801                               <property name="padding">0</property>
1802                               <property name="expand">False</property>
1803                               <property name="fill">False</property>
1804                             </packing>
1805                           </child>
1806                         </widget>
1807                         <packing>
1808                           <property name="padding">0</property>
1809                           <property name="expand">True</property>
1810                           <property name="fill">True</property>
1811                         </packing>
1812                       </child>
1813                     </widget>
1814                     <packing>
1815                       <property name="padding">0</property>
1816                       <property name="expand">False</property>
1817                       <property name="fill">True</property>
1818                     </packing>
1819                   </child>
1820                 </widget>
1821                 <packing>
1822                   <property name="padding">0</property>
1823                   <property name="expand">False</property>
1824                   <property name="fill">True</property>
1825                 </packing>
1826               </child>
1827
1828               <child>
1829                 <widget class="GtkVBox" id="vbox61">
1830                   <property name="visible">True</property>
1831                   <property name="homogeneous">False</property>
1832                   <property name="spacing">6</property>
1833
1834                   <child>
1835                     <widget class="GtkLabel" id="label155">
1836                       <property name="visible">True</property>
1837                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Titlebar&lt;/span&gt;</property>
1838                       <property name="use_underline">False</property>
1839                       <property name="use_markup">True</property>
1840                       <property name="justify">GTK_JUSTIFY_LEFT</property>
1841                       <property name="wrap">False</property>
1842                       <property name="selectable">False</property>
1843                       <property name="xalign">0</property>
1844                       <property name="yalign">0.5</property>
1845                       <property name="xpad">0</property>
1846                       <property name="ypad">0</property>
1847                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1848                       <property name="width_chars">-1</property>
1849                       <property name="single_line_mode">False</property>
1850                       <property name="angle">0</property>
1851                     </widget>
1852                     <packing>
1853                       <property name="padding">0</property>
1854                       <property name="expand">False</property>
1855                       <property name="fill">False</property>
1856                     </packing>
1857                   </child>
1858
1859                   <child>
1860                     <widget class="GtkHBox" id="hbox84">
1861                       <property name="visible">True</property>
1862                       <property name="homogeneous">False</property>
1863                       <property name="spacing">0</property>
1864
1865                       <child>
1866                         <widget class="GtkLabel" id="label156">
1867                           <property name="visible">True</property>
1868                           <property name="label" translatable="yes">    </property>
1869                           <property name="use_underline">False</property>
1870                           <property name="use_markup">False</property>
1871                           <property name="justify">GTK_JUSTIFY_LEFT</property>
1872                           <property name="wrap">False</property>
1873                           <property name="selectable">False</property>
1874                           <property name="xalign">0.5</property>
1875                           <property name="yalign">0.5</property>
1876                           <property name="xpad">0</property>
1877                           <property name="ypad">0</property>
1878                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1879                           <property name="width_chars">-1</property>
1880                           <property name="single_line_mode">False</property>
1881                           <property name="angle">0</property>
1882                         </widget>
1883                         <packing>
1884                           <property name="padding">0</property>
1885                           <property name="expand">False</property>
1886                           <property name="fill">False</property>
1887                         </packing>
1888                       </child>
1889
1890                       <child>
1891                         <widget class="GtkVBox" id="vbox62">
1892                           <property name="visible">True</property>
1893                           <property name="homogeneous">False</property>
1894                           <property name="spacing">6</property>
1895
1896                           <child>
1897                             <widget class="GtkHBox" id="hbox87">
1898                               <property name="visible">True</property>
1899                               <property name="homogeneous">False</property>
1900                               <property name="spacing">12</property>
1901
1902                               <child>
1903                                 <widget class="GtkLabel" id="label161">
1904                                   <property name="visible">True</property>
1905                                   <property name="label" translatable="yes">_Double click on the titlebar:</property>
1906                                   <property name="use_underline">True</property>
1907                                   <property name="use_markup">False</property>
1908                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1909                                   <property name="wrap">False</property>
1910                                   <property name="selectable">False</property>
1911                                   <property name="xalign">0</property>
1912                                   <property name="yalign">0.5</property>
1913                                   <property name="xpad">0</property>
1914                                   <property name="ypad">0</property>
1915                                   <property name="mnemonic_widget">dock_position</property>
1916                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1917                                   <property name="width_chars">-1</property>
1918                                   <property name="single_line_mode">False</property>
1919                                   <property name="angle">0</property>
1920                                 </widget>
1921                                 <packing>
1922                                   <property name="padding">0</property>
1923                                   <property name="expand">False</property>
1924                                   <property name="fill">False</property>
1925                                 </packing>
1926                               </child>
1927
1928                               <child>
1929                                 <widget class="GtkOptionMenu" id="titlebar_doubleclick">
1930                                   <property name="visible">True</property>
1931                                   <property name="can_focus">True</property>
1932                                   <property name="history">0</property>
1933
1934                                   <child>
1935                                     <widget class="GtkMenu" id="menu10">
1936
1937                                       <child>
1938                                         <widget class="GtkMenuItem" id="titlebar_doubleclick_maximize">
1939                                           <property name="visible">True</property>
1940                                           <property name="label" translatable="yes">Maximizes the window</property>
1941                                           <property name="use_underline">True</property>
1942                                           <signal name="activate" handler="on_titlebar_doubleclick_maximize_activate" last_modification_time="Fri, 01 Jun 2007 00:41:35 GMT"/>
1943                                         </widget>
1944                                       </child>
1945
1946                                       <child>
1947                                         <widget class="GtkMenuItem" id="titlebar_doubleclick_shade">
1948                                           <property name="visible">True</property>
1949                                           <property name="label" translatable="yes">Shades the window</property>
1950                                           <property name="use_underline">True</property>
1951                                           <signal name="activate" handler="on_titlebar_doubleclick_shade_activate" last_modification_time="Fri, 01 Jun 2007 00:41:35 GMT"/>
1952                                         </widget>
1953                                       </child>
1954                                     </widget>
1955                                   </child>
1956                                 </widget>
1957                                 <packing>
1958                                   <property name="padding">0</property>
1959                                   <property name="expand">False</property>
1960                                   <property name="fill">False</property>
1961                                 </packing>
1962                               </child>
1963                             </widget>
1964                             <packing>
1965                               <property name="padding">0</property>
1966                               <property name="expand">True</property>
1967                               <property name="fill">True</property>
1968                             </packing>
1969                           </child>
1970                         </widget>
1971                         <packing>
1972                           <property name="padding">0</property>
1973                           <property name="expand">True</property>
1974                           <property name="fill">True</property>
1975                         </packing>
1976                       </child>
1977                     </widget>
1978                     <packing>
1979                       <property name="padding">0</property>
1980                       <property name="expand">True</property>
1981                       <property name="fill">True</property>
1982                     </packing>
1983                   </child>
1984                 </widget>
1985                 <packing>
1986                   <property name="padding">0</property>
1987                   <property name="expand">False</property>
1988                   <property name="fill">True</property>
1989                 </packing>
1990               </child>
1991
1992               <child>
1993                 <widget class="GtkVBox" id="vbox63">
1994                   <property name="visible">True</property>
1995                   <property name="homogeneous">False</property>
1996                   <property name="spacing">0</property>
1997
1998                   <child>
1999                     <widget class="GtkLabel" id="label163">
2000                       <property name="visible">True</property>
2001                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Mouse Behavior&lt;/span&gt;</property>
2002                       <property name="use_underline">False</property>
2003                       <property name="use_markup">True</property>
2004                       <property name="justify">GTK_JUSTIFY_LEFT</property>
2005                       <property name="wrap">False</property>
2006                       <property name="selectable">False</property>
2007                       <property name="xalign">0</property>
2008                       <property name="yalign">0.5</property>
2009                       <property name="xpad">0</property>
2010                       <property name="ypad">0</property>
2011                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2012                       <property name="width_chars">-1</property>
2013                       <property name="single_line_mode">False</property>
2014                       <property name="angle">0</property>
2015                     </widget>
2016                     <packing>
2017                       <property name="padding">0</property>
2018                       <property name="expand">False</property>
2019                       <property name="fill">False</property>
2020                     </packing>
2021                   </child>
2022
2023                   <child>
2024                     <widget class="GtkHBox" id="hbox88">
2025                       <property name="visible">True</property>
2026                       <property name="homogeneous">False</property>
2027                       <property name="spacing">0</property>
2028
2029                       <child>
2030                         <widget class="GtkLabel" id="label162">
2031                           <property name="visible">True</property>
2032                           <property name="label" translatable="yes">    </property>
2033                           <property name="use_underline">False</property>
2034                           <property name="use_markup">False</property>
2035                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2036                           <property name="wrap">False</property>
2037                           <property name="selectable">False</property>
2038                           <property name="xalign">0.5</property>
2039                           <property name="yalign">0.5</property>
2040                           <property name="xpad">0</property>
2041                           <property name="ypad">0</property>
2042                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2043                           <property name="width_chars">-1</property>
2044                           <property name="single_line_mode">False</property>
2045                           <property name="angle">0</property>
2046                         </widget>
2047                         <packing>
2048                           <property name="padding">0</property>
2049                           <property name="expand">False</property>
2050                           <property name="fill">False</property>
2051                         </packing>
2052                       </child>
2053
2054                       <child>
2055                         <widget class="GtkVBox" id="vbox64">
2056                           <property name="visible">True</property>
2057                           <property name="homogeneous">False</property>
2058                           <property name="spacing">0</property>
2059
2060                           <child>
2061                             <widget class="GtkHBox" id="hbox85">
2062                               <property name="visible">True</property>
2063                               <property name="homogeneous">False</property>
2064                               <property name="spacing">6</property>
2065
2066                               <child>
2067                                 <widget class="GtkLabel" id="doubleclick_time_label">
2068                                   <property name="visible">True</property>
2069                                   <property name="label" translatable="yes">Double _click time:</property>
2070                                   <property name="use_underline">True</property>
2071                                   <property name="use_markup">False</property>
2072                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2073                                   <property name="wrap">False</property>
2074                                   <property name="selectable">False</property>
2075                                   <property name="xalign">0</property>
2076                                   <property name="yalign">0.5</property>
2077                                   <property name="xpad">0</property>
2078                                   <property name="ypad">0</property>
2079                                   <property name="mnemonic_widget">resist_window</property>
2080                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2081                                   <property name="width_chars">-1</property>
2082                                   <property name="single_line_mode">False</property>
2083                                   <property name="angle">0</property>
2084                                 </widget>
2085                                 <packing>
2086                                   <property name="padding">0</property>
2087                                   <property name="expand">False</property>
2088                                   <property name="fill">False</property>
2089                                 </packing>
2090                               </child>
2091
2092                               <child>
2093                                 <widget class="GtkSpinButton" id="doubleclick_time">
2094                                   <property name="visible">True</property>
2095                                   <property name="can_focus">True</property>
2096                                   <property name="climb_rate">1</property>
2097                                   <property name="digits">0</property>
2098                                   <property name="numeric">True</property>
2099                                   <property name="update_policy">GTK_UPDATE_ALWAYS</property>
2100                                   <property name="snap_to_ticks">False</property>
2101                                   <property name="wrap">False</property>
2102                                   <property name="adjustment">0 0 10000 10 10 10</property>
2103                                   <signal name="value_changed" handler="on_doubleclick_time_value_changed" after="yes" last_modification_time="Thu, 31 May 2007 16:09:40 GMT"/>
2104                                 </widget>
2105                                 <packing>
2106                                   <property name="padding">0</property>
2107                                   <property name="expand">False</property>
2108                                   <property name="fill">True</property>
2109                                 </packing>
2110                               </child>
2111
2112                               <child>
2113                                 <widget class="GtkLabel" id="label158">
2114                                   <property name="visible">True</property>
2115                                   <property name="label" translatable="yes">ms</property>
2116                                   <property name="use_underline">False</property>
2117                                   <property name="use_markup">False</property>
2118                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2119                                   <property name="wrap">False</property>
2120                                   <property name="selectable">False</property>
2121                                   <property name="xalign">0.5</property>
2122                                   <property name="yalign">0.5</property>
2123                                   <property name="xpad">0</property>
2124                                   <property name="ypad">0</property>
2125                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2126                                   <property name="width_chars">-1</property>
2127                                   <property name="single_line_mode">False</property>
2128                                   <property name="angle">0</property>
2129                                 </widget>
2130                                 <packing>
2131                                   <property name="padding">0</property>
2132                                   <property name="expand">False</property>
2133                                   <property name="fill">False</property>
2134                                 </packing>
2135                               </child>
2136                             </widget>
2137                             <packing>
2138                               <property name="padding">0</property>
2139                               <property name="expand">True</property>
2140                               <property name="fill">True</property>
2141                             </packing>
2142                           </child>
2143
2144                           <child>
2145                             <widget class="GtkHBox" id="hbox86">
2146                               <property name="visible">True</property>
2147                               <property name="homogeneous">False</property>
2148                               <property name="spacing">6</property>
2149
2150                               <child>
2151                                 <widget class="GtkLabel" id="drag_threshold_label">
2152                                   <property name="visible">True</property>
2153                                   <property name="label" translatable="yes">Drag _threshold distance:</property>
2154                                   <property name="use_underline">True</property>
2155                                   <property name="use_markup">False</property>
2156                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2157                                   <property name="wrap">False</property>
2158                                   <property name="selectable">False</property>
2159                                   <property name="xalign">0</property>
2160                                   <property name="yalign">0.5</property>
2161                                   <property name="xpad">0</property>
2162                                   <property name="ypad">0</property>
2163                                   <property name="mnemonic_widget">resist_edge</property>
2164                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2165                                   <property name="width_chars">-1</property>
2166                                   <property name="single_line_mode">False</property>
2167                                   <property name="angle">0</property>
2168                                 </widget>
2169                                 <packing>
2170                                   <property name="padding">0</property>
2171                                   <property name="expand">False</property>
2172                                   <property name="fill">False</property>
2173                                 </packing>
2174                               </child>
2175
2176                               <child>
2177                                 <widget class="GtkSpinButton" id="drag_threshold">
2178                                   <property name="visible">True</property>
2179                                   <property name="can_focus">True</property>
2180                                   <property name="climb_rate">1</property>
2181                                   <property name="digits">0</property>
2182                                   <property name="numeric">True</property>
2183                                   <property name="update_policy">GTK_UPDATE_ALWAYS</property>
2184                                   <property name="snap_to_ticks">False</property>
2185                                   <property name="wrap">False</property>
2186                                   <property name="adjustment">1 1 100 1 10 10</property>
2187                                   <signal name="value_changed" handler="on_drag_threshold_value_changed" after="yes" last_modification_time="Thu, 31 May 2007 16:02:00 GMT"/>
2188                                 </widget>
2189                                 <packing>
2190                                   <property name="padding">0</property>
2191                                   <property name="expand">False</property>
2192                                   <property name="fill">True</property>
2193                                 </packing>
2194                               </child>
2195
2196                               <child>
2197                                 <widget class="GtkLabel" id="label160">
2198                                   <property name="visible">True</property>
2199                                   <property name="label" translatable="yes">px</property>
2200                                   <property name="use_underline">False</property>
2201                                   <property name="use_markup">False</property>
2202                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2203                                   <property name="wrap">False</property>
2204                                   <property name="selectable">False</property>
2205                                   <property name="xalign">0.5</property>
2206                                   <property name="yalign">0.5</property>
2207                                   <property name="xpad">0</property>
2208                                   <property name="ypad">0</property>
2209                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2210                                   <property name="width_chars">-1</property>
2211                                   <property name="single_line_mode">False</property>
2212                                   <property name="angle">0</property>
2213                                 </widget>
2214                                 <packing>
2215                                   <property name="padding">0</property>
2216                                   <property name="expand">False</property>
2217                                   <property name="fill">False</property>
2218                                 </packing>
2219                               </child>
2220                             </widget>
2221                             <packing>
2222                               <property name="padding">0</property>
2223                               <property name="expand">True</property>
2224                               <property name="fill">True</property>
2225                             </packing>
2226                           </child>
2227                         </widget>
2228                         <packing>
2229                           <property name="padding">0</property>
2230                           <property name="expand">True</property>
2231                           <property name="fill">True</property>
2232                         </packing>
2233                       </child>
2234                     </widget>
2235                     <packing>
2236                       <property name="padding">0</property>
2237                       <property name="expand">True</property>
2238                       <property name="fill">True</property>
2239                     </packing>
2240                   </child>
2241                 </widget>
2242                 <packing>
2243                   <property name="padding">0</property>
2244                   <property name="expand">False</property>
2245                   <property name="fill">True</property>
2246                 </packing>
2247               </child>
2248             </widget>
2249             <packing>
2250               <property name="tab_expand">False</property>
2251               <property name="tab_fill">True</property>
2252             </packing>
2253           </child>
2254
2255           <child>
2256             <widget class="GtkLabel" id="label118">
2257               <property name="visible">True</property>
2258               <property name="label" translatable="yes">Mouse</property>
2259               <property name="use_underline">False</property>
2260               <property name="use_markup">False</property>
2261               <property name="justify">GTK_JUSTIFY_LEFT</property>
2262               <property name="wrap">False</property>
2263               <property name="selectable">False</property>
2264               <property name="xalign">0.5</property>
2265               <property name="yalign">0.5</property>
2266               <property name="xpad">0</property>
2267               <property name="ypad">0</property>
2268               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2269               <property name="width_chars">-1</property>
2270               <property name="single_line_mode">False</property>
2271               <property name="angle">0</property>
2272             </widget>
2273             <packing>
2274               <property name="type">tab</property>
2275             </packing>
2276           </child>
2277
2278           <child>
2279             <widget class="GtkVBox" id="vbox18">
2280               <property name="border_width">12</property>
2281               <property name="visible">True</property>
2282               <property name="homogeneous">False</property>
2283               <property name="spacing">6</property>
2284
2285               <child>
2286                 <widget class="GtkLabel" id="label51">
2287                   <property name="visible">True</property>
2288                   <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Desktops&lt;/span&gt;</property>
2289                   <property name="use_underline">False</property>
2290                   <property name="use_markup">True</property>
2291                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2292                   <property name="wrap">False</property>
2293                   <property name="selectable">False</property>
2294                   <property name="xalign">0</property>
2295                   <property name="yalign">0.5</property>
2296                   <property name="xpad">0</property>
2297                   <property name="ypad">0</property>
2298                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2299                   <property name="width_chars">-1</property>
2300                   <property name="single_line_mode">False</property>
2301                   <property name="angle">0</property>
2302                 </widget>
2303                 <packing>
2304                   <property name="padding">0</property>
2305                   <property name="expand">False</property>
2306                   <property name="fill">False</property>
2307                 </packing>
2308               </child>
2309
2310               <child>
2311                 <widget class="GtkHBox" id="hbox24">
2312                   <property name="visible">True</property>
2313                   <property name="homogeneous">False</property>
2314                   <property name="spacing">0</property>
2315
2316                   <child>
2317                     <widget class="GtkLabel" id="label52">
2318                       <property name="visible">True</property>
2319                       <property name="label" translatable="yes">    </property>
2320                       <property name="use_underline">False</property>
2321                       <property name="use_markup">False</property>
2322                       <property name="justify">GTK_JUSTIFY_LEFT</property>
2323                       <property name="wrap">False</property>
2324                       <property name="selectable">False</property>
2325                       <property name="xalign">0.5</property>
2326                       <property name="yalign">0.5</property>
2327                       <property name="xpad">0</property>
2328                       <property name="ypad">0</property>
2329                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2330                       <property name="width_chars">-1</property>
2331                       <property name="single_line_mode">False</property>
2332                       <property name="angle">0</property>
2333                     </widget>
2334                     <packing>
2335                       <property name="padding">0</property>
2336                       <property name="expand">False</property>
2337                       <property name="fill">False</property>
2338                     </packing>
2339                   </child>
2340
2341                   <child>
2342                     <widget class="GtkVBox" id="vbox19">
2343                       <property name="visible">True</property>
2344                       <property name="homogeneous">False</property>
2345                       <property name="spacing">6</property>
2346
2347                       <child>
2348                         <widget class="GtkHBox" id="hbox25">
2349                           <property name="visible">True</property>
2350                           <property name="homogeneous">False</property>
2351                           <property name="spacing">6</property>
2352
2353                           <child>
2354                             <widget class="GtkLabel" id="label53">
2355                               <property name="visible">True</property>
2356                               <property name="label" translatable="yes">_Number of desktops: </property>
2357                               <property name="use_underline">True</property>
2358                               <property name="use_markup">False</property>
2359                               <property name="justify">GTK_JUSTIFY_LEFT</property>
2360                               <property name="wrap">False</property>
2361                               <property name="selectable">False</property>
2362                               <property name="xalign">0.5</property>
2363                               <property name="yalign">0.5</property>
2364                               <property name="xpad">0</property>
2365                               <property name="ypad">0</property>
2366                               <property name="mnemonic_widget">desktop_num</property>
2367                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2368                               <property name="width_chars">-1</property>
2369                               <property name="single_line_mode">False</property>
2370                               <property name="angle">0</property>
2371                             </widget>
2372                             <packing>
2373                               <property name="padding">0</property>
2374                               <property name="expand">False</property>
2375                               <property name="fill">False</property>
2376                             </packing>
2377                           </child>
2378
2379                           <child>
2380                             <widget class="GtkSpinButton" id="desktop_num">
2381                               <property name="visible">True</property>
2382                               <property name="can_focus">True</property>
2383                               <property name="climb_rate">1</property>
2384                               <property name="digits">0</property>
2385                               <property name="numeric">True</property>
2386                               <property name="update_policy">GTK_UPDATE_ALWAYS</property>
2387                               <property name="snap_to_ticks">False</property>
2388                               <property name="wrap">False</property>
2389                               <property name="adjustment">1 1 100 1 10 10</property>
2390                               <signal name="value_changed" handler="on_desktop_num_value_changed" after="yes" last_modification_time="Mon, 15 Sep 2003 01:16:20 GMT"/>
2391                             </widget>
2392                             <packing>
2393                               <property name="padding">0</property>
2394                               <property name="expand">False</property>
2395                               <property name="fill">True</property>
2396                             </packing>
2397                           </child>
2398                         </widget>
2399                         <packing>
2400                           <property name="padding">0</property>
2401                           <property name="expand">False</property>
2402                           <property name="fill">True</property>
2403                         </packing>
2404                       </child>
2405
2406                       <child>
2407                         <widget class="GtkLabel" id="label54">
2408                           <property name="visible">True</property>
2409                           <property name="label" translatable="yes">_Desktop names:</property>
2410                           <property name="use_underline">True</property>
2411                           <property name="use_markup">False</property>
2412                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2413                           <property name="wrap">False</property>
2414                           <property name="selectable">False</property>
2415                           <property name="xalign">0</property>
2416                           <property name="yalign">0.5</property>
2417                           <property name="xpad">0</property>
2418                           <property name="ypad">0</property>
2419                           <property name="mnemonic_widget">desktop_names</property>
2420                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2421                           <property name="width_chars">-1</property>
2422                           <property name="single_line_mode">False</property>
2423                           <property name="angle">0</property>
2424                         </widget>
2425                         <packing>
2426                           <property name="padding">0</property>
2427                           <property name="expand">False</property>
2428                           <property name="fill">False</property>
2429                         </packing>
2430                       </child>
2431
2432                       <child>
2433                         <widget class="GtkScrolledWindow" id="scrolledwindow1">
2434                           <property name="visible">True</property>
2435                           <property name="can_focus">True</property>
2436                           <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
2437                           <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2438                           <property name="shadow_type">GTK_SHADOW_IN</property>
2439                           <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
2440
2441                           <child>
2442                             <widget class="GtkTreeView" id="desktop_names">
2443                               <property name="visible">True</property>
2444                               <property name="can_focus">True</property>
2445                               <property name="headers_visible">False</property>
2446                               <property name="rules_hint">False</property>
2447                               <property name="reorderable">False</property>
2448                               <property name="enable_search">True</property>
2449                               <property name="fixed_height_mode">False</property>
2450                               <property name="hover_selection">False</property>
2451                               <property name="hover_expand">False</property>
2452                             </widget>
2453                           </child>
2454                         </widget>
2455                         <packing>
2456                           <property name="padding">0</property>
2457                           <property name="expand">True</property>
2458                           <property name="fill">True</property>
2459                         </packing>
2460                       </child>
2461                     </widget>
2462                     <packing>
2463                       <property name="padding">0</property>
2464                       <property name="expand">True</property>
2465                       <property name="fill">True</property>
2466                     </packing>
2467                   </child>
2468                 </widget>
2469                 <packing>
2470                   <property name="padding">0</property>
2471                   <property name="expand">True</property>
2472                   <property name="fill">True</property>
2473                 </packing>
2474               </child>
2475             </widget>
2476             <packing>
2477               <property name="tab_expand">False</property>
2478               <property name="tab_fill">True</property>
2479             </packing>
2480           </child>
2481
2482           <child>
2483             <widget class="GtkLabel" id="label31">
2484               <property name="visible">True</property>
2485               <property name="label" translatable="yes">Desktops</property>
2486               <property name="use_underline">False</property>
2487               <property name="use_markup">False</property>
2488               <property name="justify">GTK_JUSTIFY_LEFT</property>
2489               <property name="wrap">False</property>
2490               <property name="selectable">False</property>
2491               <property name="xalign">0.5</property>
2492               <property name="yalign">0.5</property>
2493               <property name="xpad">0</property>
2494               <property name="ypad">0</property>
2495               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2496               <property name="width_chars">-1</property>
2497               <property name="single_line_mode">False</property>
2498               <property name="angle">0</property>
2499             </widget>
2500             <packing>
2501               <property name="type">tab</property>
2502             </packing>
2503           </child>
2504
2505           <child>
2506             <widget class="GtkVBox" id="vbox26">
2507               <property name="border_width">12</property>
2508               <property name="visible">True</property>
2509               <property name="homogeneous">False</property>
2510               <property name="spacing">18</property>
2511
2512               <child>
2513                 <widget class="GtkVBox" id="vbox27">
2514                   <property name="visible">True</property>
2515                   <property name="homogeneous">False</property>
2516                   <property name="spacing">6</property>
2517
2518                   <child>
2519                     <widget class="GtkLabel" id="label70">
2520                       <property name="visible">True</property>
2521                       <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Position&lt;/span&gt;</property>
2522                       <property name="use_underline">False</property>
2523                       <property name="use_markup">True</property>
2524                       <property name="justify">GTK_JUSTIFY_LEFT</property>
2525                       <property name="wrap">False</property>
2526                       <property name="selectable">False</property>
2527                       <property name="xalign">0</property>
2528                       <property name="yalign">0.5</property>
2529                       <property name="xpad">0</property>
2530                       <property name="ypad">0</property>
2531                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2532                       <property name="width_chars">-1</property>
2533                       <property name="single_line_mode">False</property>
2534                       <property name="angle">0</property>
2535                     </widget>
2536                     <packing>
2537                       <property name="padding">0</property>
2538                       <property name="expand">False</property>
2539                       <property name="fill">False</property>
2540                     </packing>
2541                   </child>
2542
2543                   <child>
2544                     <widget class="GtkHBox" id="hbox33">
2545                       <property name="visible">True</property>
2546                       <property name="homogeneous">False</property>
2547                       <property name="spacing">0</property>
2548
2549                       <child>
2550                         <widget class="GtkLabel" id="label71">
2551                           <property name="visible">True</property>
2552                           <property name="label" translatable="yes">    </property>
2553                           <property name="use_underline">False</property>
2554                           <property name="use_markup">False</property>
2555                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2556                           <property name="wrap">False</property>
2557                           <property name="selectable">False</property>
2558                           <property name="xalign">0.5</property>
2559                           <property name="yalign">0.5</property>
2560                           <property name="xpad">0</property>
2561                           <property name="ypad">0</property>
2562                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2563                           <property name="width_chars">-1</property>
2564                           <property name="single_line_mode">False</property>
2565                           <property name="angle">0</property>
2566                         </widget>
2567                         <packing>
2568                           <property name="padding">0</property>
2569                           <property name="expand">False</property>
2570                           <property name="fill">False</property>
2571                         </packing>
2572                       </child>
2573
2574                       <child>
2575                         <widget class="GtkVBox" id="vbox30">
2576                           <property name="visible">True</property>
2577                           <property name="homogeneous">False</property>
2578                           <property name="spacing">6</property>
2579
2580                           <child>
2581                             <widget class="GtkHBox" id="hbox19">
2582                               <property name="visible">True</property>
2583                               <property name="homogeneous">False</property>
2584                               <property name="spacing">12</property>
2585
2586                               <child>
2587                                 <widget class="GtkLabel" id="dock_position_label">
2588                                   <property name="visible">True</property>
2589                                   <property name="label" translatable="yes">_Position:</property>
2590                                   <property name="use_underline">True</property>
2591                                   <property name="use_markup">False</property>
2592                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2593                                   <property name="wrap">False</property>
2594                                   <property name="selectable">False</property>
2595                                   <property name="xalign">0</property>
2596                                   <property name="yalign">0.5</property>
2597                                   <property name="xpad">0</property>
2598                                   <property name="ypad">0</property>
2599                                   <property name="mnemonic_widget">dock_position</property>
2600                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2601                                   <property name="width_chars">-1</property>
2602                                   <property name="single_line_mode">False</property>
2603                                   <property name="angle">0</property>
2604                                 </widget>
2605                                 <packing>
2606                                   <property name="padding">0</property>
2607                                   <property name="expand">False</property>
2608                                   <property name="fill">False</property>
2609                                 </packing>
2610                               </child>
2611
2612                               <child>
2613                                 <widget class="GtkOptionMenu" id="dock_position">
2614                                   <property name="visible">True</property>
2615                                   <property name="can_focus">True</property>
2616                                   <property name="history">0</property>
2617
2618                                   <child>
2619                                     <widget class="GtkMenu" id="menu5">
2620
2621                                       <child>
2622                                         <widget class="GtkMenuItem" id="top_left">
2623                                           <property name="visible">True</property>
2624                                           <property name="label" translatable="yes">Top Left</property>
2625                                           <property name="use_underline">True</property>
2626                                           <signal name="activate" handler="on_dock_top_left_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
2627                                         </widget>
2628                                       </child>
2629
2630                                       <child>
2631                                         <widget class="GtkMenuItem" id="top">
2632                                           <property name="visible">True</property>
2633                                           <property name="label" translatable="yes">Top</property>
2634                                           <property name="use_underline">True</property>
2635                                           <signal name="activate" handler="on_dock_top_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
2636                                         </widget>
2637                                       </child>
2638
2639                                       <child>
2640                                         <widget class="GtkMenuItem" id="top_right">
2641                                           <property name="visible">True</property>
2642                                           <property name="label" translatable="yes">Top Right</property>
2643                                           <property name="use_underline">True</property>
2644                                           <signal name="activate" handler="on_dock_top_right_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
2645                                         </widget>
2646                                       </child>
2647
2648                                       <child>
2649                                         <widget class="GtkMenuItem" id="left">
2650                                           <property name="visible">True</property>
2651                                           <property name="label" translatable="yes">Left</property>
2652                                           <property name="use_underline">True</property>
2653                                           <signal name="activate" handler="on_dock_left_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
2654                                         </widget>
2655                                       </child>
2656
2657                                       <child>
2658                                         <widget class="GtkMenuItem" id="right">
2659                                           <property name="visible">True</property>
2660                                           <property name="label" translatable="yes">Right</property>
2661                                           <property name="use_underline">True</property>
2662                                           <signal name="activate" handler="on_dock_right_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
2663                                         </widget>
2664                                       </child>
2665
2666                                       <child>
2667                                         <widget class="GtkMenuItem" id="bottom_left">
2668                                           <property name="visible">True</property>
2669                                           <property name="label" translatable="yes">Bottom Left</property>
2670                                           <property name="use_underline">True</property>
2671                                           <signal name="activate" handler="on_dock_bottom_left_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
2672                                         </widget>
2673                                       </child>
2674
2675                                       <child>
2676                                         <widget class="GtkMenuItem" id="bottom">
2677                                           <property name="visible">True</property>
2678                                           <property name="label" translatable="yes">Bottom</property>
2679                                           <property name="use_underline">True</property>
2680                                           <signal name="activate" handler="on_dock_bottom_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
2681                                         </widget>
2682                                       </child>
2683
2684                                       <child>
2685                                         <widget class="GtkMenuItem" id="bottom_right">
2686                                           <property name="visible">True</property>
2687                                           <property name="label" translatable="yes">Bottom Right</property>
2688                                           <property name="use_underline">True</property>
2689                                           <signal name="activate" handler="on_dock_bottom_right_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
2690                                         </widget>
2691                                       </child>
2692
2693                                       <child>
2694                                         <widget class="GtkMenuItem" id="floating">
2695                                           <property name="visible">True</property>
2696                                           <property name="label" translatable="yes">Floating</property>
2697                                           <property name="use_underline">True</property>
2698                                           <signal name="activate" handler="on_dock_floating_activate" last_modification_time="Sun, 07 Sep 2003 20:36:20 GMT"/>
2699                                         </widget>
2700                                       </child>
2701                                     </widget>
2702                                   </child>
2703                                 </widget>
2704                                 <packing>
2705                                   <property name="padding">0</property>
2706                                   <property name="expand">False</property>
2707                                   <property name="fill">False</property>
2708                                 </packing>
2709                               </child>
2710                             </widget>
2711                             <packing>
2712                               <property name="padding">0</property>
2713                               <property name="expand">False</property>
2714                               <property name="fill">False</property>
2715                             </packing>
2716                           </child>
2717
2718                           <child>
2719                             <widget class="GtkHBox" id="hbox36">
2720                               <property name="visible">True</property>
2721                               <property name="homogeneous">False</property>
2722                               <property name="spacing">0</property>
2723
2724                               <child>
2725                                 <widget class="GtkLabel" id="label76">
2726                                   <property name="visible">True</property>
2727                                   <property name="label" translatable="yes">    </property>
2728                                   <property name="use_underline">False</property>
2729                                   <property name="use_markup">False</property>
2730                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2731                                   <property name="wrap">False</property>
2732                                   <property name="selectable">False</property>
2733                                   <property name="xalign">0.5</property>
2734                                   <property name="yalign">0.5</property>
2735                                   <property name="xpad">0</property>
2736                                   <property name="ypad">0</property>
2737                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2738                                   <property name="width_chars">-1</property>
2739                                   <property name="single_line_mode">False</property>
2740                                   <property name="angle">0</property>
2741                                 </widget>
2742                                 <packing>
2743                                   <property name="padding">0</property>
2744                                   <property name="expand">False</property>
2745                                   <property name="fill">False</property>
2746                                 </packing>
2747                               </child>
2748
2749                               <child>
2750                                 <widget class="GtkHBox" id="hbox20">
2751                                   <property name="visible">True</property>
2752                                   <property name="homogeneous">False</property>
2753                                   <property name="spacing">6</property>
2754
2755                                   <child>
2756                                     <widget class="GtkLabel" id="dock_float_label">
2757                                       <property name="visible">True</property>
2758                                       <property name="label" translatable="yes">_Floating position:</property>
2759                                       <property name="use_underline">True</property>
2760                                       <property name="use_markup">False</property>
2761                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
2762                                       <property name="wrap">False</property>
2763                                       <property name="selectable">False</property>
2764                                       <property name="xalign">0.5</property>
2765                                       <property name="yalign">0.5</property>
2766                                       <property name="xpad">0</property>
2767                                       <property name="ypad">0</property>
2768                                       <property name="mnemonic_widget">dock_float_x</property>
2769                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2770                                       <property name="width_chars">-1</property>
2771                                       <property name="single_line_mode">False</property>
2772                                       <property name="angle">0</property>
2773                                     </widget>
2774                                     <packing>
2775                                       <property name="padding">0</property>
2776                                       <property name="expand">False</property>
2777                                       <property name="fill">False</property>
2778                                     </packing>
2779                                   </child>
2780
2781                                   <child>
2782                                     <widget class="GtkSpinButton" id="dock_float_x">
2783                                       <property name="visible">True</property>
2784                                       <property name="can_focus">True</property>
2785                                       <property name="climb_rate">1</property>
2786                                       <property name="digits">0</property>
2787                                       <property name="numeric">True</property>
2788                                       <property name="update_policy">GTK_UPDATE_ALWAYS</property>
2789                                       <property name="snap_to_ticks">False</property>
2790                                       <property name="wrap">False</property>
2791                                       <property name="adjustment">1 0 10000 1 10 10</property>
2792                                       <signal name="value_changed" handler="on_dock_float_x_value_changed" after="yes" last_modification_time="Sun, 14 Sep 2003 11:07:38 GMT"/>
2793                                     </widget>
2794                                     <packing>
2795                                       <property name="padding">0</property>
2796                                       <property name="expand">False</property>
2797                                       <property name="fill">True</property>
2798                                     </packing>
2799                                   </child>
2800
2801                                   <child>
2802                                     <widget class="GtkLabel" id="dock_float_label_x">
2803                                       <property name="visible">True</property>
2804                                       <property name="label" translatable="yes">x</property>
2805                                       <property name="use_underline">False</property>
2806                                       <property name="use_markup">False</property>
2807                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
2808                                       <property name="wrap">False</property>
2809                                       <property name="selectable">False</property>
2810                                       <property name="xalign">0.5</property>
2811                                       <property name="yalign">0.5</property>
2812                                       <property name="xpad">0</property>
2813                                       <property name="ypad">0</property>
2814                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2815                                       <property name="width_chars">-1</property>
2816                                       <property name="single_line_mode">False</property>
2817                                       <property name="angle">0</property>
2818                                     </widget>
2819                                     <packing>
2820                                       <property name="padding">0</property>
2821                                       <property name="expand">False</property>
2822                                       <property name="fill">False</property>
2823                                     </packing>
2824                                   </child>
2825
2826                                   <child>
2827                                     <widget class="GtkSpinButton" id="dock_float_y">
2828  &nb