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