1 <?xml version="1.0" encoding="UTF-8"?>
3 <!-- interface-requires gtk+ 2.6 -->
4 <!-- interface-naming-policy toplevel-contextual -->
5 <widget class="GtkWindow" id="about_window">
6 <property name="can_focus">False</property>
7 <property name="title" translatable="yes">About ObConf</property>
8 <property name="type_hint">dialog</property>
9 <signal name="delete_event" handler="on_about_window_delete_event" swapped="no"/>
11 <widget class="GtkVBox" id="vbox33">
12 <property name="visible">True</property>
13 <property name="can_focus">False</property>
14 <property name="border_width">12</property>
15 <property name="spacing">12</property>
17 <widget class="GtkVBox" id="vbox1">
18 <property name="visible">True</property>
19 <property name="can_focus">False</property>
20 <property name="spacing">6</property>
22 <widget class="GtkLabel" id="title_label">
23 <property name="visible">True</property>
24 <property name="can_focus">True</property>
25 <property name="label" translatable="yes"><span weight="bold" size="xx-large">ObConf VERSION</span></property>
26 <property name="use_markup">True</property>
27 <property name="selectable">True</property>
30 <property name="expand">False</property>
31 <property name="fill">False</property>
32 <property name="position">0</property>
36 <widget class="GtkLabel" id="label81">
37 <property name="visible">True</property>
38 <property name="can_focus">True</property>
39 <property name="label" translatable="yes">A preferences manager for Openbox</property>
40 <property name="selectable">True</property>
43 <property name="expand">False</property>
44 <property name="fill">False</property>
45 <property name="position">1</property>
49 <widget class="GtkLabel" id="label80">
50 <property name="visible">True</property>
51 <property name="can_focus">True</property>
52 <property name="label">Copyright (c) 2003-2008
53 Dana Jansens <danakj@orodu.net>
54 Tim Riley <tr@slackzone.org>
55 Javeed Shaikh <syscrash2k@gmail.com></property>
56 <property name="justify">center</property>
57 <property name="selectable">True</property>
60 <property name="expand">False</property>
61 <property name="fill">False</property>
62 <property name="position">2</property>
67 <property name="expand">True</property>
68 <property name="fill">True</property>
69 <property name="position">0</property>
73 <widget class="GtkHButtonBox" id="hbuttonbox2">
74 <property name="visible">True</property>
75 <property name="can_focus">False</property>
76 <property name="layout_style">end</property>
78 <widget class="GtkButton" id="about_close">
79 <property name="label">gtk-close</property>
80 <property name="visible">True</property>
81 <property name="can_focus">True</property>
82 <property name="has_focus">True</property>
83 <property name="can_default">True</property>
84 <property name="has_default">True</property>
85 <property name="receives_default">False</property>
86 <property name="use_action_appearance">False</property>
87 <property name="use_stock">True</property>
88 <signal name="clicked" handler="on_about_close_clicked" after="yes" swapped="no"/>
91 <property name="expand">False</property>
92 <property name="fill">False</property>
93 <property name="position">0</property>
98 <property name="expand">True</property>
99 <property name="fill">True</property>
100 <property name="position">1</property>
106 <widget class="GtkWindow" id="key_prompt">
107 <property name="can_focus">False</property>
108 <property name="title" translatable="yes">window1</property>
110 <widget class="GtkVBox" id="vbox49">
111 <property name="visible">True</property>
112 <property name="can_focus">False</property>
113 <property name="border_width">12</property>
114 <property name="spacing">18</property>
116 <widget class="GtkLabel" id="label117">
117 <property name="visible">True</property>
118 <property name="can_focus">False</property>
119 <property name="xalign">0</property>
120 <property name="label" translatable="yes"><span weight="bold">Press the key you wish to bind...</span></property>
121 <property name="use_markup">True</property>
124 <property name="expand">False</property>
125 <property name="fill">False</property>
126 <property name="position">0</property>
130 <widget class="GtkEntry" id="entry2">
131 <property name="visible">True</property>
132 <property name="can_focus">True</property>
133 <property name="has_focus">True</property>
134 <property name="invisible_char">●</property>
135 <property name="primary_icon_activatable">False</property>
136 <property name="secondary_icon_activatable">False</property>
137 <property name="primary_icon_sensitive">True</property>
138 <property name="secondary_icon_sensitive">True</property>
141 <property name="expand">False</property>
142 <property name="fill">False</property>
143 <property name="position">1</property>
149 <widget class="GtkWindow" id="main_window">
150 <property name="can_focus">False</property>
151 <property name="border_width">6</property>
152 <property name="title" translatable="yes">Openbox Configuration Manager</property>
153 <property name="icon_name">preferences-system-windows</property>
154 <signal name="delete_event" handler="on_main_window_delete_event" swapped="no"/>
156 <widget class="GtkVBox" id="vbox8">
157 <property name="visible">True</property>
158 <property name="can_focus">False</property>
159 <property name="spacing">6</property>
161 <widget class="GtkNotebook" id="tabstrip">
162 <property name="visible">True</property>
163 <property name="can_focus">True</property>
164 <property name="tab_pos">left</property>
165 <property name="scrollable">True</property>
167 <widget class="GtkVBox" id="vbox20">
168 <property name="visible">True</property>
169 <property name="can_focus">False</property>
170 <property name="border_width">12</property>
171 <property name="spacing">6</property>
173 <widget class="GtkVBox" id="vbox21">
174 <property name="visible">True</property>
175 <property name="can_focus">False</property>
176 <property name="spacing">6</property>
178 <widget class="GtkLabel" id="label59">
179 <property name="visible">True</property>
180 <property name="can_focus">False</property>
181 <property name="xalign">0</property>
182 <property name="label" translatable="yes"><span weight="bold">Theme</span></property>
183 <property name="use_markup">True</property>
186 <property name="expand">False</property>
187 <property name="fill">False</property>
188 <property name="position">0</property>
192 <widget class="GtkHBox" id="hbox29">
193 <property name="visible">True</property>
194 <property name="can_focus">False</property>
196 <widget class="GtkLabel" id="label60">
197 <property name="visible">True</property>
198 <property name="can_focus">False</property>
199 <property name="label"> </property>
202 <property name="expand">False</property>
203 <property name="fill">False</property>
204 <property name="position">0</property>
208 <widget class="GtkVBox" id="vbox22">
209 <property name="visible">True</property>
210 <property name="can_focus">False</property>
211 <property name="spacing">6</property>
213 <widget class="GtkScrolledWindow" id="scrolledwindow3">
214 <property name="visible">True</property>
215 <property name="can_focus">True</property>
216 <property name="hscrollbar_policy">never</property>
217 <property name="vscrollbar_policy">automatic</property>
218 <property name="shadow_type">in</property>
220 <widget class="GtkTreeView" id="theme_names">
221 <property name="visible">True</property>
222 <property name="can_focus">True</property>
223 <property name="headers_visible">False</property>
228 <property name="expand">True</property>
229 <property name="fill">True</property>
230 <property name="position">0</property>
235 <property name="expand">True</property>
236 <property name="fill">True</property>
237 <property name="position">1</property>
242 <property name="expand">True</property>
243 <property name="fill">True</property>
244 <property name="position">1</property>
249 <property name="expand">True</property>
250 <property name="fill">True</property>
251 <property name="position">0</property>
255 <widget class="GtkVBox" id="vbox41">
256 <property name="visible">True</property>
257 <property name="can_focus">False</property>
259 <widget class="GtkButton" id="install_theme">
260 <property name="visible">True</property>
261 <property name="can_focus">True</property>
262 <property name="receives_default">False</property>
263 <property name="use_action_appearance">False</property>
264 <signal name="clicked" handler="on_install_theme_clicked" swapped="no"/>
266 <widget class="GtkAlignment" id="alignment1">
267 <property name="visible">True</property>
268 <property name="can_focus">False</property>
269 <property name="xalign">0</property>
270 <property name="xscale">0</property>
271 <property name="yscale">0</property>
273 <widget class="GtkHBox" id="hbox53">
274 <property name="visible">True</property>
275 <property name="can_focus">False</property>
276 <property name="spacing">2</property>
278 <widget class="GtkImage" id="image1">
279 <property name="visible">True</property>
280 <property name="can_focus">False</property>
281 <property name="stock">gtk-open</property>
284 <property name="expand">False</property>
285 <property name="fill">False</property>
286 <property name="position">0</property>
290 <widget class="GtkLabel" id="label103">
291 <property name="visible">True</property>
292 <property name="can_focus">False</property>
293 <property name="label" translatable="yes">_Install a new theme...</property>
294 <property name="use_underline">True</property>
297 <property name="expand">False</property>
298 <property name="fill">False</property>
299 <property name="position">1</property>
308 <property name="expand">False</property>
309 <property name="fill">False</property>
310 <property name="position">0</property>
315 <property name="expand">False</property>
316 <property name="fill">True</property>
317 <property name="position">1</property>
321 <widget class="GtkVBox" id="vbox42">
322 <property name="visible">True</property>
323 <property name="can_focus">False</property>
325 <widget class="GtkButton" id="theme_archive">
326 <property name="visible">True</property>
327 <property name="can_focus">True</property>
328 <property name="receives_default">False</property>
329 <property name="use_action_appearance">False</property>
330 <signal name="clicked" handler="on_theme_archive_clicked" swapped="no"/>
332 <widget class="GtkAlignment" id="alignment2">
333 <property name="visible">True</property>
334 <property name="can_focus">False</property>
335 <property name="xalign">0</property>
336 <property name="xscale">0</property>
337 <property name="yscale">0</property>
339 <widget class="GtkHBox" id="hbox55">
340 <property name="visible">True</property>
341 <property name="can_focus">False</property>
342 <property name="spacing">2</property>
344 <widget class="GtkImage" id="image2">
345 <property name="visible">True</property>
346 <property name="can_focus">False</property>
347 <property name="stock">gtk-save</property>
350 <property name="expand">False</property>
351 <property name="fill">False</property>
352 <property name="position">0</property>
356 <widget class="GtkLabel" id="label106">
357 <property name="visible">True</property>
358 <property name="can_focus">False</property>
359 <property name="label" translatable="yes">Create a theme _archive (.obt)...</property>
360 <property name="use_underline">True</property>
363 <property name="expand">False</property>
364 <property name="fill">False</property>
365 <property name="position">1</property>
374 <property name="expand">False</property>
375 <property name="fill">False</property>
376 <property name="position">0</property>
381 <property name="expand">False</property>
382 <property name="fill">True</property>
383 <property name="position">2</property>
389 <widget class="GtkLabel" id="label3">
390 <property name="visible">True</property>
391 <property name="can_focus">False</property>
392 <property name="xalign">0</property>
393 <property name="xpad">6</property>
394 <property name="ypad">8</property>
395 <property name="label" translatable="yes">Theme</property>
398 <property name="tab_fill">False</property>
399 <property name="type">tab</property>
403 <widget class="GtkVBox" id="vbox36">
404 <property name="visible">True</property>
405 <property name="can_focus">False</property>
406 <property name="border_width">12</property>
407 <property name="spacing">18</property>
409 <widget class="GtkVBox" id="vbox40">
410 <property name="visible">True</property>
411 <property name="can_focus">False</property>
412 <property name="spacing">6</property>
414 <widget class="GtkLabel" id="label99">
415 <property name="visible">True</property>
416 <property name="can_focus">False</property>
417 <property name="xalign">0</property>
418 <property name="label" translatable="yes"><span weight="bold">Windows</span></property>
419 <property name="use_markup">True</property>
422 <property name="expand">False</property>
423 <property name="fill">False</property>
424 <property name="position">0</property>
428 <widget class="GtkHBox" id="hbox50">
429 <property name="visible">True</property>
430 <property name="can_focus">False</property>
432 <widget class="GtkVBox" id="vbox69">
433 <property name="visible">True</property>
434 <property name="can_focus">False</property>
436 <widget class="GtkHBox" id="hbox93">
437 <property name="visible">True</property>
438 <property name="can_focus">False</property>
440 <widget class="GtkLabel" id="label171">
441 <property name="visible">True</property>
442 <property name="can_focus">False</property>
443 <property name="label"> </property>
446 <property name="expand">False</property>
447 <property name="fill">False</property>
448 <property name="position">0</property>
452 <widget class="GtkVBox" id="vbox70">
453 <property name="visible">True</property>
454 <property name="can_focus">False</property>
455 <property name="spacing">6</property>
457 <widget class="GtkHBox" id="hbox51">
458 <property name="visible">True</property>
459 <property name="can_focus">False</property>
461 <widget class="GtkCheckButton" id="window_border">
462 <property name="label" translatable="yes">_Windows retain a border when undecorated</property>
463 <property name="visible">True</property>
464 <property name="can_focus">True</property>
465 <property name="receives_default">False</property>
466 <property name="use_action_appearance">False</property>
467 <property name="use_underline">True</property>
468 <property name="draw_indicator">True</property>
469 <signal name="toggled" handler="on_window_border_toggled" after="yes" swapped="no"/>
472 <property name="expand">False</property>
473 <property name="fill">False</property>
474 <property name="position">0</property>
479 <property name="expand">True</property>
480 <property name="fill">True</property>
481 <property name="position">0</property>
485 <widget class="GtkCheckButton" id="animate_iconify">
486 <property name="label" translatable="yes">A_nimate iconify and restore</property>
487 <property name="visible">True</property>
488 <property name="can_focus">True</property>
489 <property name="receives_default">False</property>
490 <property name="use_action_appearance">False</property>
491 <property name="use_underline">True</property>
492 <property name="draw_indicator">True</property>
493 <signal name="toggled" handler="on_animate_iconify_toggled" after="yes" swapped="no"/>
496 <property name="expand">False</property>
497 <property name="fill">False</property>
498 <property name="position">1</property>
503 <property name="expand">True</property>
504 <property name="fill">True</property>
505 <property name="position">1</property>
510 <property name="expand">True</property>
511 <property name="fill">True</property>
512 <property name="position">0</property>
517 <property name="expand">True</property>
518 <property name="fill">True</property>
519 <property name="position">0</property>
524 <property name="expand">False</property>
525 <property name="fill">True</property>
526 <property name="position">1</property>
531 <property name="expand">False</property>
532 <property name="fill">True</property>
533 <property name="position">0</property>
537 <widget class="GtkVBox" id="vbox38">
538 <property name="visible">True</property>
539 <property name="can_focus">False</property>
540 <property name="spacing">6</property>
542 <widget class="GtkLabel" id="label88">
543 <property name="visible">True</property>
544 <property name="can_focus">False</property>
545 <property name="xalign">0</property>
546 <property name="label" translatable="yes"><span weight="bold">Window Titles</span></property>
547 <property name="use_markup">True</property>
550 <property name="expand">False</property>
551 <property name="fill">False</property>
552 <property name="position">0</property>
556 <widget class="GtkHBox" id="hbox43">
557 <property name="visible">True</property>
558 <property name="can_focus">False</property>
560 <widget class="GtkLabel" id="label89">
561 <property name="visible">True</property>
562 <property name="can_focus">False</property>
563 <property name="label"> </property>
566 <property name="expand">False</property>
567 <property name="fill">False</property>
568 <property name="position">0</property>
572 <widget class="GtkVBox" id="vbox83">
573 <property name="visible">True</property>
574 <property name="can_focus">False</property>
575 <property name="spacing">6</property>
577 <widget class="GtkHBox" id="hbox44">
578 <property name="visible">True</property>
579 <property name="can_focus">False</property>
580 <property name="spacing">6</property>
582 <widget class="GtkLabel" id="label90">
583 <property name="visible">True</property>
584 <property name="can_focus">False</property>
585 <property name="label" translatable="yes">_Button order:</property>
586 <property name="use_underline">True</property>
587 <property name="mnemonic_widget">title_layout</property>
590 <property name="expand">False</property>
591 <property name="fill">False</property>
592 <property name="position">0</property>
596 <widget class="GtkEntry" id="title_layout">
597 <property name="visible">True</property>
598 <property name="can_focus">True</property>
599 <property name="tooltip" translatable="yes">N - The window's icon
600 D - The all-desktops (sticky) button
601 S - The shade (roll up) button
602 L - The label (window title)
603 I - The iconify (minimize) button
604 M - The maximize button
605 C - The close button</property>
606 <property name="primary_icon_activatable">False</property>
607 <property name="secondary_icon_activatable">False</property>
608 <property name="primary_icon_sensitive">True</property>
609 <property name="secondary_icon_sensitive">True</property>
610 <signal name="changed" handler="on_title_layout_changed" after="yes" swapped="no"/>
613 <property name="expand">False</property>
614 <property name="fill">True</property>
615 <property name="position">1</property>
620 <property name="expand">True</property>
621 <property name="fill">True</property>
622 <property name="position">0</property>
626 <widget class="GtkHBox" id="hbox114">
627 <property name="visible">True</property>
628 <property name="can_focus">False</property>
629 <property name="spacing">6</property>
631 <widget class="GtkLabel" id="label233">
632 <property name="visible">True</property>
633 <property name="can_focus">False</property>
634 <property name="label"> </property>
637 <property name="expand">False</property>
638 <property name="fill">False</property>
639 <property name="position">0</property>
643 <widget class="GtkHBox" id="hbox115">
644 <property name="visible">True</property>
645 <property name="can_focus">False</property>
646 <property name="spacing">6</property>
648 <widget class="GtkLabel" id="label229">
649 <property name="visible">True</property>
650 <property name="can_focus">False</property>
651 <property name="xalign">0</property>
652 <property name="yalign">0</property>
653 <property name="label" translatable="yes">N:
659 <property name="expand">False</property>
660 <property name="fill">False</property>
661 <property name="position">0</property>
665 <widget class="GtkLabel" id="label230">
666 <property name="visible">True</property>
667 <property name="can_focus">False</property>
668 <property name="xalign">0</property>
669 <property name="yalign">0</property>
670 <property name="label" translatable="yes">Window icon
676 <property name="expand">False</property>
677 <property name="fill">False</property>
678 <property name="position">1</property>
682 <widget class="GtkVSeparator" id="vseparator1">
683 <property name="visible">True</property>
684 <property name="can_focus">False</property>
687 <property name="expand">False</property>
688 <property name="fill">False</property>
689 <property name="position">2</property>
693 <widget class="GtkLabel" id="label231">
694 <property name="visible">True</property>
695 <property name="can_focus">False</property>
696 <property name="xalign">0</property>
697 <property name="yalign">0</property>
698 <property name="label" translatable="yes">C:
703 <property name="expand">False</property>
704 <property name="fill">False</property>
705 <property name="position">3</property>
709 <widget class="GtkLabel" id="label232">
710 <property name="visible">True</property>
711 <property name="can_focus">False</property>
712 <property name="xalign">0</property>
713 <property name="yalign">0</property>
714 <property name="label" translatable="yes">Close
716 Omnipresent (On all desktops)</property>
719 <property name="expand">False</property>
720 <property name="fill">False</property>
721 <property name="position">4</property>
726 <property name="expand">True</property>
727 <property name="fill">True</property>
728 <property name="position">1</property>
733 <property name="expand">True</property>
734 <property name="fill">True</property>
735 <property name="position">1</property>
740 <property name="expand">True</property>
741 <property name="fill">True</property>
742 <property name="position">1</property>
747 <property name="expand">True</property>
748 <property name="fill">True</property>
749 <property name="position">1</property>
754 <property name="expand">False</property>
755 <property name="fill">True</property>
756 <property name="position">1</property>
760 <widget class="GtkVBox" id="vbox39">
761 <property name="visible">True</property>
762 <property name="can_focus">False</property>
763 <property name="spacing">6</property>
765 <widget class="GtkLabel" id="label91">
766 <property name="visible">True</property>
767 <property name="can_focus">False</property>
768 <property name="xalign">0</property>
769 <property name="label" translatable="yes"><span weight="bold">Fonts</span></property>
770 <property name="use_markup">True</property>
773 <property name="expand">False</property>
774 <property name="fill">False</property>
775 <property name="position">0</property>
779 <widget class="GtkHBox" id="hbox45">
780 <property name="visible">True</property>
781 <property name="can_focus">False</property>
783 <widget class="GtkLabel" id="label92">
784 <property name="visible">True</property>
785 <property name="can_focus">False</property>
786 <property name="label"> </property>
789 <property name="expand">False</property>
790 <property name="fill">False</property>
791 <property name="position">0</property>
795 <widget class="GtkTable" id="table1">
796 <property name="visible">True</property>
797 <property name="can_focus">False</property>
798 <property name="n_rows">6</property>
799 <property name="n_columns">2</property>
800 <property name="row_spacing">3</property>
802 <widget class="GtkFontButton" id="font_inactive">
803 <property name="visible">True</property>
804 <property name="can_focus">True</property>
805 <property name="receives_default">False</property>
806 <property name="use_action_appearance">False</property>
807 <property name="use_font">True</property>
808 <signal name="font_set" handler="on_font_inactive_font_set" swapped="no"/>
811 <property name="left_attach">1</property>
812 <property name="right_attach">2</property>
813 <property name="top_attach">1</property>
814 <property name="bottom_attach">2</property>
815 <property name="x_options">GTK_FILL</property>
816 <property name="y_options"/>
820 <widget class="GtkFontButton" id="font_menu_header">
821 <property name="visible">True</property>
822 <property name="can_focus">True</property>
823 <property name="receives_default">False</property>
824 <property name="use_action_appearance">False</property>
825 <property name="use_font">True</property>
826 <signal name="font_set" handler="on_font_menu_header_font_set" swapped="no"/>
829 <property name="left_attach">1</property>
830 <property name="right_attach">2</property>
831 <property name="top_attach">2</property>
832 <property name="bottom_attach">3</property>
833 <property name="x_options">GTK_FILL</property>
834 <property name="y_options"/>
838 <widget class="GtkFontButton" id="font_menu_item">
839 <property name="visible">True</property>
840 <property name="can_focus">True</property>
841 <property name="receives_default">False</property>
842 <property name="use_action_appearance">False</property>
843 <property name="use_font">True</property>
844 <signal name="font_set" handler="on_font_menu_item_font_set" swapped="no"/>
847 <property name="left_attach">1</property>
848 <property name="right_attach">2</property>
849 <property name="top_attach">3</property>
850 <property name="bottom_attach">4</property>
851 <property name="x_options">GTK_FILL</property>
852 <property name="y_options"/>
856 <widget class="GtkLabel" id="label94">
857 <property name="visible">True</property>
858 <property name="can_focus">False</property>
859 <property name="xalign">1</property>
860 <property name="label" translatable="yes">_Active window title: </property>
861 <property name="use_underline">True</property>
862 <property name="mnemonic_widget">font_active</property>
865 <property name="x_options">GTK_FILL</property>
866 <property name="y_options"/>
870 <widget class="GtkLabel" id="label95">
871 <property name="visible">True</property>
872 <property name="can_focus">False</property>
873 <property name="xalign">1</property>
874 <property name="label" translatable="yes">_Inactive window title: </property>
875 <property name="use_underline">True</property>
876 <property name="mnemonic_widget">font_inactive</property>
879 <property name="top_attach">1</property>
880 <property name="bottom_attach">2</property>
881 <property name="x_options">GTK_FILL</property>
882 <property name="y_options"/>
886 <widget class="GtkLabel" id="label96">
887 <property name="visible">True</property>
888 <property name="can_focus">False</property>
889 <property name="xalign">1</property>
890 <property name="label" translatable="yes">Menu _header: </property>
891 <property name="use_underline">True</property>
892 <property name="mnemonic_widget">font_menu_header</property>
895 <property name="top_attach">2</property>
896 <property name="bottom_attach">3</property>
897 <property name="x_options">GTK_FILL</property>
898 <property name="y_options"/>
902 <widget class="GtkLabel" id="label97">
903 <property name="visible">True</property>
904 <property name="can_focus">False</property>
905 <property name="xalign">1</property>
906 <property name="label" translatable="yes">_Menu Item: </property>
907 <property name="use_underline">True</property>
908 <property name="mnemonic_widget">font_menu_item</property>
911 <property name="top_attach">3</property>
912 <property name="bottom_attach">4</property>
913 <property name="x_options">GTK_FILL</property>
914 <property name="y_options"/>
918 <widget class="GtkLabel" id="label98">
919 <property name="visible">True</property>
920 <property name="can_focus">False</property>
921 <property name="xalign">1</property>
922 <property name="label" translatable="yes">Active _On-screen display: </property>
923 <property name="use_underline">True</property>
926 <property name="top_attach">4</property>
927 <property name="bottom_attach">5</property>
928 <property name="x_options">GTK_FILL</property>
929 <property name="y_options"/>
933 <widget class="GtkFontButton" id="font_active">
934 <property name="visible">True</property>
935 <property name="can_focus">True</property>
936 <property name="receives_default">False</property>
937 <property name="use_action_appearance">False</property>
938 <property name="use_font">True</property>
939 <signal name="font_set" handler="on_font_active_font_set" swapped="no"/>
942 <property name="left_attach">1</property>
943 <property name="right_attach">2</property>
944 <property name="y_options"/>
948 <widget class="GtkLabel" id="label240">
949 <property name="visible">True</property>
950 <property name="can_focus">False</property>
951 <property name="xalign">1</property>
952 <property name="label" translatable="yes">Inactive O_n-screen display: </property>
953 <property name="use_underline">True</property>
956 <property name="top_attach">5</property>
957 <property name="bottom_attach">6</property>
958 <property name="x_options">GTK_FILL</property>
959 <property name="y_options"/>
963 <widget class="GtkFontButton" id="font_active_display">
964 <property name="visible">True</property>
965 <property name="can_focus">True</property>
966 <property name="receives_default">False</property>
967 <property name="use_action_appearance">False</property>
968 <property name="use_font">True</property>
969 <signal name="font_set" handler="on_font_active_display_font_set" swapped="no"/>
972 <property name="left_attach">1</property>
973 <property name="right_attach">2</property>
974 <property name="top_attach">4</property>
975 <property name="bottom_attach">5</property>
976 <property name="x_options">GTK_FILL</property>
977 <property name="y_options"/>
981 <widget class="GtkFontButton" id="font_inactive_display">
982 <property name="visible">True</property>
983 <property name="can_focus">True</property>
984 <property name="receives_default">False</property>
985 <property name="use_action_appearance">False</property>
986 <property name="use_font">True</property>
987 <signal name="font_set" handler="on_font_inactive_display_font_set" swapped="no"/>
990 <property name="left_attach">1</property>
991 <property name="right_attach">2</property>
992 <property name="top_attach">5</property>
993 <property name="bottom_attach">6</property>
994 <property name="x_options">GTK_FILL</property>
995 <property name="y_options"/>
1000 <property name="expand">True</property>
1001 <property name="fill">True</property>
1002 <property name="position">1</property>
1007 <property name="expand">True</property>
1008 <property name="fill">True</property>
1009 <property name="position">1</property>
1014 <property name="expand">False</property>
1015 <property name="fill">True</property>
1016 <property name="position">2</property>
1021 <property name="position">1</property>
1025 <widget class="GtkLabel" id="label84">
1026 <property name="visible">True</property>
1027 <property name="can_focus">False</property>
1028 <property name="xalign">0</property>
1029 <property name="xpad">6</property>
1030 <property name="ypad">8</property>
1031 <property name="label" translatable="yes">Appearance</property>
1034 <property name="position">1</property>
1035 <property name="tab_fill">False</property>
1036 <property name="type">tab</property>
1040 <widget class="GtkVBox" id="vbox12">
1041 <property name="visible">True</property>
1042 <property name="can_focus">False</property>
1043 <property name="border_width">12</property>
1044 <property name="spacing">18</property>
1046 <widget class="GtkVBox" id="vbox65">
1047 <property name="visible">True</property>
1048 <property name="can_focus">False</property>
1049 <property name="spacing">6</property>
1051 <widget class="GtkLabel" id="label164">
1052 <property name="visible">True</property>
1053 <property name="can_focus">False</property>
1054 <property name="xalign">0</property>
1055 <property name="label" translatable="yes"><span weight="bold">Focusing Windows</span></property>
1056 <property name="use_markup">True</property>
1059 <property name="expand">False</property>
1060 <property name="fill">False</property>
1061 <property name="position">0</property>
1065 <widget class="GtkHBox" id="hbox89">
1066 <property name="visible">True</property>
1067 <property name="can_focus">False</property>
1069 <widget class="GtkLabel" id="label165">
1070 <property name="visible">True</property>
1071 <property name="can_focus">False</property>
1072 <property name="label"> </property>
1075 <property name="expand">False</property>
1076 <property name="fill">False</property>
1077 <property name="position">0</property>
1081 <widget class="GtkVBox" id="vbox66">
1082 <property name="visible">True</property>
1083 <property name="can_focus">False</property>
1084 <property name="spacing">6</property>
1086 <widget class="GtkCheckButton" id="focus_new">
1087 <property name="label" translatable="yes">Focus _new windows when they appear</property>
1088 <property name="visible">True</property>
1089 <property name="can_focus">True</property>
1090 <property name="receives_default">False</property>
1091 <property name="use_action_appearance">False</property>
1092 <property name="use_underline">True</property>
1093 <property name="draw_indicator">True</property>
1094 <signal name="toggled" handler="on_focus_new_toggled" after="yes" swapped="no"/>
1097 <property name="expand">False</property>
1098 <property name="fill">False</property>
1099 <property name="position">0</property>
1104 <property name="expand">True</property>
1105 <property name="fill">True</property>
1106 <property name="position">1</property>
1111 <property name="expand">True</property>
1112 <property name="fill">True</property>
1113 <property name="position">1</property>
1118 <property name="expand">False</property>
1119 <property name="fill">True</property>
1120 <property name="position">0</property>
1124 <widget class="GtkVBox" id="vbox34">
1125 <property name="visible">True</property>
1126 <property name="can_focus">False</property>
1127 <property name="spacing">6</property>
1129 <widget class="GtkLabel" id="label82">
1130 <property name="visible">True</property>
1131 <property name="can_focus">False</property>
1132 <property name="xalign">0</property>
1133 <property name="label" translatable="yes"><span weight="bold">Placing Windows</span></property>
1134 <property name="use_markup">True</property>
1137 <property name="expand">False</property>
1138 <property name="fill">False</property>
1139 <property name="position">0</property>
1143 <widget class="GtkHBox" id="hbox40">
1144 <property name="visible">True</property>
1145 <property name="can_focus">False</property>
1147 <widget class="GtkLabel" id="label83">
1148 <property name="visible">True</property>
1149 <property name="can_focus">False</property>
1150 <property name="label"> </property>
1153 <property name="expand">False</property>
1154 <property name="fill">False</property>
1155 <property name="position">0</property>
1159 <widget class="GtkVBox" id="vbox35">
1160 <property name="visible">True</property>
1161 <property name="can_focus">False</property>
1162 <property name="spacing">6</property>
1164 <widget class="GtkCheckButton" id="place_mouse">
1165 <property name="label" translatable="yes">_Place new windows under the mouse pointer</property>
1166 <property name="visible">True</property>
1167 <property name="can_focus">True</property>
1168 <property name="receives_default">False</property>
1169 <property name="use_action_appearance">False</property>
1170 <property name="use_underline">True</property>
1171 <property name="draw_indicator">True</property>
1172 <signal name="toggled" handler="on_place_mouse_toggled" after="yes" swapped="no"/>
1175 <property name="expand">False</property>
1176 <property name="fill">False</property>
1177 <property name="position">0</property>
1184 <widget class="GtkHBox" id="hbox107">
1185 <property name="visible">True</property>
1186 <property name="can_focus">False</property>
1187 <property name="spacing">12</property>
1189 <widget class="GtkLabel" id="label220">
1190 <property name="visible">True</property>
1191 <property name="can_focus">False</property>
1192 <property name="xalign">0</property>
1193 <property name="label" translatable="yes">Prefer to place new windows _on:</property>
1194 <property name="use_underline">True</property>
1195 <property name="mnemonic_widget">place_active_popup</property>
1198 <property name="expand">False</property>
1199 <property name="fill">False</property>
1200 <property name="position">0</property>
1204 <widget class="GtkOptionMenu" id="place_active_popup">
1205 <property name="visible">True</property>
1206 <property name="can_focus">True</property>
1207 <property name="receives_default">False</property>
1209 <widget class="GtkMenu" id="menu13">
1210 <property name="can_focus">False</property>
1212 <widget class="GtkMenuItem" id="menuitem8">
1213 <property name="visible">True</property>
1214 <property name="can_focus">False</property>
1215 <property name="use_action_appearance">False</property>
1216 <property name="label" translatable="yes">The primary monitor</property>
1217 <property name="use_underline">True</property>
1218 <signal name="activate" handler="on_place_active_popup_primary_activate" swapped="no"/>
1222 <widget class="GtkMenuItem" id="menuitem2">
1223 <property name="visible">True</property>
1224 <property name="can_focus">False</property>
1225 <property name="use_action_appearance">False</property>
1226 <property name="label" translatable="yes">The active monitor</property>
1227 <property name="use_underline">True</property>
1228 <signal name="activate" handler="on_place_active_popup_active_activate" swapped="no"/>
1232 <widget class="GtkMenuItem" id="menuitem4">
1233 <property name="visible">True</property>
1234 <property name="can_focus">False</property>
1235 <property name="use_action_appearance">False</property>
1236 <property name="label" translatable="yes">The monitor with the mouse</property>
1237 <property name="use_underline">True</property>
1238 <signal name="activate" handler="on_place_active_popup_mouse_activate" swapped="no"/>
1242 <widget class="GtkMenuItem" id="menuitem1">
1243 <property name="visible">True</property>
1244 <property name="can_focus">False</property>
1245 <property name="use_action_appearance">False</property>
1246 <property name="label" translatable="yes">All monitors</property>
1247 <property name="use_underline">True</property>
1248 <signal name="activate" handler="on_place_active_popup_all_activate" swapped="no"/>
1255 <property name="expand">False</property>
1256 <property name="fill">False</property>
1257 <property name="position">1</property>
1262 <property name="expand">True</property>
1263 <property name="fill">True</property>
1264 <property name="position">2</property>
1269 <property name="expand">True</property>
1270 <property name="fill">True</property>
1271 <property name="position">1</property>
1276 <property name="expand">True</property>
1277 <property name="fill">True</property>
1278 <property name="position">1</property>
1283 <property name="expand">False</property>
1284 <property name="fill">True</property>
1285 <property name="position">1</property>
1289 <widget class="GtkVBox" id="vbox86">
1290 <property name="visible">True</property>
1291 <property name="can_focus">False</property>
1292 <property name="spacing">6</property>
1294 <widget class="GtkLabel" id="label243">
1295 <property name="visible">True</property>
1296 <property name="can_focus">False</property>
1297 <property name="xalign">0</property>
1298 <property name="label" translatable="yes"><span weight="bold">Primary Monitor</span></property>
1299 <property name="use_markup">True</property>
1302 <property name="expand">False</property>
1303 <property name="fill">False</property>
1304 <property name="position">0</property>
1308 <widget class="GtkHBox" id="hbox120">
1309 <property name="visible">True</property>
1310 <property name="can_focus">False</property>
1312 <widget class="GtkLabel" id="label244">
1313 <property name="visible">True</property>
1314 <property name="can_focus">False</property>
1315 <property name="label"> </property>
1318 <property name="expand">False</property>
1319 <property name="fill">False</property>
1320 <property name="position">0</property>
1324 <widget class="GtkVBox" id="vbox87">
1325 <property name="visible">True</property>
1326 <property name="can_focus">False</property>
1327 <property name="spacing">6</property>
1329 <widget class="GtkHBox" id="hbox122">
1330 <property name="visible">True</property>
1331 <property name="can_focus">False</property>
1333 <widget class="GtkLabel" id="label246">
1334 <property name="visible">True</property>
1335 <property name="can_focus">False</property>
1336 <property name="xalign">0</property>
1337 <property name="yalign">0</property>
1338 <property name="label" translatable="yes">The primary monitor is where Openbox will place dialogs, such as the one used for cycling windows.</property>
1339 <property name="wrap">True</property>
1340 <property name="width_chars">0</property>
1343 <property name="expand">False</property>
1344 <property name="fill">False</property>
1345 <property name="position">0</property>
1350 <property name="expand">False</property>
1351 <property name="fill">False</property>
1352 <property name="position">0</property>
1356 <widget class="GtkHBox" id="hbox121">
1357 <property name="visible">True</property>
1358 <property name="can_focus">False</property>
1359 <property name="spacing">6</property>
1361 <widget class="GtkLabel" id="label245">
1362 <property name="visible">True</property>
1363 <property name="can_focus">False</property>
1364 <property name="xalign">0</property>
1365 <property name="label" translatable="yes">Primary _monitor:</property>
1366 <property name="use_underline">True</property>
1367 <property name="mnemonic_widget">primary_monitor_popup</property>
1370 <property name="expand">False</property>
1371 <property name="fill">False</property>
1372 <property name="position">0</property>
1376 <widget class="GtkOptionMenu" id="primary_monitor_popup">
1377 <property name="visible">True</property>
1378 <property name="can_focus">True</property>
1379 <property name="receives_default">False</property>
1381 <widget class="GtkMenu" id="menu16">
1382 <property name="can_focus">False</property>
1384 <widget class="GtkMenuItem" id="item1">
1385 <property name="visible">True</property>
1386 <property name="can_focus">False</property>
1387 <property name="use_action_appearance">False</property>
1388 <property name="label" translatable="yes">Fixed Monitor</property>
1389 <property name="use_underline">True</property>
1390 <signal name="activate" handler="on_primary_monitor_fixed_activate" swapped="no"/>
1394 <widget class="GtkMenuItem" id="active_monitor1">
1395 <property name="visible">True</property>
1396 <property name="can_focus">False</property>
1397 <property name="use_action_appearance">False</property>
1398 <property name="label" translatable="yes">Active Monitor</property>
1399 <property name="use_underline">True</property>
1400 <signal name="activate" handler="on_primary_monitor_active_activate" swapped="no"/>
1404 <widget class="GtkMenuItem" id="monitor_with_mouse_pointer1">
1405 <property name="visible">True</property>
1406 <property name="can_focus">False</property>
1407 <property name="use_action_appearance">False</property>
1408 <property name="label" translatable="yes">Monitor With Mouse Pointer</property>
1409 <property name="use_underline">True</property>
1410 <signal name="activate" handler="on_primary_monitor_mouse_activate" swapped="no"/>
1417 <property name="expand">False</property>
1418 <property name="fill">False</property>
1419 <property name="position">1</property>
1424 <property name="expand">True</property>
1425 <property name="fill">True</property>
1426 <property name="position">1</property>
1430 <widget class="GtkHBox" id="hbox123">
1431 <property name="visible">True</property>
1432 <property name="can_focus">False</property>
1433 <property name="spacing">6</property>
1435 <widget class="GtkLabel" id="label249">
1436 <property name="visible">True</property>
1437 <property name="can_focus">False</property>
1438 <property name="label"> </property>
1441 <property name="expand">False</property>
1442 <property name="fill">False</property>
1443 <property name="position">0</property>
1447 <widget class="GtkLabel" id="label248">
1448 <property name="visible">True</property>
1449 <property name="can_focus">False</property>
1450 <property name="xalign">0</property>
1451 <property name="label" translatable="yes">_Fixed monitor:</property>
1452 <property name="use_underline">True</property>
1453 <property name="mnemonic_widget">fixed_monitor</property>
1456 <property name="expand">False</property>
1457 <property name="fill">False</property>
1458 <property name="position">1</property>
1462 <widget class="GtkSpinButton" id="fixed_monitor">
1463 <property name="visible">True</property>
1464 <property name="can_focus">True</property>
1465 <property name="primary_icon_activatable">False</property>
1466 <property name="secondary_icon_activatable">False</property>
1467 <property name="primary_icon_sensitive">True</property>
1468 <property name="secondary_icon_sensitive">True</property>
1469 <property name="adjustment">1 1 100 1 10 0</property>
1470 <property name="climb_rate">1</property>
1471 <signal name="value_changed" handler="on_fixed_monitor_value_changed" swapped="no"/>
1474 <property name="expand">False</property>
1475 <property name="fill">False</property>
1476 <property name="position">2</property>
1481 <property name="expand">True</property>
1482 <property name="fill">True</property>
1483 <property name="position">2</property>
1488 <property name="expand">True</property>
1489 <property name="fill">True</property>
1490 <property name="position">1</property>
1495 <property name="expand">False</property>
1496 <property name="fill">True</property>
1497 <property name="position">1</property>
1502 <property name="expand">False</property>
1503 <property name="fill">True</property>
1504 <property name="position">2</property>
1509 <property name="position">2</property>
1513 <widget class="GtkLabel" id="label22">
1514 <property name="visible">True</property>
1515 <property name="can_focus">False</property>
1516 <property name="xalign">0</property>
1517 <property name="xpad">6</property>
1518 <property name="ypad">8</property>
1519 <property name="label" translatable="yes">Windows</property>
1522 <property name="position">2</property>
1523 <property name="tab_fill">False</property>
1524 <property name="type">tab</property>
1528 <widget class="GtkVBox" id="vbox78">
1529 <property name="visible">True</property>
1530 <property name="can_focus">False</property>
1531 <property name="border_width">12</property>
1532 <property name="spacing">18</property>
1534 <widget class="GtkVBox" id="vbox14">
1535 <property name="visible">True</property>
1536 <property name="can_focus">False</property>
1537 <property name="spacing">6</property>
1539 <widget class="GtkLabel" id="label34">
1540 <property name="visible">True</property>
1541 <property name="can_focus">False</property>
1542 <property name="xalign">0</property>
1543 <property name="label" translatable="yes"><span weight="bold">Moving and Resizing Windows</span></property>
1544 <property name="use_markup">True</property>
1547 <property name="expand">False</property>
1548 <property name="fill">False</property>
1549 <property name="position">0</property>
1553 <widget class="GtkHBox" id="hbox14">
1554 <property name="visible">True</property>
1555 <property name="can_focus">False</property>
1557 <widget class="GtkLabel" id="label168">
1558 <property name="visible">True</property>
1559 <property name="can_focus">False</property>
1560 <property name="label"> </property>
1563 <property name="expand">False</property>
1564 <property name="fill">False</property>
1565 <property name="position">0</property>
1569 <widget class="GtkVBox" id="vbox16">
1570 <property name="visible">True</property>
1571 <property name="can_focus">False</property>
1572 <property name="spacing">6</property>
1574 <widget class="GtkCheckButton" id="resize_contents">
1575 <property name="label" translatable="yes">Update the window contents while _resizing</property>
1576 <property name="visible">True</property>
1577 <property name="can_focus">True</property>
1578 <property name="receives_default">False</property>
1579 <property name="use_action_appearance">False</property>
1580 <property name="use_underline">True</property>
1581 <property name="draw_indicator">True</property>
1582 <signal name="toggled" handler="on_resize_contents_toggled" after="yes" swapped="no"/>
1585 <property name="expand">False</property>
1586 <property name="fill">False</property>
1587 <property name="position">0</property>
1591 <widget class="GtkHBox" id="hbox86">
1592 <property name="visible">True</property>
1593 <property name="can_focus">False</property>
1594 <property name="spacing">6</property>
1596 <widget class="GtkLabel" id="drag_threshold_label">
1597 <property name="visible">True</property>
1598 <property name="can_focus">False</property>
1599 <property name="xalign">0</property>
1600 <property name="label" translatable="yes">Drag _threshold distance:</property>
1601 <property name="use_underline">True</property>
1602 <property name="mnemonic_widget">drag_threshold</property>
1605 <property name="expand">False</property>
1606 <property name="fill">False</property>
1607 <property name="position">0</property>
1611 <widget class="GtkSpinButton" id="drag_threshold">
1612 <property name="visible">True</property>
1613 <property name="can_focus">True</property>
1614 <property name="primary_icon_activatable">False</property>
1615 <property name="secondary_icon_activatable">False</property>
1616 <property name="primary_icon_sensitive">True</property>
1617 <property name="secondary_icon_sensitive">True</property>
1618 <property name="adjustment">1 1 100 1 10 0</property>
1619 <property name="climb_rate">1</property>
1620 <property name="numeric">True</property>
1621 <signal name="value_changed" handler="on_drag_threshold_value_changed" after="yes" swapped="no"/>
1624 <property name="expand">False</property>
1625 <property name="fill">True</property>
1626 <property name="position">1</property>
1630 <widget class="GtkLabel" id="label160">
1631 <property name="visible">True</property>
1632 <property name="can_focus">False</property>
1633 <property name="label" translatable="yes">px</property>
1636 <property name="expand">False</property>
1637 <property name="fill">False</property>
1638 <property name="position">2</property>
1643 <property name="expand">True</property>
1644 <property name="fill">True</property>
1645 <property name="position">1</property>
1649 <widget class="GtkHBox" id="hbox17">
1650 <property name="visible">True</property>
1651 <property name="can_focus">False</property>
1652 <property name="spacing">6</property>
1654 <widget class="GtkLabel" id="resist_window_label">
1655 <property name="visible">True</property>
1656 <property name="can_focus">False</property>
1657 <property name="xalign">0</property>
1658 <property name="label" translatable="yes">Amount of resistance against other _windows:</property>
1659 <property name="use_underline">True</property>
1660 <property name="mnemonic_widget">resist_window</property>
1663 <property name="expand">False</property>
1664 <property name="fill">False</property>
1665 <property name="position">0</property>
1669 <widget class="GtkSpinButton" id="resist_window">
1670 <property name="visible">True</property>
1671 <property name="can_focus">True</property>
1672 <property name="primary_icon_activatable">False</property>
1673 <property name="secondary_icon_activatable">False</property>
1674 <property name="primary_icon_sensitive">True</property>
1675 <property name="secondary_icon_sensitive">True</property>
1676 <property name="adjustment">20 0 100 1 10 0</property>
1677 <property name="climb_rate">1</property>
1678 <property name="numeric">True</property>
1679 <signal name="value_changed" handler="on_resist_window_value_changed" after="yes" swapped="no"/>
1682 <property name="expand">False</property>
1683 <property name="fill">True</property>
1684 <property name="position">1</property>
1688 <widget class="GtkLabel" id="label67">
1689 <property name="visible">True</property>
1690 <property name="can_focus">False</property>
1691 <property name="label" translatable="yes">px</property>
1694 <property name="expand">False</property>
1695 <property name="fill">False</property>
1696 <property name="position">2</property>
1701 <property name="expand">False</property>
1702 <property name="fill">True</property>
1703 <property name="position">2</property>
1707 <widget class="GtkHBox" id="hbox18">
1708 <property name="visible">True</property>
1709 <property name="can_focus">False</property>
1710 <property name="spacing">6</property>
1712 <widget class="GtkLabel" id="resist_edge_label">
1713 <property name="visible">True</property>
1714 <property name="can_focus">False</property>
1715 <property name="xalign">0</property>
1716 <property name="label" translatable="yes">Amount of resistance against screen _edges:</property>
1717 <property name="use_underline">True</property>
1718 <property name="mnemonic_widget">resist_edge</property>
1721 <property name="expand">False</property>
1722 <property name="fill">False</property>
1723 <property name="position">0</property>
1727 <widget class="GtkSpinButton" id="resist_edge">
1728 <property name="visible">True</property>
1729 <property name="can_focus">True</property>
1730 <property name="primary_icon_activatable">False</property>
1731 <property name="secondary_icon_activatable">False</property>
1732 <property name="primary_icon_sensitive">True</property>
1733 <property name="secondary_icon_sensitive">True</property>
1734 <property name="adjustment">1 0 100 1 10 0</property>
1735 <property name="climb_rate">1</property>
1736 <property name="numeric">True</property>
1737 <signal name="value_changed" handler="on_resist_edge_value_changed" after="yes" swapped="no"/>
1740 <property name="expand">False</property>
1741 <property name="fill">True</property>
1742 <property name="position">1</property>
1746 <widget class="GtkLabel" id="label68">
1747 <property name="visible">True</property>
1748 <property name="can_focus">False</property>
1749 <property name="label" translatable="yes">px</property>
1752 <property name="expand">False</property>
1753 <property name="fill">False</property>
1754 <property name="position">2</property>
1759 <property name="expand">False</property>
1760 <property name="fill">True</property>
1761 <property name="position">3</property>
1765 <widget class="GtkCheckButton" id="warp_edge">
1766 <property name="label" translatable="yes">_Switch desktops when moving a window past the screen edge</property>
1767 <property name="visible">True</property>
1768 <property name="can_focus">True</property>
1769 <property name="receives_default">False</property>
1770 <property name="use_action_appearance">False</property>
1771 <property name="use_underline">True</property>
1772 <property name="draw_indicator">True</property>
1773 <signal name="toggled" handler="on_warp_edge_toggled" after="yes" swapped="no"/>
1776 <property name="expand">False</property>
1777 <property name="fill">False</property>
1778 <property name="position">4</property>
1782 <widget class="GtkHBox" id="hbox103">
1783 <property name="visible">True</property>
1784 <property name="can_focus">False</property>
1786 <widget class="GtkLabel" id="label214">
1787 <property name="visible">True</property>
1788 <property name="can_focus">False</property>
1789 <property name="label"> </property>
1792 <property name="expand">False</property>
1793 <property name="fill">False</property>
1794 <property name="position">0</property>
1798 <widget class="GtkHBox" id="hbox104">
1799 <property name="visible">True</property>
1800 <property name="can_focus">False</property>
1801 <property name="spacing">6</property>
1803 <widget class="GtkLabel" id="label215">
1804 <property name="visible">True</property>
1805 <property name="can_focus">False</property>
1806 <property name="xalign">0</property>
1807 <property name="label" translatable="yes">_Amount of time to wait before switching:</property>
1808 <property name="use_underline">True</property>
1809 <property name="mnemonic_widget">warp_edge_time</property>
1812 <property name="expand">False</property>
1813 <property name="fill">False</property>
1814 <property name="position">0</property>
1818 <widget class="GtkSpinButton" id="warp_edge_time">
1819 <property name="visible">True</property>
1820 <property name="can_focus">True</property>
1821 <property name="primary_icon_activatable">False</property>
1822 <property name="secondary_icon_activatable">False</property>
1823 <property name="primary_icon_sensitive">True</property>
1824 <property name="secondary_icon_sensitive">True</property>
1825 <property name="adjustment">100 100 10000 10 10 0</property>
1826 <property name="climb_rate">1</property>
1827 <property name="numeric">True</property>
1828 <signal name="value_changed" handler="on_warp_edge_time_value_changed" after="yes" swapped="no"/>
1831 <property name="expand">False</property>
1832 <property name="fill">True</property>
1833 <property name="position">1</property>
1837 <widget class="GtkLabel" id="label216">
1838 <property name="visible">True</property>
1839 <property name="can_focus">False</property>
1840 <property name="label" translatable="yes">ms</property>
1843 <property name="expand">False</property>
1844 <property name="fill">False</property>
1845 <property name="position">2</property>
1850 <property name="expand">True</property>
1851 <property name="fill">True</property>
1852 <property name="position">1</property>
1857 <property name="expand">False</property>
1858 <property name="fill">True</property>
1859 <property name="position">5</property>
1864 <property name="expand">True</property>
1865 <property name="fill">True</property>
1866 <property name="position">1</property>
1871 <property name="expand">False</property>
1872 <property name="fill">True</property>
1873 <property name="position">1</property>
1878 <property name="expand">False</property>
1879 <property name="fill">True</property>
1880 <property name="position">0</property>
1884 <widget class="GtkVBox" id="vbox79">
1885 <property name="visible">True</property>
1886 <property name="can_focus">False</property>
1887 <property name="spacing">6</property>
1889 <widget class="GtkLabel" id="label222">
1890 <property name="visible">True</property>
1891 <property name="can_focus">False</property>
1892 <property name="xalign">0</property>
1893 <property name="label" translatable="yes"><span weight="bold">Information Dialog</span></property>
1894 <property name="use_markup">True</property>
1897 <property name="expand">False</property>
1898 <property name="fill">False</property>
1899 <property name="position">0</property>
1903 <widget class="GtkVBox" id="vbox80">
1904 <property name="visible">True</property>
1905 <property name="can_focus">False</property>
1906 <property name="spacing">6</property>
1908 <widget class="GtkHBox" id="hbox90">
1909 <property name="visible">True</property>
1910 <property name="can_focus">False</property>
1911 <property name="spacing">12</property>
1913 <widget class="GtkLabel" id="label166">
1914 <property name="visible">True</property>
1915 <property name="can_focus">False</property>
1916 <property name="xalign">0</property>
1917 <property name="label" translatable="yes">Show _information dialog:</property>
1918 <property name="use_underline">True</property>
1919 <property name="mnemonic_widget">resize_popup</property>
1922 <property name="expand">False</property>
1923 <property name="fill">False</property>
1924 <property name="position">0</property>
1928 <widget class="GtkOptionMenu" id="resize_popup">
1929 <property name="visible">True</property>
1930 <property name="can_focus">True</property>
1931 <property name="receives_default">False</property>
1933 <widget class="GtkMenu" id="menu11">
1934 <property name="can_focus">False</property>
1936 <widget class="GtkMenuItem" id="resize_popup_nonpixel">
1937 <property name="visible">True</property>
1938 <property name="can_focus">False</property>
1939 <property name="use_action_appearance">False</property>
1940 <property name="label" translatable="yes">When resizing terminal windows</property>
1941 <property name="use_underline">True</property>
1942 <signal name="activate" handler="on_resize_popup_nonpixel_activate" swapped="no"/>
1946 <widget class="GtkMenuItem" id="resize_popup_always">
1947 <property name="visible">True</property>
1948 <property name="can_focus">False</property>
1949 <property name="use_action_appearance">False</property>
1950 <property name="label" translatable="yes">Always</property>
1951 <property name="use_underline">True</property>
1952 <signal name="activate" handler="on_resize_popup_always_activate" swapped="no"/>
1956 <widget class="GtkMenuItem" id="resize_popup_never">
1957 <property name="visible">True</property>
1958 <property name="can_focus">False</property>
1959 <property name="use_action_appearance">False</property>
1960 <property name="label" translatable="yes">Never</property>
1961 <property name="use_underline">True</property>
1962 <signal name="activate" handler="on_resize_popup_never_activate" swapped="no"/>
1969 <property name="expand">False</property>
1970 <property name="fill">False</property>
1971 <property name="position">1</property>
1976 <property name="expand">True</property>
1977 <property name="fill">True</property>
1978 <property name="position">0</property>
1982 <widget class="GtkHBox" id="hbox108">
1983 <property name="visible">True</property>
1984 <property name="can_focus">False</property>
1986 <widget class="GtkLabel" id="label35">
1987 <property name="visible">True</property>
1988 <property name="can_focus">False</property>
1989 <property name="label"> </property>
1992 <property name="expand">False</property>
1993 <property name="fill">False</property>
1994 <property name="position">0</property>
1998 <widget class="GtkVBox" id="vbox81">
1999 <property name="visible">True</property>
2000 <property name="can_focus">False</property>
2001 <property name="spacing">6</property>
2003 <widget class="GtkHBox" id="hbox91">
2004 <property name="visible">True</property>
2005 <property name="can_focus">False</property>
2006 <property name="spacing">12</property>
2008 <widget class="GtkLabel" id="label167">
2009 <property name="visible">True</property>
2010 <property name="can_focus">False</property>
2011 <property name="xalign">0</property>
2012 <property name="label" translatable="yes">Information dialog's _position:</property>
2013 <property name="use_underline">True</property>
2014 <property name="mnemonic_widget">resize_position</property>
2017 <property name="expand">False</property>
2018 <property name="fill">False</property>
2019 <property name="position">0</property>
2023 <widget class="GtkOptionMenu" id="resize_position">
2024 <property name="visible">True</property>
2025 <property name="can_focus">True</property>
2026 <property name="receives_default">False</property>
2028 <widget class="GtkMenu" id="menu12">
2029 <property name="can_focus">False</property>
2031 <widget class="GtkMenuItem" id="resize_position_center">
2032 <property name="visible">True</property>
2033 <property name="can_focus">False</property>
2034 <property name="use_action_appearance">False</property>
2035 <property name="label" translatable="yes">Centered on the window</property>
2036 <property name="use_underline">True</property>
2037 <signal name="activate" handler="on_resize_position_center_activate" swapped="no"/>
2041 <widget class="GtkMenuItem" id="resize_position_top">
2042 <property name="visible">True</property>
2043 <property name="can_focus">False</property>
2044 <property name="use_action_appearance">False</property>
2045 <property name="label" translatable="yes">Above the window</property>
2046 <property name="use_underline">True</property>
2047 <signal name="activate" handler="on_resize_position_top_activate" swapped="no"/>
2051 <widget class="GtkMenuItem" id="fixed_position_on_screen1">
2052 <property name="visible">True</property>
2053 <property name="can_focus">False</property>
2054 <property name="use_action_appearance">False</property>
2055 <property name="label" translatable="yes">Fixed position on screen</property>
2056 <property name="use_underline">True</property>
2057 <signal name="activate" handler="on_resize_position_fixed_activate" swapped="no"/>
2064 <property name="expand">False</property>
2065 <property name="fill">False</property>
2066 <property name="position">1</property>
2071 <property name="expand">True</property>
2072 <property name="fill">True</property>
2073 <property name="position">0</property>
2077 <widget class="GtkHBox" id="hbox109">
2078 <property name="visible">True</property>
2079 <property name="can_focus">False</property>
2081 <widget class="GtkLabel" id="label223">
2082 <property name="visible">True</property>
2083 <property name="can_focus">False</property>
2084 <property name="label"> </property>
2087 <property name="expand">False</property>
2088 <property name="fill">False</property>
2089 <property name="position">0</property>
2093 <widget class="GtkVBox" id="vbox82">
2094 <property name="visible">True</property>
2095 <property name="can_focus">False</property>
2096 <property name="spacing">6</property>
2098 <widget class="GtkHBox" id="hbox110">
2099 <property name="visible">True</property>
2100 <property name="can_focus">False</property>
2101 <property name="spacing">12</property>
2103 <widget class="GtkLabel" id="label224">
2104 <property name="visible">True</property>
2105 <property name="can_focus">False</property>
2106 <property name="xalign">0</property>
2107 <property name="label" translatable="yes">Fixed _x position:</property>
2108 <property name="use_underline">True</property>
2109 <property name="mnemonic_widget">fixed_x_popup</property>
2112 <property name="expand">False</property>
2113 <property name="fill">False</property>
2114 <property name="position">0</property>
2118 <widget class="GtkOptionMenu" id="fixed_x_popup">
2119 <property name="visible">True</property>
2120 <property name="can_focus">True</property>
2121 <property name="receives_default">False</property>
2123 <widget class="GtkMenu" id="menu14">
2124 <property name="can_focus">False</property>
2126 <widget class="GtkMenuItem" id="menuitem3">
2127 <property name="visible">True</property>
2128 <property name="can_focus">False</property>
2129 <property name="use_action_appearance">False</property>
2130 <property name="label" translatable="yes">Centered</property>
2131 <property name="use_underline">True</property>
2132 <signal name="activate" handler="on_fixed_x_position_center_activate" swapped="no"/>
2136 <widget class="GtkMenuItem" id="from_left_edge1">
2137 <property name="visible">True</property>
2138 <property name="can_focus">False</property>
2139 <property name="use_action_appearance">False</property>
2140 <property name="label" translatable="yes">From left edge</property>
2141 <property name="use_underline">True</property>
2142 <signal name="activate" handler="on_fixed_x_position_left_activate" swapped="no"/>
2146 <widget class="GtkMenuItem" id="from_right_edge1">
2147 <property name="visible">True</property>
2148 <property name="can_focus">False</property>
2149 <property name="use_action_appearance">False</property>
2150 <property name="label" translatable="yes">From right edge</property>
2151 <property name="use_underline">True</property>
2152 <signal name="activate" handler="on_fixed_x_position_right_activate" swapped="no"/>
2159 <property name="expand">False</property>
2160 <property name="fill">False</property>
2161 <property name="position">1</property>
2165 <widget class="GtkHBox" id="hbox112">
2166 <property name="visible">True</property>
2167 <property name="can_focus">False</property>
2168 <property name="spacing">6</property>
2170 <widget class="GtkSpinButton" id="fixed_x_pos">
2171 <property name="visible">True</property>
2172 <property name="can_focus">True</property>
2173 <property name="primary_icon_activatable">False</property>
2174 <property name="secondary_icon_activatable">False</property>
2175 <property name="primary_icon_sensitive">True</property>
2176 <property name="secondary_icon_sensitive">True</property>
2177 <property name="adjustment">1 0 1000 1 10 0</property>
2178 <property name="climb_rate">1</property>
2179 <property name="numeric">True</property>
2180 <signal name="value_changed" handler="on_fixed_x_pos_value_changed" after="yes" swapped="no"/>
2183 <property name="expand">False</property>
2184 <property name="fill">True</property>
2185 <property name="position">0</property>
2189 <widget class="GtkLabel" id="label227">
2190 <property name="visible">True</property>
2191 <property name="can_focus">False</property>
2192 <property name="label" translatable="yes">px</property>
2195 <property name="expand">False</property>
2196 <property name="fill">False</property>
2197 <property name="position">1</property>
2202 <property name="expand">True</property>
2203 <property name="fill">True</property>
2204 <property name="position">2</property>
2209 <property name="expand">True</property>
2210 <property name="fill">True</property>
2211 <property name="position">0</property>
2215 <widget class="GtkHBox" id="hbox111">
2216 <property name="visible">True</property>
2217 <property name="can_focus">False</property>
2218 <property name="spacing">12</property>
2220 <widget class="GtkLabel" id="label225">
2221 <property name="visible">True</property>
2222 <property name="can_focus">False</property>
2223 <property name="xalign">0</property>
2224 <property name="label" translatable="yes">Fixed _y position:</property>
2225 <property name="use_underline">True</property>
2226 <property name="mnemonic_widget">fixed_y_popup</property>
2229 <property name="expand">False</property>
2230 <property name="fill">False</property>
2231 <property name="position">0</property>
2235 <widget class="GtkOptionMenu" id="fixed_y_popup">
2236 <property name="visible">True</property>
2237 <property name="can_focus">True</property>
2238 <property name="receives_default">False</property>
2240 <widget class="GtkMenu" id="menu15">
2241 <property name="can_focus">False</property>
2243 <widget class="GtkMenuItem" id="menuitem5">
2244 <property name="visible">True</property>
2245 <property name="can_focus">False</property>
2246 <property name="use_action_appearance">False</property>
2247 <property name="label" translatable="yes">Centered</property>
2248 <property name="use_underline">True</property>
2249 <signal name="activate" handler="on_fixed_y_position_center_activate" swapped="no"/>
2253 <widget class="GtkMenuItem" id="menuitem6">
2254 <property name="visible">True</property>
2255 <property name="can_focus">False</property>
2256 <property name="use_action_appearance">False</property>
2257 <property name="label" translatable="yes">From top edge</property>
2258 <property name="use_underline">True</property>
2259 <signal name="activate" handler="on_fixed_y_position_top_activate" swapped="no"/>
2263 <widget class="GtkMenuItem" id="menuitem7">
2264 <property name="visible">True</property>
2265 <property name="can_focus">False</property>
2266 <property name="use_action_appearance">False</property>
2267 <property name="label" translatable="yes">From bottom edge</property>
2268 <property name="use_underline">True</property>
2269 <signal name="activate" handler="on_fixed_y_position_bottom_activate" swapped="no"/>
2276 <property name="expand">False</property>
2277 <property name="fill">False</property>
2278 <property name="position">1</property>
2282 <widget class="GtkHBox" id="hbox113">
2283 <property name="visible">True</property>
2284 <property name="can_focus">False</property>
2285 <property name="spacing">6</property>
2287 <widget class="GtkSpinButton" id="fixed_y_pos">
2288 <property name="visible">True</property>
2289 <property name="can_focus">True</property>
2290 <property name="primary_icon_activatable">False</property>
2291 <property name="secondary_icon_activatable">False</property>
2292 <property name="primary_icon_sensitive">True</property>
2293 <property name="secondary_icon_sensitive">True</property>
2294 <property name="adjustment">1 0 1000 1 10 0</property>
2295 <property name="climb_rate">1</property>
2296 <property name="numeric">True</property>
2297 <signal name="value_changed" handler="on_fixed_y_pos_value_changed" after="yes" swapped="no"/>
2300 <property name="expand">False</property>
2301 <property name="fill">True</property>
2302 <property name="position">0</property>
2306 <widget class="GtkLabel" id="label228">
2307 <property name="visible">True</property>
2308 <property name="can_focus">False</property>
2309 <property name="label" translatable="yes">px</property>
2312 <property name="expand">False</property>
2313 <property name="fill">False</property>
2314 <property name="position">1</property>
2319 <property name="expand">True</property>
2320 <property name="fill">True</property>
2321 <property name="position">2</property>
2326 <property name="expand">True</property>
2327 <property name="fill">True</property>
2328 <property name="position">1</property>
2333 <property name="expand">True</property>
2334 <property name="fill">True</property>
2335 <property name="position">1</property>
2340 <property name="expand">True</property>
2341 <property name="fill">True</property>
2342 <property name="position">1</property>
2347 <property name="expand">True</property>
2348 <property name="fill">True</property>
2349 <property name="position">1</property>
2354 <property name="expand">True</property>
2355 <property name="fill">True</property>
2356 <property name="position">1</property>
2361 <property name="expand">False</property>
2362 <property name="fill">True</property>
2363 <property name="position">1</property>
2368 <property name="expand">False</property>
2369 <property name="fill">True</property>
2370 <property name="position">1</property>
2375 <property name="position">3</property>
2379 <widget class="GtkLabel" id="label221">
2380 <property name="visible">True</property>
2381 <property name="can_focus">False</property>
2382 <property name="xalign">0</property>
2383 <property name="xpad">6</property>
2384 <property name="ypad">8</property>
2385 <property name="label" translatable="yes">Move & Resize</property>
2388 <property name="position">3</property>
2389 <property name="tab_fill">False</property>
2390 <property name="type">tab</property>
2394 <widget class="GtkVBox" id="vbox56">
2395 <property name="visible">True</property>
2396 <property name="can_focus">False</property>
2397 <property name="border_width">12</property>
2398 <property name="spacing">18</property>
2400 <widget class="GtkVBox" id="vbox13">
2401 <property name="visible">True</property>
2402 <property name="can_focus">False</property>
2403 <property name="spacing">6</property>
2405 <widget class="GtkLabel" id="label32">
2406 <property name="visible">True</property>
2407 <property name="can_focus">False</property>
2408 <property name="xalign">0</property>
2409 <property name="label" translatable="yes"><span weight="bold">Focusing Windows</span></property>
2410 <property name="use_markup">True</property>
2413 <property name="expand">False</property>
2414 <property name="fill">False</property>
2415 <property name="position">0</property>
2419 <widget class="GtkHBox" id="hbox13">
2420 <property name="visible">True</property>
2421 <property name="can_focus">False</property>
2423 <widget class="GtkLabel" id="label33">
2424 <property name="visible">True</property>
2425 <property name="can_focus">False</property>
2426 <property name="label"> </property>
2429 <property name="expand">False</property>
2430 <property name="fill">False</property>
2431 <property name="position">0</property>
2435 <widget class="GtkVBox" id="vbox15">
2436 <property name="visible">True</property>
2437 <property name="can_focus">False</property>
2438 <property name="spacing">6</property>
2440 <widget class="GtkCheckButton" id="focus_mouse">
2441 <property name="label" translatable="yes">_Focus windows when the mouse pointer moves over them</property>
2442 <property name="visible">True</property>
2443 <property name="can_focus">True</property>
2444 <property name="receives_default">False</property>
2445 <property name="use_action_appearance">False</property>
2446 <property name="use_underline">True</property>
2447 <property name="draw_indicator">True</property>
2448 <signal name="toggled" handler="on_focus_mouse_toggled" after="yes" swapped="no"/>
2451 <property name="expand">False</property>
2452 <property name="fill">False</property>
2453 <property name="position">0</property>
2457 <widget class="GtkHBox" id="hbox32">
2458 <property name="visible">True</property>
2459 <property name="can_focus">False</property>
2461 <widget class="GtkLabel" id="label65">
2462 <property name="visible">True</property>
2463 <property name="can_focus">False</property>
2464 <property name="label"> </property>
2467 <property name="expand">False</property>
2468 <property name="fill">False</property>
2469 <property name="position">0</property>
2473 <widget class="GtkVBox" id="vbox25">
2474 <property name="visible">True</property>
2475 <property name="can_focus">False</property>
2476 <property name="spacing">6</property>
2478 <widget class="GtkCheckButton" id="focus_notlast">
2479 <property name="label" translatable="yes">Move focus under the mouse when _switching desktops</property>
2480 <property name="visible">True</property>
2481 <property name="can_focus">True</property>
2482 <property name="receives_default">False</property>
2483 <property name="use_action_appearance">False</property>
2484 <property name="use_underline">True</property>
2485 <property name="draw_indicator">True</property>
2486 <signal name="toggled" handler="on_focus_notlast_toggled" swapped="no"/>
2489 <property name="expand">False</property>
2490 <property name="fill">False</property>
2491 <property name="position">0</property>
2495 <widget class="GtkCheckButton" id="focus_under_mouse">
2496 <property name="label" translatable="yes">Move focus _under the mouse when the mouse is not moving</property>
2497 <property name="visible">True</property>
2498 <property name="can_focus">True</property>
2499 <property name="receives_default">False</property>
2500 <property name="use_action_appearance">False</property>
2501 <property name="use_underline">True</property>
2502 <property name="draw_indicator">True</property>
2503 <signal name="toggled" handler="on_focus_under_mouse_toggled" swapped="no"/>
2506 <property name="expand">False</property>
2507 <property name="fill">False</property>
2508 <property name="position">1</property>
2512 <widget class="GtkCheckButton" id="focus_raise">
2513 <property name="label" translatable="yes">_Raise windows when the mouse pointer moves over them</property>
2514 <property name="visible">True</property>
2515 <property name="can_focus">True</property>
2516 <property name="receives_default">False</property>
2517 <property name="use_action_appearance">False</property>
2518 <property name="use_underline">True</property>
2519 <property name="draw_indicator">True</property>
2520 <signal name="toggled" handler="on_focus_raise_toggled" after="yes" swapped="no"/>
2523 <property name="expand">False</property>
2524 <property name="fill">False</property>
2525 <property name="position">2</property>
2529 <widget class="GtkHBox" id="hbox16">
2530 <property name="visible">True</property>
2531 <property name="can_focus">False</property>
2532 <property name="spacing">6</property>
2534 <widget class="GtkLabel" id="focus_delay_label">
2535 <property name="visible">True</property>
2536 <property name="can_focus">False</property>
2537 <property name="label" translatable="yes">_Delay before focusing and raising windows:</property>
2538 <property name="use_underline">True</property>
2539 <property name="mnemonic_widget">focus_delay</property>
2542 <property name="expand">False</property>
2543 <property name="fill">False</property>
2544 <property name="position">0</property>
2548 <widget class="GtkSpinButton" id="focus_delay">
2549 <property name="visible">True</property>
2550 <property name="can_focus">True</property>
2551 <property name="primary_icon_activatable">False</property>
2552 <property name="secondary_icon_activatable">False</property>
2553 <property name="primary_icon_sensitive">True</property>
2554 <property name="secondary_icon_sensitive">True</property>
2555 <property name="adjustment">0 0 10000 10 10 0</property>
2556 <property name="climb_rate">1</property>
2557 <property name="numeric">True</property>
2558 <signal name="value_changed" handler="on_focus_delay_value_changed" after="yes" swapped="no"/>
2561 <property name="expand">False</property>
2562 <property name="fill">True</property>
2563 <property name="position">1</property>
2567 <widget class="GtkLabel" id="focus_delay_label_units">
2568 <property name="visible">True</property>
2569 <property name="can_focus">False</property>
2570 <property name="label" translatable="yes">ms</property>
2573 <property name="expand">False</property>
2574 <property name="fill">False</property>
2575 <property name="position">2</property>
2580 <property name="expand">True</property>
2581 <property name="fill">True</property>
2582 <property name="position">3</property>
2587 <property name="expand">True</property>
2588 <property name="fill">True</property>
2589 <property name="position">1</property>
2594 <property name="expand">False</property>
2595 <property name="fill">False</property>
2596 <property name="position">1</property>
2601 <property name="expand">True</property>
2602 <property name="fill">True</property>
2603 <property name="position">1</property>
2608 <property name="expand">False</property>
2609 <property name="fill">True</property>
2610 <property name="position">1</property>
2615 <property name="expand">False</property>
2616 <property name="fill">True</property>
2617 <property name="position">0</property>
2621 <widget class="GtkVBox" id="vbox61">
2622 <property name="visible">True</property>
2623 <property name="can_focus">False</property>
2624 <property name="spacing">6</property>
2626 <widget class="GtkLabel" id="label155">
2627 <property name="visible">True</property>
2628 <property name="can_focus">False</property>
2629 <property name="xalign">0</property>
2630 <property name="label" translatable="yes"><span weight="bold">Titlebar</span></property>
2631 <property name="use_markup">True</property>
2634 <property name="expand">False</property>
2635 <property name="fill">False</property>
2636 <property name="position">0</property>
2640 <widget class="GtkHBox" id="hbox84">
2641 <property name="visible">True</property>
2642 <property name="can_focus">False</property>
2644 <widget class="GtkLabel" id="label156">
2645 <property name="visible">True</property>
2646 <property name="can_focus">False</property>
2647 <property name="label"> </property>
2650 <property name="expand">False</property>
2651 <property name="fill">False</property>
2652 <property name="position">0</property>
2656 <widget class="GtkVBox" id="vbox62">
2657 <property name="visible">True</property>
2658 <property name="can_focus">False</property>
2659 <property name="spacing">6</property>
2661 <widget class="GtkHBox" id="hbox87">
2662 <property name="visible">True</property>
2663 <property name="can_focus">False</property>
2664 <property name="spacing">12</property>
2666 <widget class="GtkLabel" id="titlebar_doubleclick_label">
2667 <property name="visible">True</property>
2668 <property name="can_focus">False</property>
2669 <property name="xalign">0</property>
2670 <property name="label" translatable="yes">Double click on the _titlebar:</property>
2671 <property name="use_underline">True</property>
2672 <property name="mnemonic_widget">titlebar_doubleclick</property>
2675 <property name="expand">False</property>
2676 <property name="fill">False</property>
2677 <property name="position">0</property>
2681 <widget class="GtkOptionMenu" id="titlebar_doubleclick">
2682 <property name="visible">True</property>
2683 <property name="can_focus">True</property>
2684 <property name="receives_default">False</property>
2686 <widget class="GtkMenu" id="menu10">
2687 <property name="can_focus">False</property>
2689 <widget class="GtkMenuItem" id="titlebar_doubleclick_maximize">
2690 <property name="visible">True</property>
2691 <property name="can_focus">False</property>
2692 <property name="use_action_appearance">False</property>
2693 <property name="label" translatable="yes">Maximizes the window</property>
2694 <property name="use_underline">True</property>
2695 <signal name="activate" handler="on_titlebar_doubleclick_maximize_activate" swapped="no"/>
2699 <widget class="GtkMenuItem" id="titlebar_doubleclick_shade">
2700 <property name="visible">True</property>
2701 <property name="can_focus">False</property>
2702 <property name="use_action_appearance">False</property>
2703 <property name="label" translatable="yes">Shades the window</property>
2704 <property name="use_underline">True</property>
2705 <signal name="activate" handler="on_titlebar_doubleclick_shade_activate" swapped="no"/>
2712 <property name="expand">False</property>
2713 <property name="fill">False</property>
2714 <property name="position">1</property>
2719 <property name="expand">True</property>
2720 <property name="fill">True</property>
2721 <property name="position">0</property>
2725 <widget class="GtkHBox" id="hbox85">
2726 <property name="visible">True</property>
2727 <property name="can_focus">False</property>
2728 <property name="spacing">6</property>
2730 <widget class="GtkLabel" id="doubleclick_time_label">
2731 <property name="visible">True</property>
2732 <property name="can_focus">False</property>
2733 <property name="xalign">0</property>
2734 <property name="label" translatable="yes">Double click ti_me:</property>
2735 <property name="use_underline">True</property>
2736 <property name="mnemonic_widget">doubleclick_time</property>
2739 <property name="expand">False</property>
2740 <property name="fill">False</property>
2741 <property name="position">0</property>
2745 <widget class="GtkSpinButton" id="doubleclick_time">
2746 <property name="visible">True</property>
2747 <property name="can_focus">True</property>
2748 <property name="primary_icon_activatable">False</property>
2749 <property name="secondary_icon_activatable">False</property>
2750 <property name="primary_icon_sensitive">True</property>
2751 <property name="secondary_icon_sensitive">True</property>
2752 <property name="adjustment">0 0 10000 10 10 0</property>
2753 <property name="climb_rate">1</property>
2754 <property name="numeric">True</property>
2755 <signal name="value_changed" handler="on_doubleclick_time_value_changed" after="yes" swapped="no"/>
2758 <property name="expand">False</property>
2759 <property name="fill">True</property>
2760 <property name="position">1</property>
2764 <widget class="GtkLabel" id="label158">
2765 <property name="visible">True</property>
2766 <property name="can_focus">False</property>
2767 <property name="label" translatable="yes">ms</property>
2770 <property name="expand">False</property>
2771 <property name="fill">False</property>
2772 <property name="position">2</property>
2777 <property name="expand">True</property>
2778 <property name="fill">True</property>
2779 <property name="position">1</property>
2784 <property name="expand">True</property>
2785 <property name="fill">True</property>
2786 <property name="position">1</property>
2791 <property name="expand">True</property>
2792 <property name="fill">True</property>
2793 <property name="position">1</property>
2798 <property name="expand">False</property>
2799 <property name="fill">True</property>
2800 <property name="position">1</property>
2804 <widget class="GtkVBox" id="vbox63">
2805 <property name="visible">True</property>
2806 <property name="can_focus">False</property>
2808 <widget class="GtkHBox" id="hbox88">
2809 <property name="visible">True</property>
2810 <property name="can_focus">False</property>
2812 <widget class="GtkLabel" id="label162">
2813 <property name="visible">True</property>
2814 <property name="can_focus">False</property>
2815 <property name="label" translatable="yes"> </property>
2818 <property name="expand">False</property>
2819 <property name="fill">False</property>
2820 <property name="position">0</property>
2825 <property name="expand">True</property>
2826 <property name="fill">True</property>
2827 <property name="position">0</property>
2832 <property name="expand">False</property>
2833 <property name="fill">True</property>
2834 <property name="position">2</property>
2839 <property name="position">4</property>
2843 <widget class="GtkLabel" id="label118">
2844 <property name="visible">True</property>
2845 <property name="can_focus">False</property>
2846 <property name="xalign">0</property>
2847 <property name="xpad">6</property>
2848 <property name="ypad">8</property>
2849 <property name="label" translatable="yes">Mouse</property>
2852 <property name="position">4</property>
2853 <property name="tab_fill">False</property>
2854 <property name="type">tab</property>
2858 <widget class="GtkVBox" id="vbox18">
2859 <property name="visible">True</property>
2860 <property name="can_focus">False</property>
2861 <property name="border_width">12</property>
2862 <property name="spacing">6</property>
2864 <widget class="GtkLabel" id="label51">
2865 <property name="visible">True</property>
2866 <property name="can_focus">False</property>
2867 <property name="xalign">0</property>
2868 <property name="label" translatable="yes"><span weight="bold">Desktops</span></property>
2869 <property name="use_markup">True</property>
2872 <property name="expand">False</property>
2873 <property name="fill">False</property>
2874 <property name="position">0</property>
2878 <widget class="GtkHBox" id="hbox24">
2879 <property name="visible">True</property>
2880 <property name="can_focus">False</property>
2882 <widget class="GtkLabel" id="label52">
2883 <property name="visible">True</property>
2884 <property name="can_focus">False</property>
2885 <property name="label"> </property>
2888 <property name="expand">False</property>
2889 <property name="fill">False</property>
2890 <property name="position">0</property>
2894 <widget class="GtkVBox" id="vbox19">
2895 <property name="visible">True</property>
2896 <property name="can_focus">False</property>
2897 <property name="spacing">6</property>
2899 <widget class="GtkCheckButton" id="desktop_popup">
2900 <property name="label" translatable="yes">_Show a notification when switching desktops</property>
2901 <property name="visible">True</property>
2902 <property name="can_focus">True</property>
2903 <property name="receives_default">False</property>
2904 <property name="use_action_appearance">False</property>
2905 <property name="use_underline">True</property>
2906 <property name="draw_indicator">True</property>
2907 <signal name="toggled" handler="on_desktop_popup_toggled" after="yes" swapped="no"/>
2910 <property name="expand">False</property>
2911 <property name="fill">False</property>
2912 <property name="position">0</property>
2916 <widget class="GtkHBox" id="hbox105">
2917 <property name="visible">True</property>
2918 <property name="can_focus">False</property>
2920 <widget class="GtkLabel" id="label217">
2921 <property name="visible">True</property>
2922 <property name="can_focus">False</property>
2923 <property name="label"> </property>
2926 <property name="expand">False</property>
2927 <property name="fill">False</property>
2928 <property name="position">0</property>
2932 <widget class="GtkHBox" id="hbox106">
2933 <property name="visible">True</property>
2934 <property name="can_focus">False</property>
2935 <property name="spacing">6</property>
2937 <widget class="GtkLabel" id="label218">
2938 <property name="visible">True</property>
2939 <property name="can_focus">False</property>
2940 <property name="xalign">0</property>
2941 <property name="label" translatable="yes">_Amount of time to show the notification for:</property>
2942 <property name="use_underline">True</property>
2943 <property name="mnemonic_widget">desktop_popup_time</property>
2946 <property name="expand">False</property>
2947 <property name="fill">False</property>
2948 <property name="position">0</property>
2952 <widget class="GtkSpinButton" id="desktop_popup_time">
2953 <property name="visible">True</property>
2954 <property name="can_focus">True</property>
2955 <property name="primary_icon_activatable">False</property>
2956 <property name="secondary_icon_activatable">False</property>
2957 <property name="primary_icon_sensitive">True</property>
2958 <property name="secondary_icon_sensitive">True</property>
2959 <property name="adjustment">1 1 10000 10 10 0</property>
2960 <property name="climb_rate">1</property>
2961 <property name="numeric">True</property>
2962 <signal name="value_changed" handler="on_desktop_popup_time_value_changed" after="yes" swapped="no"/>
2965 <property name="expand">False</property>
2966 <property name="fill">True</property>
2967 <property name="position">1</property>
2971 <widget class="GtkLabel" id="label219">
2972 <property name="visible">True</property>
2973 <property name="can_focus">False</property>
2974 <property name="label" translatable="yes">ms</property>
2977 <property name="expand">False</property>
2978 <property name="fill">False</property>
2979 <property name="position">2</property>
2984 <property name="expand">True</property>
2985 <property name="fill">True</property>
2986 <property name="position">1</property>
2991 <property name="expand">False</property>
2992 <property name="fill">True</property>
2993 <property name="position">1</property>
2997 <widget class="GtkHBox" id="hbox25">
2998 <property name="visible">True</property>
2999 <property name="can_focus">False</property>
3000 <property name="spacing">6</property>
3002 <widget class="GtkLabel" id="label53">
3003 <property name="visible">True</property>
3004 <property name="can_focus">False</property>
3005 <property name="label" translatable="yes">_Number of desktops: </property>
3006 <property name="use_underline">True</property>
3007 <property name="mnemonic_widget">desktop_num</property>
3010 <property name="expand">False</property>
3011 <property name="fill">False</property>
3012 <property name="position">0</property>
3016 <widget class="GtkSpinButton" id="desktop_num">
3017 <property name="visible">True</property>
3018 <property name="can_focus">True</property>
3019 <property name="primary_icon_activatable">False</property>
3020 <property name="secondary_icon_activatable">False</property>
3021 <property name="primary_icon_sensitive">True</property>
3022 <property name="secondary_icon_sensitive">True</property>
3023 <property name="adjustment">1 1 100 1 10 0</property>
3024 <property name="climb_rate">1</property>
3025 <property name="numeric">True</property>
3026 <signal name="value_changed" handler="on_desktop_num_value_changed" after="yes" swapped="no"/>
3029 <property name="expand">False</property>
3030 <property name="fill">True</property>
3031 <property name="position">1</property>
3036 <property name="expand">False</property>
3037 <property name="fill">True</property>
3038 <property name="position">2</property>
3042 <widget class="GtkLabel" id="label54">
3043 <property name="visible">True</property>
3044 <property name="can_focus">False</property>
3045 <property name="xalign">0</property>
3046 <property name="label" translatable="yes">_Desktop names:</property>
3047 <property name="use_underline">True</property>
3048 <property name="mnemonic_widget">desktop_names</property>
3051 <property name="expand">False</property>
3052 <property name="fill">False</property>
3053 <property name="position">3</property>
3057 <widget class="GtkScrolledWindow" id="scrolledwindow1">
3058 <property name="visible">True</property>
3059 <property name="can_focus">True</property>
3060 <property name="hscrollbar_policy">never</property>
3061 <property name="vscrollbar_policy">automatic</property>
3062 <property name="shadow_type">in</property>
3064 <widget class="GtkTreeView" id="desktop_names">
3065 <property name="visible">True</property>
3066 <property name="can_focus">True</property>
3067 <property name="headers_visible">False</property>
3072 <property name="expand">True</property>
3073 <property name="fill">True</property>
3074 <property name="position">4</property>
3079 <property name="expand">True</property>
3080 <property name="fill">True</property>
3081 <property name="position">1</property>
3086 <property name="expand">True</property>
3087 <property name="fill">True</property>
3088 <property name="position">1</property>
3093 <property name="position">5</property>
3097 <widget class="GtkLabel" id="label31">
3098 <property name="visible">True</property>
3099 <property name="can_focus">False</property>
3100 <property name="xalign">0</property>
3101 <property name="xpad">6</property>
3102 <property name="ypad">8</property>
3103 <property name="label" translatable="yes">Desktops</property>
3106 <property name="position">5</property>
3107 <property name="tab_fill">False</property>
3108 <property name="type">tab</property>
3112 <widget class="GtkVBox" id="vbox71">
3113 <property name="visible">True</property>
3114 <property name="can_focus">False</property>
3115 <property name="border_width">12</property>
3116 <property name="spacing">6</property>
3118 <widget class="GtkLabel" id="label173">
3119 <property name="visible">True</property>
3120 <property name="can_focus">False</property>
3121 <property name="xalign">0</property>
3122 <property name="label" translatable="yes"><span weight="bold">Desktop Margins</span></property>
3123 <property name="use_markup">True</property>
3126 <property name="expand">False</property>
3127 <property name="fill">False</property>
3128 <property name="position">0</property>
3132 <widget class="GtkHBox" id="hbox94">
3133 <property name="visible">True</property>
3134 <property name="can_focus">False</property>
3136 <widget class="GtkLabel" id="label174">
3137 <property name="visible">True</property>
3138 <property name="can_focus">False</property>
3139 <property name="label"> </property>
3142 <property name="expand">False</property>
3143 <property name="fill">False</property>
3144 <property name="position">0</property>
3148 <widget class="GtkVBox" id="vbox72">
3149 <property name="visible">True</property>
3150 <property name="can_focus">False</property>
3151 <property name="spacing">6</property>
3153 <widget class="GtkLabel" id="label212">
3154 <property name="visible">True</property>
3155 <property name="can_focus">False</property>
3156 <property name="xalign">0</property>
3157 <property name="yalign">0</property>
3158 <property name="label" translatable="yes">Desktop margins are reserved areas on the edge of your screen. New windows will not be placed within a margin, and maximized windows will not cover them.</property>
3159 <property name="wrap">True</property>
3162 <property name="expand">False</property>
3163 <property name="fill">False</property>
3164 <property name="position">0</property>
3168 <widget class="GtkHBox" id="hbox98">
3169 <property name="visible">True</property>
3170 <property name="can_focus">False</property>
3172 <widget class="GtkLabel" id="label209">
3173 <property name="visible">True</property>
3174 <property name="can_focus">False</property>
3177 <property name="expand">True</property>
3178 <property name="fill">True</property>
3179 <property name="position">0</property>
3183 <widget class="GtkVBox" id="vbox77">
3184 <property name="visible">True</property>
3185 <property name="can_focus">False</property>
3187 <widget class="GtkLabel" id="label210">
3188 <property name="visible">True</property>
3189 <property name="can_focus">False</property>
3192 <property name="expand">True</property>
3193 <property name="fill">True</property>
3194 <property name="position">0</property>
3198 <widget class="GtkVBox" id="vbox75">
3199 <property name="visible">True</property>
3200 <property name="can_focus">False</property>
3202 <widget class="GtkLabel" id="label195">
3203 <property name="visible">True</property>
3204 <property name="can_focus">False</property>
3205 <property name="ypad">4</property>
3206 <property name="label" translatable="yes">_Top</property>
3207 <property name="use_underline">True</property>
3208 <property name="mnemonic_widget">margins_top</property>
3211 <property name="expand">False</property>
3212 <property name="fill">True</property>
3213 <property name="position">0</property>
3217 <widget class="GtkHBox" id="hbox101">
3218 <property name="visible">True</property>
3219 <property name="can_focus">False</property>
3220 <property name="spacing">6</property>
3222 <widget class="GtkLabel" id="label196">
3223 <property name="visible">True</property>
3224 <property name="can_focus">False</property>
3227 <property name="expand">True</property>
3228 <property name="fill">True</property>
3229 <property name="position">0</property>
3233 <widget class="GtkSpinButton" id="margins_top">
3234 <property name="visible">True</property>
3235 <property name="can_focus">True</property>
3236 <property name="primary_icon_activatable">False</property>
3237 <property name="secondary_icon_activatable">False</property>
3238 <property name="primary_icon_sensitive">True</property>
3239 <property name="secondary_icon_sensitive">True</property>
3240 <property name="adjustment">20 0 10000 1 10 0</property>
3241 <property name="climb_rate">1</property>
3242 <property name="numeric">True</property>
3243 <signal name="value_changed" handler="on_margins_top_value_changed" after="yes" swapped="no"/>
3246 <property name="expand">False</property>
3247 <property name="fill">False</property>
3248 <property name="position">1</property>
3252 <widget class="GtkLabel" id="label197">
3253 <property name="visible">True</property>
3254 <property name="can_focus">False</property>
3255 <property name="label" translatable="yes">px</property>
3258 <property name="expand">False</property>
3259 <property name="fill">False</property>
3260 <property name="position">2</property>
3264 <widget class="GtkLabel" id="label198">
3265 <property name="visible">True</property>
3266 <property name="can_focus">False</property>
3269 <property name="expand">True</property>
3270 <property name="fill">True</property>
3271 <property name="position">3</property>
3276 <property name="expand">False</property>
3277 <property name="fill">True</property>
3278 <property name="position">1</property>
3283 <property name="expand">False</property>
3284 <property name="fill">True</property>
3285 <property name="position">1</property>
3290 <property name="expand">True</property>
3291 <property name="fill">True</property>
3292 <property name="position">1</property>
3296 <widget class="GtkLabel" id="label208">
3297 <property name="visible">True</property>
3298 <property name="can_focus">False</property>
3301 <property name="expand">True</property>
3302 <property name="fill">True</property>
3303 <property name="position">2</property>
3308 <property name="expand">True</property>
3309 <property name="fill">True</property>
3310 <property name="position">1</property>
3314 <widget class="GtkHBox" id="hbox95">
3315 <property name="visible">True</property>
3316 <property name="can_focus">False</property>
3318 <widget class="GtkLabel" id="label179">
3319 <property name="visible">True</property>
3320 <property name="can_focus">False</property>
3323 <property name="expand">True</property>
3324 <property name="fill">True</property>
3325 <property name="position">0</property>
3329 <widget class="GtkVBox" id="vbox73">
3330 <property name="visible">True</property>
3331 <property name="can_focus">False</property>
3333 <widget class="GtkLabel" id="label181">
3334 <property name="visible">True</property>
3335 <property name="can_focus">False</property>
3338 <property name="expand">True</property>
3339 <property name="fill">True</property>
3340 <property name="position">0</property>
3344 <widget class="GtkLabel" id="label176">
3345 <property name="visible">True</property>
3346 <property name="can_focus">False</property>
3347 <property name="ypad">4</property>
3348 <property name="label" translatable="yes">_Left</property>
3349 <property name="use_underline">True</property>
3350 <property name="mnemonic_widget">margins_left</property>
3353 <property name="expand">False</property>
3354 <property name="fill">True</property>
3355 <property name="position">1</property>
3359 <widget class="GtkHBox" id="hbox96">
3360 <property name="visible">True</property>
3361 <property name="can_focus">False</property>
3362 <property name="spacing">6</property>
3364 <widget class="GtkLabel" id="label186">
3365 <property name="visible">True</property>
3366 <property name="can_focus">False</property>
3369 <property name="expand">True</property>
3370 <property name="fill">True</property>
3371 <property name="position">0</property>
3375 <widget class="GtkSpinButton" id="margins_left">
3376 <property name="visible">True</property>
3377 <property name="can_focus">True</property>
3378 <property name="primary_icon_activatable">False</property>
3379 <property name="secondary_icon_activatable">False</property>
3380 <property name="primary_icon_sensitive">True</property>
3381 <property name="secondary_icon_sensitive">True</property>
3382 <property name="adjustment">20 0 10000 1 10 0</property>
3383 <property name="climb_rate">1</property>
3384 <property name="numeric">True</property>
3385 <signal name="value_changed" handler="on_margins_left_value_changed" after="yes" swapped="no"/>
3388 <property name="expand">False</property>
3389 <property name="fill">False</property>
3390 <property name="position">1</property>
3394 <widget class="GtkLabel" id="label178">
3395 <property name="visible">True</property>
3396 <property name="can_focus">False</property>
3397 <property name="label" translatable="yes">px</property>
3400 <property name="expand">False</property>
3401 <property name="fill">False</property>
3402 <property name="position">2</property>
3406 <widget class="GtkLabel" id="label187">
3407 <property name="visible">True</property>
3408 <property name="can_focus">False</property>
3411 <property name="expand">True</property>
3412 <property name="fill">True</property>
3413 <property name="position">3</property>
3418 <property name="expand">False</property>
3419 <property name="fill">True</property>
3420 <property name="position">2</property>
3424 <widget class="GtkLabel" id="label182">
3425 <property name="visible">True</property>
3426 <property name="can_focus">False</property>
3429 <property name="expand">True</property>
3430 <property name="fill">True</property>
3431 <property name="position">3</property>
3436 <property name="expand">False</property>
3437 <property name="fill">True</property>
3438 <property name="position">1</property>
3442 <widget class="GtkImage" id="image3">
3443 <property name="visible">True</property>
3444 <property name="can_focus">False</property>
3445 <property name="pixel_size">150</property>
3446 <property name="icon_name">video-display</property>
3449 <property name="expand">False</property>
3450 <property name="fill">False</property>
3451 <property name="position">2</property>
3455 <widget class="GtkVBox" id="vbox74">
3456 <property name="visible">True</property>
3457 <property name="can_focus">False</property>
3459 <widget class="GtkLabel" id="label188">
3460 <property name="visible">True</property>
3461 <property name="can_focus">False</property>
3464 <property name="expand">True</property>
3465 <property name="fill">True</property>
3466 <property name="position">0</property>
3470 <widget class="GtkLabel" id="label189">
3471 <property name="visible">True</property>
3472 <property name="can_focus">False</property>
3473 <property name="ypad">4</property>
3474 <property name="label" translatable="yes">_Right</property>
3475 <property name="use_underline">True</property>
3476 <property name="mnemonic_widget">margins_right</property>
3479 <property name="expand">False</property>
3480 <property name="fill">True</property>
3481 <property name="position">1</property>
3485 <widget class="GtkHBox" id="hbox97">
3486 <property name="visible">True</property>
3487 <property name="can_focus">False</property>
3488 <property name="spacing">6</property>
3490 <widget class="GtkLabel" id="label190">
3491 <property name="visible">True</property>
3492 <property name="can_focus">False</property>
3495 <property name="expand">True</property>
3496 <property name="fill">True</property>
3497 <property name="position">0</property>
3501 <widget class="GtkSpinButton" id="margins_right">
3502 <property name="visible">True</property>
3503 <property name="can_focus">True</property>
3504 <property name="primary_icon_activatable">False</property>
3505 <property name="secondary_icon_activatable">False</property>
3506 <property name="primary_icon_sensitive">True</property>
3507 <property name="secondary_icon_sensitive">True</property>
3508 <property name="adjustment">20 0 10000 1 10 0</property>
3509 <property name="climb_rate">1</property>
3510 <property name="numeric">True</property>
3511 <signal name="value_changed" handler="on_margins_right_value_changed" after="yes" swapped="no"/>
3514 <property name="expand">False</property>
3515 <property name="fill">False</property>
3516 <property name="position">1</property>
3520 <widget class="GtkLabel" id="label191">
3521 <property name="visible">True</property>
3522 <property name="can_focus">False</property>
3523 <property name="label" translatable="yes">px</property>
3526 <property name="expand">False</property>
3527 <property name="fill">False</property>
3528 <property name="position">2</property>
3532 <widget class="GtkLabel" id="label192">
3533 <property name="visible">True</property>
3534 <property name="can_focus">False</property>
3537 <property name="expand">True</property>
3538 <property name="fill">True</property>
3539 <property name="position">3</property>
3544 <property name="expand">False</property>
3545 <property name="fill">True</property>
3546 <property name="position">2</property>
3550 <widget class="GtkLabel" id="label193">
3551 <property name="visible">True</property>
3552 <property name="can_focus">False</property>
3555 <property name="expand">True</property>
3556 <property name="fill">True</property>
3557 <property name="position">3</property>
3562 <property name="expand">False</property>
3563 <property name="fill">True</property>
3564 <property name="position">3</property>
3568 <widget class="GtkLabel" id="label180">
3569 <property name="visible">True</property>
3570 <property name="can_focus">False</property>
3573 <property name="expand">True</property>
3574 <property name="fill">True</property>
3575 <property name="position">4</property>
3580 <property name="expand">True</property>
3581 <property name="fill">True</property>
3582 <property name="position">2</property>
3586 <widget class="GtkHBox" id="hbox100">
3587 <property name="visible">True</property>
3588 <property name="can_focus">False</property>
3590 <widget class="GtkLabel" id="label206">
3591 <property name="visible">True</property>
3592 <property name="can_focus">False</property>
3595 <property name="expand">True</property>
3596 <property name="fill">True</property>
3597 <property name="position">0</property>
3601 <widget class="GtkVBox" id="vbox76">
3602 <property name="visible">True</property>
3603 <property name="can_focus">False</property>
3605 <widget class="GtkLabel" id="label201">
3606 <property name="visible">True</property>
3607 <property name="can_focus">False</property>
3608 <property name="ypad">4</property>
3609 <property name="label" translatable="yes">_Bottom</property>
3610 <property name="use_underline">True</property>
3611 <property name="mnemonic_widget">margins_bottom</property>
3614 <property name="expand">False</property>
3615 <property name="fill">True</property>
3616 <property name="position">0</property>
3620 <widget class="GtkHBox" id="hbox102">
3621 <property name="visible">True</property>
3622 <property name="can_focus">False</property>
3623 <property name="spacing">6</property>
3625 <widget class="GtkLabel" id="label202">
3626 <property name="visible">True</property>
3627 <property name="can_focus">False</property>
3630 <property name="expand">True</property>
3631 <property name="fill">True</property>
3632 <property name="position">0</property>
3636 <widget class="GtkSpinButton" id="margins_bottom">
3637 <property name="visible">True</property>
3638 <property name="can_focus">True</property>
3639 <property name="primary_icon_activatable">False</property>
3640 <property name="secondary_icon_activatable">False</property>
3641 <property name="primary_icon_sensitive">True</property>
3642 <property name="secondary_icon_sensitive">True</property>
3643 <property name="adjustment">20 0 10000 1 10 0</property>
3644 <property name="climb_rate">1</property>
3645 <property name="numeric">True</property>
3646 <signal name="value_changed" handler="on_margins_bottom_value_changed" after="yes" swapped="no"/>
3649 <property name="expand">False</property>
3650 <property name="fill">False</property>
3651 <property name="position">1</property>
3655 <widget class="GtkLabel" id="label203">
3656 <property name="visible">True</property>
3657 <property name="can_focus">False</property>
3658 <property name="label" translatable="yes">px</property>
3661 <property name="expand">False</property>
3662 <property name="fill">False</property>
3663 <property name="position">2</property>
3667 <widget class="GtkLabel" id="label204">
3668 <property name="visible">True</property>
3669 <property name="can_focus">False</property>
3672 <property name="expand">True</property>
3673 <property name="fill">True</property>
3674 <property name="position">3</property>
3679 <property name="expand">False</property>
3680 <property name="fill">True</property>
3681 <property name="position">1</property>
3685 <widget class="GtkLabel" id="label205">
3686 <property name="visible">True</property>
3687 <property name="can_focus">False</property>
3690 <property name="expand">True</property>
3691 <property name="fill">True</property>
3692 <property name="position">2</property>
3697 <property name="expand">False</property>
3698 <property name="fill">True</property>
3699 <property name="position">1</property>
3703 <widget class="GtkLabel" id="label207">
3704 <property name="visible">True</property>
3705 <property name="can_focus">False</property>
3708 <property name="expand">True</property>
3709 <property name="fill">True</property>
3710 <property name="position">2</property>
3715 <property name="expand">True</property>
3716 <property name="fill">True</property>
3717 <property name="position">3</property>
3721 <widget class="GtkLabel" id="label211">
3722 <property name="visible">True</property>
3723 <property name="can_focus">False</property>
3726 <property name="expand">True</property>
3727 <property name="fill">True</property>
3728 <property name="position">4</property>
3733 <property name="expand">True</property>
3734 <property name="fill">True</property>
3735 <property name="position">1</property>
3740 <property name="expand">True</property>
3741 <property name="fill">True</property>
3742 <property name="position">1</property>
3747 <property name="position">6</property>
3751 <widget class="GtkLabel" id="label172">
3752 <property name="visible">True</property>
3753 <property name="can_focus">False</property>
3754 <property name="xalign">0</property>
3755 <property name="xpad">6</property>
3756 <property name="ypad">8</property>
3757 <property name="label" translatable="yes">Margins</property>
3760 <property name="position">6</property>
3761 <property name="tab_fill">False</property>
3762 <property name="type">tab</property>
3766 <widget class="GtkVBox" id="vbox26">
3767 <property name="visible">True</property>
3768 <property name="can_focus">False</property>
3769 <property name="border_width">12</property>
3770 <property name="spacing">18</property>
3772 <widget class="GtkVBox" id="vbox84">
3773 <property name="visible">True</property>
3774 <property name="can_focus">False</property>
3775 <property name="spacing">6</property>
3777 <widget class="GtkLabel" id="label234">
3778 <property name="visible">True</property>
3779 <property name="can_focus">False</property>
3780 <property name="xalign">0</property>
3781 <property name="label" translatable="yes"><span weight="bold">Dock</span></property>
3782 <property name="use_markup">True</property>
3785 <property name="expand">False</property>
3786 <property name="fill">False</property>
3787 <property name="position">0</property>
3791 <widget class="GtkHBox" id="hbox118">
3792 <property name="visible">True</property>
3793 <property name="can_focus">False</property>
3795 <widget class="GtkLabel" id="label238">
3796 <property name="visible">True</property>
3797 <property name="can_focus">False</property>
3798 <property name="label"> </property>
3801 <property name="expand">False</property>
3802 <property name="fill">False</property>
3803 <property name="position">0</property>
3807 <widget class="GtkLabel" id="label239">
3808 <property name="width_request">490</property>
3809 <property name="visible">True</property>
3810 <property name="can_focus">False</property>
3811 <property name="xalign">0</property>
3812 <property name="yalign">0</property>
3813 <property name="label" translatable="yes">The dock is a special container for "dockapps", or dock applications. It is not visible on screen until a dockapp is run. Dockapps can be used to show things like a clock, or to provide you with a system tray.</property>
3814 <property name="wrap">True</property>
3817 <property name="expand">True</property>
3818 <property name="fill">True</property>
3819 <property name="position">1</property>
3824 <property name="expand">True</property>
3825 <property name="fill">True</property>
3826 <property name="position">1</property>
3831 <property name="expand">False</property>
3832 <property name="fill">True</property>
3833 <property name="position">0</property>
3837 <widget class="GtkVBox" id="vbox27">
3838 <property name="visible">True</property>
3839 <property name="can_focus">False</property>
3840 <property name="spacing">6</property>
3842 <widget class="GtkLabel" id="label70">
3843 <property name="visible">True</property>
3844 <property name="can_focus">False</property>
3845 <property name="xalign">0</property>
3846 <property name="label" translatable="yes"><span weight="bold">Position</span></property>
3847 <property name="use_markup">True</property>
3850 <property name="expand">False</property>
3851 <property name="fill">False</property>
3852 <property name="position">0</property>
3856 <widget class="GtkHBox" id="hbox33">
3857 <property name="visible">True</property>
3858 <property name="can_focus">False</property>
3860 <widget class="GtkLabel" id="label71">
3861 <property name="visible">True</property>
3862 <property name="can_focus">False</property>
3863 <property name="label"> </property>
3866 <property name="expand">False</property>
3867 <property name="fill">False</property>
3868 <property name="position">0</property>
3872 <widget class="GtkVBox" id="vbox30">
3873 <property name="visible">True</property>
3874 <property name="can_focus">False</property>
3875 <property name="spacing">6</property>
3877 <widget class="GtkHBox" id="hbox19">
3878 <property name="visible">True</property>
3879 <property name="can_focus">False</property>
3880 <property name="spacing">12</property>
3882 <widget class="GtkLabel" id="dock_position_label">
3883 <property name="visible">True</property>
3884 <property name="can_focus">False</property>
3885 <property name="xalign">0</property>
3886 <property name="label" translatable="yes">_Position:</property>
3887 <property name="use_underline">True</property>
3888 <property name="mnemonic_widget">dock_position</property>
3891 <property name="expand">False</property>
3892 <property name="fill">False</property>
3893 <property name="position">0</property>
3897 <widget class="GtkOptionMenu" id="dock_position">
3898 <property name="visible">True</property>
3899 <property name="can_focus">True</property>
3900 <property name="receives_default">False</property>
3902 <widget class="GtkMenu" id="menu5">
3903 <property name="can_focus">False</property>
3905 <widget class="GtkMenuItem" id="top_left">
3906 <property name="visible">True</property>
3907 <property name="can_focus">False</property>
3908 <property name="use_action_appearance">False</property>
3909 <property name="label" translatable="yes">Top Left</property>
3910 <property name="use_underline">True</property>
3911 <signal name="activate" handler="on_dock_top_left_activate" swapped="no"/>
3915 <widget class="GtkMenuItem" id="top">
3916 <property name="visible">True</property>
3917 <property name="can_focus">False</property>
3918 <property name="use_action_appearance">False</property>
3919 <property name="label" translatable="yes">Top</property>
3920 <property name="use_underline">True</property>
3921 <signal name="activate" handler="on_dock_top_activate" swapped="no"/>
3925 <widget class="GtkMenuItem" id="top_right">
3926 <property name="visible">True</property>
3927 <property name="can_focus">False</property>
3928 <property name="use_action_appearance">False</property>
3929 <property name="label" translatable="yes">Top Right</property>
3930 <property name="use_underline">True</property>
3931 <signal name="activate" handler="on_dock_top_right_activate" swapped="no"/>
3935 <widget class="GtkMenuItem" id="left">
3936 <property name="visible">True</property>
3937 <property name="can_focus">False</property>
3938 <property name="use_action_appearance">False</property>
3939 <property name="label" translatable="yes">Left</property>
3940 <property name="use_underline">True</property>
3941 <signal name="activate" handler="on_dock_left_activate" swapped="no"/>
3945 <widget class="GtkMenuItem" id="right">
3946 <property name="visible">True</property>
3947 <property name="can_focus">False</property>
3948 <property name="use_action_appearance">False</property>
3949 <property name="label" translatable="yes">Right</property>
3950 <property name="use_underline">True</property>
3951 <signal name="activate" handler="on_dock_right_activate" swapped="no"/>
3955 <widget class="GtkMenuItem" id="bottom_left">
3956 <property name="visible">True</property>
3957 <property name="can_focus">False</property>
3958 <property name="use_action_appearance">False</property>
3959 <property name="label" translatable="yes">Bottom Left</property>
3960 <property name="use_underline">True</property>
3961 <signal name="activate" handler="on_dock_bottom_left_activate" swapped="no"/>
3965 <widget class="GtkMenuItem" id="bottom">
3966 <property name="visible">True</property>
3967 <property name="can_focus">False</property>
3968 <property name="use_action_appearance">False</property>
3969 <property name="label" translatable="yes">Bottom</property>
3970 <property name="use_underline">True</property>
3971 <signal name="activate" handler="on_dock_bottom_activate" swapped="no"/>
3975 <widget class="GtkMenuItem" id="bottom_right">
3976 <property name="visible">True</property>
3977 <property name="can_focus">False</property>
3978 <property name="use_action_appearance">False</property>
3979 <property name="label" translatable="yes">Bottom Right</property>
3980 <property name="use_underline">True</property>
3981 <signal name="activate" handler="on_dock_bottom_right_activate" swapped="no"/>
3985 <widget class="GtkMenuItem" id="floating">
3986 <property name="visible">True</property>
3987 <property name="can_focus">False</property>
3988 <property name="use_action_appearance">False</property>
3989 <property name="label" translatable="yes">Floating</property>
3990 <property name="use_underline">True</property>
3991 <signal name="activate" handler="on_dock_floating_activate" swapped="no"/>
3998 <property name="expand">False</property>
3999 <property name="fill">False</property>
4000 <property name="position">1</property>
4005 <property name="expand">False</property>
4006 <property name="fill">False</property>
4007 <property name="position">0</property>
4011 <widget class="GtkHBox" id="hbox36">
4012 <property name="visible">True</property>
4013 <property name="can_focus">False</property>
4015 <widget class="GtkLabel" id="label76">
4016 <property name="visible">True</property>
4017 <property name="can_focus">False</property>
4018 <property name="label"> </property>
4021 <property name="expand">False</property>
4022 <property name="fill">False</property>
4023 <property name="position">0</property>
4027 <widget class="GtkHBox" id="hbox20">
4028 <property name="visible">True</property>
4029 <property name="can_focus">False</property>
4030 <property name="spacing">6</property>
4032 <widget class="GtkLabel" id="dock_float_label">
4033 <property name="visible">True</property>
4034 <property name="can_focus">False</property>
4035 <property name="label" translatable="yes">_Floating position:</property>
4036 <property name="use_underline">True</property>
4037 <property name="mnemonic_widget">dock_float_x</property>
4040 <property name="expand">False</property>
4041 <property name="fill">False</property>
4042 <property name="position">0</property>
4046 <widget class="GtkSpinButton" id="dock_float_x">
4047 <property name="visible">True</property>
4048 <property name="can_focus">True</property>
4049 <property name="primary_icon_activatable">False</property>
4050 <property name="secondary_icon_activatable">False</property>
4051 <property name="primary_icon_sensitive">True</property>
4052 <property name="secondary_icon_sensitive">True</property>
4053 <property name="adjustment">1 0 10000 1 10 0</property>
4054 <property name="climb_rate">1</property>
4055 <property name="numeric">True</property>
4056 <signal name="value_changed" handler="on_dock_float_x_value_changed" after="yes" swapped="no"/>
4059 <property name="expand">False</property>
4060 <property name="fill">True</property>
4061 <property name="position">1</property>
4065 <widget class="GtkLabel" id="dock_float_label_x">
4066 <property name="visible">True</property>
4067 <property name="can_focus">False</property>
4068 <property name="label" translatable="yes">x</property>
4071 <property name="expand">False</property>
4072 <property name="fill">False</property>
4073 <property name="position">2</property>
4077 <widget class="GtkSpinButton" id="dock_float_y">
4078 <property name="visible">True</property>
4079 <property name="can_focus">True</property>
4080 <property name="primary_icon_activatable">False</property>
4081 <property name="secondary_icon_activatable">False</property>
4082 <property name="primary_icon_sensitive">True</property>
4083 <property name="secondary_icon_sensitive">True</property>
4084 <property name="adjustment">1 0 10000 1 10 0</property>
4085 <property name="climb_rate">1</property>
4086 <property name="numeric">True</property>
4087 <signal name="value_changed" handler="on_dock_float_y_value_changed" after="yes" swapped="no"/>
4090 <property name="expand">False</property>
4091 <property name="fill">True</property>
4092 <property name="position">3</property>
4097 <property name="expand">True</property>
4098 <property name="fill">True</property>
4099 <property name="position">1</property>
4104 <property name="expand">False</property>
4105 <property name="fill">False</property>
4106 <property name="position">1</property>
4110 <widget class="GtkHBox" id="hbox58">
4111 <property name="visible">True</property>
4112 <property name="can_focus">False</property>
4114 <widget class="GtkLabel" id="label108">
4115 <property name="visible">True</property>
4116 <property name="can_focus">False</property>
4117 <property name="label"> </property>
4120 <property name="expand">False</property>
4121 <property name="fill">False</property>
4122 <property name="position">0</property>
4126 <widget class="GtkCheckButton" id="dock_nostrut">
4127 <property name="label" translatable="yes">Allow _windows to be placed within the dock's area</property>
4128 <property name="visible">True</property>
4129 <property name="can_focus">True</property>
4130 <property name="receives_default">False</property>
4131 <property name="use_action_appearance">False</property>
4132 <property name="use_underline">True</property>
4133 <property name="draw_indicator">True</property>
4134 <signal name="toggled" handler="on_dock_nostrut_toggled" swapped="no"/>
4137 <property name="expand">False</property>
4138 <property name="fill">False</property>
4139 <property name="position">1</property>
4144 <property name="expand">True</property>
4145 <property name="fill">True</property>
4146 <property name="position">2</property>
4150 <widget class="GtkHBox" id="hbox38">
4151 <property name="visible">True</property>
4152 <property name="can_focus">False</property>
4153 <property name="spacing">12</property>
4155 <widget class="GtkLabel" id="dock_direction_label">
4156 <property name="visible">True</property>
4157 <property name="can_focus">False</property>
4158 <property name="xalign">0</property>
4159 <property name="label" translatable="yes">_Orientation: </property>
4160 <property name="use_underline">True</property>
4161 <property name="mnemonic_widget">dock_direction</property>
4164 <property name="expand">False</property>
4165 <property name="fill">False</property>
4166 <property name="position">0</property>
4170 <widget class="GtkOptionMenu" id="dock_direction">
4171 <property name="visible">True</property>
4172 <property name="can_focus">True</property>
4173 <property name="receives_default">False</property>
4175 <widget class="GtkMenu" id="menu7">
4176 <property name="can_focus">False</property>
4178 <widget class="GtkMenuItem" id="vertical">
4179 <property name="visible">True</property>
4180 <property name="can_focus">False</property>
4181 <property name="use_action_appearance">False</property>
4182 <property name="label" translatable="yes">Vertical</property>
4183 <property name="use_underline">True</property>
4184 <signal name="activate" handler="on_dock_vertical_activate" swapped="no"/>
4188 <widget class="GtkMenuItem" id="horizontal">
4189 <property name="visible">True</property>
4190 <property name="can_focus">False</property>
4191 <property name="use_action_appearance">False</property>
4192 <property name="label" translatable="yes">Horizontal</property>
4193 <property name="use_underline">True</property>
4194 <signal name="activate" handler="on_dock_horizontal_activate" swapped="no"/>
4201 <property name="expand">False</property>
4202 <property name="fill">False</property>
4203 <property name="position">1</property>
4208 <property name="expand">True</property>
4209 <property name="fill">True</property>
4210 <property name="position">3</property>
4215 <property name="expand">True</property>
4216 <property name="fill">True</property>
4217 <property name="position">1</property>
4222 <property name="expand">False</property>
4223 <property name="fill">False</property>
4224 <property name="position">1</property>
4229 <property name="expand">False</property>
4230 <property name="fill">False</property>
4231 <property name="position">1</property>
4235 <widget class="GtkVBox" id="vbox28">
4236 <property name="visible">True</property>
4237 <property name="can_focus">False</property>
4238 <property name="spacing">6</property>
4240 <widget class="GtkLabel" id="label74">
4241 <property name="visible">True</property>
4242 <property name="can_focus">False</property>
4243 <property name="xalign">0</property>
4244 <property name="label" translatable="yes"><span weight="bold">Stacking</span></property>
4245 <property name="use_markup">True</property>
4248 <property name="expand">False</property>
4249 <property name="fill">False</property>
4250 <property name="position">0</property>
4254 <widget class="GtkHBox" id="hbox34">
4255 <property name="visible">True</property>
4256 <property name="can_focus">False</property>
4258 <widget class="GtkLabel" id="label72">
4259 <property name="visible">True</property>
4260 <property name="can_focus">False</property>
4261 <property name="label"> </property>
4264 <property name="expand">False</property>
4265 <property name="fill">False</property>
4266 <property name="position">0</property>
4270 <widget class="GtkVBox" id="vbox31">
4271 <property name="visible">True</property>
4272 <property name="can_focus">False</property>
4273 <property name="spacing">6</property>
4275 <widget class="GtkRadioButton" id="dock_stack_top">
4276 <property name="label" translatable="yes">Keep dock _above other windows</property>
4277 <property name="visible">True</property>
4278 <property name="can_focus">True</property>
4279 <property name="receives_default">False</property>
4280 <property name="use_action_appearance">False</property>
4281 <property name="use_underline">True</property>
4282 <property name="draw_indicator">True</property>
4283 <signal name="toggled" handler="on_dock_stacking_top_toggled" after="yes" swapped="no"/>
4286 <property name="expand">False</property>
4287 <property name="fill">False</property>
4288 <property name="position">0</property>
4292 <widget class="GtkRadioButton" id="dock_stack_normal">
4293 <property name="label" translatable="yes">A_llow dock to be both above and below windows</property>
4294 <property name="visible">True</property>
4295 <property name="can_focus">True</property>
4296 <property name="receives_default">False</property>
4297 <property name="use_action_appearance">False</property>
4298 <property name="use_underline">True</property>
4299 <property name="draw_indicator">True</property>
4300 <property name="group">dock_stack_top</property>
4301 <signal name="toggled" handler="on_dock_stacking_normal_toggled" after="yes" swapped="no"/>
4304 <property name="expand">False</property>
4305 <property name="fill">False</property>
4306 <property name="position">1</property>
4310 <widget class="GtkRadioButton" id="dock_stack_bottom">
4311 <property name="label" translatable="yes">Keep dock _below other windows</property>
4312 <property name="visible">True</property>
4313 <property name="can_focus">True</property>
4314 <property name="receives_default">False</property>
4315 <property name="use_action_appearance">False</property>
4316 <property name="use_underline">True</property>
4317 <property name="draw_indicator">True</property>
4318 <property name="group">dock_stack_top</property>
4319 <signal name="toggled" handler="on_dock_stacking_bottom_toggled" after="yes" swapped="no"/>
4322 <property name="expand">False</property>
4323 <property name="fill">False</property>
4324 <property name="position">2</property>
4329 <property name="expand">False</property>
4330 <property name="fill">False</property>
4331 <property name="position">1</property>
4336 <property name="expand">False</property>
4337 <property name="fill">False</property>
4338 <property name="position">1</property>
4343 <property name="expand">False</property>
4344 <property name="fill">False</property>
4345 <property name="position">2</property>
4349 <widget class="GtkVBox" id="vbox29">
4350 <property name="visible">True</property>
4351 <property name="can_focus">False</property>
4352 <property name="spacing">6</property>
4354 <widget class="GtkLabel" id="label75">
4355 <property name="visible">True</property>
4356 <property name="can_focus">False</property>
4357 <property name="xalign">0</property>
4358 <property name="label" translatable="yes"><span weight="bold">Hiding</span></property>
4359 <property name="use_markup">True</property>
4362 <property name="expand">False</property>
4363 <property name="fill">False</property>
4364 <property name="position">0</property>
4368 <widget class="GtkHBox" id="hbox35">
4369 <property name="visible">True</property>
4370 <property name="can_focus">False</property>
4372 <widget class="GtkLabel" id="label73">
4373 <property name="visible">True</property>
4374 <property name="can_focus">False</property>
4375 <property name="label"> </property>
4378 <property name="expand">False</property>
4379 <property name="fill">False</property>
4380 <property name="position">0</property>
4384 <widget class="GtkVBox" id="vbox32">
4385 <property name="visible">True</property>
4386 <property name="can_focus">False</property>
4387 <property name="spacing">6</property>
4389 <widget class="GtkCheckButton" id="dock_hide">
4390 <property name="label" translatable="yes">_Hide off screen</property>
4391 <property name="visible">True</property>
4392 <property name="can_focus">True</property>
4393 <property name="receives_default">False</property>
4394 <property name="use_action_appearance">False</property>
4395 <property name="use_underline">True</property>
4396 <property name="draw_indicator">True</property>
4397 <signal name="toggled" handler="on_dock_hide_toggled" swapped="no"/>
4400 <property name="expand">False</property>
4401 <property name="fill">False</property>
4402 <property name="position">0</property>
4406 <widget class="GtkHBox" id="hbox37">
4407 <property name="visible">True</property>
4408 <property name="can_focus">False</property>
4410 <widget class="GtkLabel" id="label77">
4411 <property name="visible">True</property>
4412 <property name="can_focus">False</property>
4413 <property name="label"> </property>
4416 <property name="expand">False</property>
4417 <property name="fill">False</property>
4418 <property name="position">0</property>
4422 <widget class="GtkHBox" id="hbox23">
4423 <property name="visible">True</property>
4424 <property name="can_focus">False</property>
4425 <property name="spacing">6</property>
4427 <widget class="GtkLabel" id="dock_hide_label">
4428 <property name="visible">True</property>
4429 <property name="can_focus">False</property>
4430 <property name="xalign">0</property>
4431 <property name="label" translatable="yes">_Delay before hiding:</property>
4432 <property name="use_underline">True</property>
4433 <property name="mnemonic_widget">dock_hide_delay</property>
4436 <property name="expand">False</property>
4437 <property name="fill">False</property>
4438 <property name="position">0</property>
4442 <widget class="GtkSpinButton" id="dock_hide_delay">
4443 <property name="visible">True</property>
4444 <property name="can_focus">True</property>
4445 <property name="primary_icon_activatable">False</property>
4446 <property name="secondary_icon_activatable">False</property>
4447 <property name="primary_icon_sensitive">True</property>
4448 <property name="secondary_icon_sensitive">True</property>
4449 <property name="adjustment">300 0 10000 10 10 0</property>
4450 <property name="climb_rate">1</property>
4451 <property name="numeric">True</property>
4452 <signal name="value_changed" handler="on_dock_hide_delay_value_changed" after="yes" swapped="no"/>
4455 <property name="expand">False</property>
4456 <property name="fill">True</property>
4457 <property name="position">1</property>
4461 <widget class="GtkLabel" id="dock_hide_label_units">
4462 <property name="visible">True</property>
4463 <property name="can_focus">False</property>
4464 <property name="label" translatable="yes">ms</property>
4467 <property name="expand">False</property>
4468 <property name="fill">False</property>
4469 <property name="position">2</property>
4474 <property name="expand">True</property>
4475 <property name="fill">True</property>
4476 <property name="position">1</property>
4481 <property name="expand">True</property>
4482 <property name="fill">True</property>
4483 <property name="position">1</property>
4487 <widget class="GtkHBox" id="hbox56">
4488 <property name="visible">True</property>
4489 <property name="can_focus">False</property>
4491 <widget class="GtkLabel" id="label107">
4492 <property name="visible">True</property>
4493 <property name="can_focus">False</property>
4494 <property name="label"> </property>
4497 <property name="expand">False</property>
4498 <property name="fill">False</property>
4499 <property name="position">0</property>
4503 <widget class="GtkHBox" id="hbox57">
4504 <property name="visible">True</property>
4505 <property name="can_focus">False</property>
4506 <property name="spacing">6</property>
4508 <widget class="GtkLabel" id="dock_show_label">
4509 <property name="visible">True</property>
4510 <property name="can_focus">False</property>
4511 <property name="xalign">0</property>
4512 <property name="label" translatable="yes">Delay before _showing:</property>
4513 <property name="use_underline">True</property>
4514 <property name="mnemonic_widget">dock_show_delay</property>
4517 <property name="expand">False</property>
4518 <property name="fill">False</property>
4519 <property name="position">0</property>
4523 <widget class="GtkSpinButton" id="dock_show_delay">
4524 <property name="visible">True</property>
4525 <property name="can_focus">True</property>
4526 <property name="primary_icon_activatable">False</property>
4527 <property name="secondary_icon_activatable">False</property>
4528 <property name="primary_icon_sensitive">True</property>
4529 <property name="secondary_icon_sensitive">True</property>
4530 <property name="adjustment">300 0 10000 10 10 0</property>
4531 <property name="climb_rate">1</property>
4532 <property name="numeric">True</property>
4533 <signal name="value_changed" handler="on_dock_show_delay_value_changed" after="yes" swapped="no"/>
4536 <property name="expand">False</property>
4537 <property name="fill">True</property>
4538 <property name="position">1</property>
4542 <widget class="GtkLabel" id="dock_show_label_units">
4543 <property name="visible">True</property>
4544 <property name="can_focus">False</property>
4545 <property name="label" translatable="yes">ms</property>
4548 <property name="expand">False</property>
4549 <property name="fill">False</property>
4550 <property name="position">2</property>
4555 <property name="expand">True</property>
4556 <property name="fill">True</property>
4557 <property name="position">1</property>
4562 <property name="expand">True</property>
4563 <property name="fill">True</property>
4564 <property name="position">2</property>
4569 <property name="expand">True</property>
4570 <property name="fill">True</property>
4571 <property name="position">1</property>
4576 <property name="expand">True</property>
4577 <property name="fill">True</property>
4578 <property name="position">1</property>
4583 <property name="expand">False</property>
4584 <property name="fill">False</property>
4585 <property name="position">3</property>
4590 <property name="position">7</property>
4594 <widget class="GtkLabel" id="label41">
4595 <property name="visible">True</property>
4596 <property name="can_focus">False</property>
4597 <property name="xalign">0</property>
4598 <property name="xpad">6</property>
4599 <property name="ypad">8</property>
4600 <property name="label" translatable="yes">Dock</property>
4603 <property name="position">7</property>
4604 <property name="tab_fill">False</property>
4605 <property name="type">tab</property>
4610 <property name="expand">True</property>
4611 <property name="fill">True</property>
4612 <property name="position">0</property>
4616 <widget class="GtkHBox" id="hbox39">
4617 <property name="visible">True</property>
4618 <property name="can_focus">False</property>
4620 <widget class="GtkHButtonBox" id="hbuttonbox1">
4621 <property name="visible">True</property>
4622 <property name="can_focus">False</property>
4623 <property name="layout_style">start</property>
4625 <widget class="GtkButton" id="about">
4626 <property name="label" translatable="yes">Abo_ut</property>
4627 <property name="visible">True</property>
4628 <property name="can_focus">True</property>
4629 <property name="can_default">True</property>
4630 <property name="receives_default">False</property>
4631 <property name="use_action_appearance">False</property>
4632 <property name="use_underline">True</property>
4633 <signal name="clicked" handler="on_about_clicked" after="yes" swapped="no"/>
4636 <property name="expand">False</property>
4637 <property name="fill">False</property>
4638 <property name="position">0</property>
4643 <property name="expand">True</property>
4644 <property name="fill">True</property>
4645 <property name="position">0</property>
4649 <widget class="GtkHButtonBox" id="hbuttonbox2">
4650 <property name="visible">True</property>
4651 <property name="can_focus">False</property>
4652 <property name="layout_style">end</property>
4654 <widget class="GtkButton" id="close">
4655 <property name="label">gtk-close</property>
4656 <property name="visible">True</property>
4657 <property name="can_focus">True</property>
4658 <property name="can_default">True</property>
4659 <property name="receives_default">False</property>
4660 <property name="use_action_appearance">False</property>
4661 <property name="use_stock">True</property>
4662 <signal name="clicked" handler="on_close_clicked" swapped="no"/>
4665 <property name="expand">False</property>
4666 <property name="fill">False</property>
4667 <property name="position">0</property>
4672 <property name="expand">True</property>
4673 <property name="fill">True</property>
4674 <property name="position">1</property>
4679 <property name="expand">False</property>
4680 <property name="fill">False</property>
4681 <property name="position">1</property>