← Back to branch summary

~ubuntu-branches/ubuntu/precise/xfwm4/precise-updates

« back to all changes in this revision

Viewing changes to settings-dialogs/xfwm4-dialog.glade

  • Committer: Bazaar Package Importer
  • Author(s): Jérôme Guelfucci, Jérôme Guelfucci, Lionel Le Folgoc
  • Date: 2009-01-30 18:28:59 UTC
  • mfrom: (1.1.21 upstream)
  • Revision ID: james.westby@ubuntu.com-20090130182859-1tci3n1f1hhppvc2
Tags: 4.5.99.1-0ubuntu1
https://launchpad.net/bugs/250101
[ Jérôme Guelfucci ]
* Merge with Debian Xfce UNRELEASED, remaining Ubuntu changes:
  - debian/xfwm4.1: update bug reporting address (LP instead of Debian BTS).

[ Lionel Le Folgoc ]
* debian/control: use our Vcs-* fields.
* Bugs fixed by this new release:
  - "User interface of focused application is covered by another application's
    new window in Xfce" (LP: #250101)

Show diffs side-by-side

added added

removed removed

Lines of Context:
settings-dialogs/xfwm4-dialog.glade
 
1
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
 
2
<!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
 
3
<!--Generated with glade3 3.4.5 on Mon Nov 10 13:50:52 2008 -->
 
4
<glade-interface>
 
5
  <requires lib="xfce4"/>
 
6
  <widget class="XfceTitledDialog" id="main-dialog">
 
7
    <property name="title" translatable="yes">Window Manager</property>
 
8
    <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
 
9
    <property name="icon_name">xfwm4</property>
 
10
    <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 
11
    <property name="has_separator">False</property>
 
12
    <property name="subtitle" translatable="yes">Configure window behavior and shortcuts</property>
 
13
    <child internal-child="vbox">
 
14
      <widget class="GtkVBox" id="main-vbox">
 
15
        <property name="visible">True</property>
 
16
        <child>
 
17
          <widget class="GtkNotebook" id="plug-child">
 
18
            <property name="visible">True</property>
 
19
            <property name="can_focus">True</property>
 
20
            <property name="border_width">6</property>
 
21
            <child>
 
22
              <widget class="GtkHBox" id="hbox7">
 
23
                <property name="visible">True</property>
 
24
                <property name="border_width">12</property>
 
25
                <property name="spacing">12</property>
 
26
                <child>
 
27
                  <widget class="GtkFrame" id="frame13">
 
28
                    <property name="visible">True</property>
 
29
                    <property name="label_xalign">0</property>
 
30
                    <property name="shadow_type">GTK_SHADOW_NONE</property>
 
31
                    <child>
 
32
                      <widget class="GtkAlignment" id="alignment11">
 
33
                        <property name="visible">True</property>
 
34
                        <property name="top_padding">6</property>
 
35
                        <property name="left_padding">12</property>
 
36
                        <child>
 
37
                          <widget class="GtkScrolledWindow" id="scrolledwindow3">
 
38
                            <property name="width_request">200</property>
 
39
                            <property name="visible">True</property>
 
40
                            <property name="can_focus">True</property>
 
41
                            <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 
42
                            <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 
43
                            <property name="shadow_type">GTK_SHADOW_IN</property>
 
44
                            <child>
 
45
                              <widget class="GtkTreeView" id="theme_name_treeview">
 
46
                                <property name="visible">True</property>
 
47
                                <property name="can_focus">True</property>
 
48
                                <property name="headers_visible">False</property>
 
49
                              </widget>
 
50
                            </child>
 
51
                          </widget>
 
52
                        </child>
 
53
                      </widget>
 
54
                    </child>
 
55
                    <child>
 
56
                      <widget class="GtkLabel" id="label32">
 
57
                        <property name="visible">True</property>
 
58
                        <property name="label" translatable="yes">&lt;b&gt;_Theme&lt;/b&gt;</property>
 
59
                        <property name="use_markup">True</property>
 
60
                        <property name="use_underline">True</property>
 
61
                      </widget>
 
62
                      <packing>
 
63
                        <property name="type">label_item</property>
 
64
                      </packing>
 
65
                    </child>
 
66
                  </widget>
 
67
                </child>
 
68
                <child>
 
69
                  <widget class="GtkVBox" id="vbox12">
 
70
                    <property name="visible">True</property>
 
71
                    <property name="spacing">6</property>
 
72
                    <child>
 
73
                      <widget class="GtkFrame" id="frame10">
 
74
                        <property name="visible">True</property>
 
75
                        <property name="label_xalign">0</property>
 
76
                        <property name="shadow_type">GTK_SHADOW_NONE</property>
 
77
                        <child>
 
78
                          <widget class="GtkAlignment" id="alignment14">
 
79
                            <property name="visible">True</property>
 
80
                            <property name="border_width">6</property>
 
81
                            <property name="bottom_padding">6</property>
 
82
                            <property name="left_padding">12</property>
 
83
                            <child>
 
84
                              <widget class="GtkFontButton" id="title_font_button">
 
85
                                <property name="visible">True</property>
 
86
                                <property name="can_focus">True</property>
 
87
                                <property name="receives_default">True</property>
 
88
                                <property name="response_id">0</property>
 
89
                              </widget>
 
90
                            </child>
 
91
                          </widget>
 
92
                        </child>
 
93
                        <child>
 
94
                          <widget class="GtkLabel" id="label23">
 
95
                            <property name="visible">True</property>
 
96
                            <property name="label" translatable="yes">&lt;b&gt;Title fon_t&lt;/b&gt;</property>
 
97
                            <property name="use_markup">True</property>
 
98
                            <property name="use_underline">True</property>
 
99
                            <property name="mnemonic_widget">title_font_button</property>
 
100
                          </widget>
 
101
                          <packing>
 
102
                            <property name="type">label_item</property>
 
103
                          </packing>
 
104
                        </child>
 
105
                      </widget>
 
106
                      <packing>
 
107
                        <property name="expand">False</property>
 
108
                        <property name="fill">False</property>
 
109
                      </packing>
 
110
                    </child>
 
111
                    <child>
 
112
                      <widget class="GtkFrame" id="frame11">
 
113
                        <property name="visible">True</property>
 
114
                        <property name="label_xalign">0</property>
 
115
                        <property name="shadow_type">GTK_SHADOW_NONE</property>
 
116
                        <child>
 
117
                          <widget class="GtkAlignment" id="title_align_box">
 
118
                            <property name="visible">True</property>
 
119
                            <property name="border_width">6</property>
 
120
                            <property name="bottom_padding">6</property>
 
121
                            <property name="left_padding">12</property>
 
122
                            <child>
 
123
                              <widget class="GtkComboBox" id="title_align_combo">
 
124
                                <property name="visible">True</property>
 
125
                                <property name="items" translatable="yes"></property>
 
126
                              </widget>
 
127
                            </child>
 
128
                          </widget>
 
129
                        </child>
 
130
                        <child>
 
131
                          <widget class="GtkLabel" id="label24">
 
132
                            <property name="visible">True</property>
 
133
                            <property name="label" translatable="yes">&lt;b&gt;Title _alignment&lt;/b&gt;</property>
 
134
                            <property name="use_markup">True</property>
 
135
                            <property name="use_underline">True</property>
 
136
                            <property name="mnemonic_widget">title_align_combo</property>
 
137
                          </widget>
 
138
                          <packing>
 
139
                            <property name="type">label_item</property>
 
140
                          </packing>
 
141
                        </child>
 
142
                      </widget>
 
143
                      <packing>
 
144
                        <property name="expand">False</property>
 
145
                        <property name="fill">False</property>
 
146
                        <property name="position">1</property>
 
147
                      </packing>
 
148
                    </child>
 
149
                    <child>
 
150
                      <widget class="GtkFrame" id="frame12">
 
151
                        <property name="visible">True</property>
 
152
                        <property name="label_xalign">0</property>
 
153
                        <property name="shadow_type">GTK_SHADOW_NONE</property>
 
154
                        <child>
 
155
                          <widget class="GtkAlignment" id="button_layout_box">
 
156
                            <property name="visible">True</property>
 
157
                            <property name="bottom_padding">6</property>
 
158
                            <property name="left_padding">12</property>
 
159
                            <child>
 
160
                              <widget class="GtkVBox" id="vbox13">
 
161
                                <property name="visible">True</property>
 
162
                                <property name="border_width">6</property>
 
163
                                <property name="spacing">6</property>
 
164
                                <child>
 
165
                                  <widget class="GtkLabel" id="label26">
 
166
                                    <property name="visible">True</property>
 
167
                                    <property name="xalign">0</property>
 
168
                                    <property name="label" translatable="yes">Click and drag the buttons to change the layout</property>
 
169
                                  </widget>
 
170
                                </child>
 
171
                                <child>
 
172
                                  <widget class="GtkFrame" id="active-frame">
 
173
                                    <property name="visible">True</property>
 
174
                                    <property name="label_xalign">0</property>
 
175
                                    <property name="shadow_type">GTK_SHADOW_IN</property>
 
176
                                    <child>
 
177
                                      <widget class="GtkAlignment" id="alignment17">
 
178
                                        <property name="visible">True</property>
 
179
                                        <property name="border_width">6</property>
 
180
                                        <child>
 
181
                                          <widget class="GtkHBox" id="active-box">
 
182
                                            <property name="height_request">26</property>
 
183
                                            <property name="visible">True</property>
 
184
                                            <child>
 
185
                                              <widget class="GtkButton" id="button-layout-|">
 
186
                                                <property name="visible">True</property>
 
187
                                                <property name="can_focus">True</property>
 
188
                                                <property name="receives_default">True</property>
 
189
                                                <property name="tooltip" translatable="yes">The window title cannot be removed</property>
 
190
                                                <property name="label" translatable="yes">Title</property>
 
191
                                                <property name="response_id">0</property>
 
192
                                              </widget>
 
193
                                              <packing>
 
194
                                                <property name="expand">False</property>
 
195
                                                <property name="fill">False</property>
 
196
                                              </packing>
 
197
                                            </child>
 
198
                                          </widget>
 
199
                                        </child>
 
200
                                      </widget>
 
201
                                    </child>
 
202
                                    <child>
 
203
                                      <widget class="GtkLabel" id="label27">
 
204
                                        <property name="visible">True</property>
 
205
                                        <property name="label" translatable="yes">Active</property>
 
206
                                        <property name="use_markup">True</property>
 
207
                                      </widget>
 
208
                                      <packing>
 
209
                                        <property name="type">label_item</property>
 
210
                                      </packing>
 
211
                                    </child>
 
212
                                  </widget>
 
213
                                  <packing>
 
214
                                    <property name="position">1</property>
 
215
                                  </packing>
 
216
                                </child>
 
217
                                <child>
 
218
                                  <widget class="GtkFrame" id="hidden-frame">
 
219
                                    <property name="visible">True</property>
 
220
                                    <property name="label_xalign">0</property>
 
221
                                    <property name="shadow_type">GTK_SHADOW_IN</property>
 
222
                                    <child>
 
223
                                      <widget class="GtkAlignment" id="alignment18">
 
224
                                        <property name="visible">True</property>
 
225
                                        <property name="border_width">6</property>
 
226
                                        <child>
 
227
                                          <widget class="GtkHBox" id="hidden-box">
 
228
                                            <property name="height_request">26</property>
 
229
                                            <property name="visible">True</property>
 
230
                                            <property name="spacing">5</property>
 
231
                                            <child>
 
232
                                              <widget class="GtkButton" id="button-layout-O">
 
233
                                                <property name="visible">True</property>
 
234
                                                <property name="can_focus">True</property>
 
235
                                                <property name="receives_default">True</property>
 
236
                                                <property name="tooltip" translatable="yes">Menu</property>
 
237
                                                <property name="response_id">0</property>
 
238
                                                <child>
 
239
                                                  <widget class="GtkImage" id="image1">
 
240
                                                    <property name="visible">True</property>
 
241
                                                    <property name="stock">gtk-index</property>
 
242
                                                  </widget>
 
243
                                                </child>
 
244
                                              </widget>
 
245
                                              <packing>
 
246
                                                <property name="expand">False</property>
 
247
                                                <property name="fill">False</property>
 
248
                                              </packing>
 
249
                                            </child>
 
250
                                            <child>
 
251
                                              <widget class="GtkButton" id="button-layout-T">
 
252
                                                <property name="visible">True</property>
 
253
                                                <property name="can_focus">True</property>
 
254
                                                <property name="receives_default">True</property>
 
255
                                                <property name="tooltip" translatable="yes">Stick</property>
 
256
                                                <property name="response_id">0</property>
 
257
                                                <child>
 
258
                                                  <widget class="GtkImage" id="image2">
 
259
                                                    <property name="visible">True</property>
 
260
                                                    <property name="stock">gtk-add</property>
 
261
                                                  </widget>
 
262
                                                </child>
 
263
                                              </widget>
 
264
                                              <packing>
 
265
                                                <property name="expand">False</property>
 
266
                                                <property name="fill">False</property>
 
267
                                                <property name="position">1</property>
 
268
                                              </packing>
 
269
                                            </child>
 
270
                                            <child>
 
271
                                              <widget class="GtkButton" id="button-layout-S">
 
272
                                                <property name="visible">True</property>
 
273
                                                <property name="can_focus">True</property>
 
274
                                                <property name="receives_default">True</property>
 
275
                                                <property name="tooltip" translatable="yes">Shade</property>
 
276
                                                <property name="response_id">0</property>
 
277
                                                <child>
 
278
                                                  <widget class="GtkImage" id="image3">
 
279
                                                    <property name="visible">True</property>
 
280
                                                    <property name="stock">gtk-goto-top</property>
 
281
                                                  </widget>
 
282
                                                </child>
 
283
                                              </widget>
 
284
                                              <packing>
 
285
                                                <property name="expand">False</property>
 
286
                                                <property name="fill">False</property>
 
287
                                                <property name="position">2</property>
 
288
                                              </packing>
 
289
                                            </child>
 
290
                                            <child>
 
291
                                              <widget class="GtkButton" id="button-layout-H">
 
292
                                                <property name="visible">True</property>
 
293
                                                <property name="can_focus">True</property>
 
294
                                                <property name="receives_default">True</property>
 
295
                                                <property name="tooltip" translatable="yes">Hide</property>
 
296
                                                <property name="response_id">0</property>
 
297
                                                <child>
 
298
                                                  <widget class="GtkImage" id="image4">
 
299
                                                    <property name="visible">True</property>
 
300
                                                    <property name="stock">gtk-undo</property>
 
301
                                                  </widget>
 
302
                                                </child>
 
303
                                              </widget>
 
304
                                              <packing>
 
305
                                                <property name="expand">False</property>
 
306
                                                <property name="fill">False</property>
 
307
                                                <property name="position">3</property>
 
308
                                              </packing>
 
309
                                            </child>
 
310
                                            <child>
 
311
                                              <widget class="GtkButton" id="button-layout-M">
 
312
                                                <property name="visible">True</property>
 
313
                                                <property name="can_focus">True</property>
 
314
                                                <property name="receives_default">True</property>
 
315
                                                <property name="tooltip" translatable="yes">Maximize</property>
 
316
                                                <property name="response_id">0</property>
 
317
                                                <child>
 
318
                                                  <widget class="GtkImage" id="image5">
 
319
                                                    <property name="visible">True</property>
 
320
                                                    <property name="stock">gtk-zoom-100</property>
 
321
                                                  </widget>
 
322
                                                </child>
 
323
                                              </widget>
 
324
                                              <packing>
 
325
                                                <property name="expand">False</property>
 
326
                                                <property name="fill">False</property>
 
327
                                                <property name="position">4</property>
 
328
                                              </packing>
 
329
                                            </child>
 
330
                                            <child>
 
331
                                              <widget class="GtkButton" id="button-layout-C">
 
332
                                                <property name="visible">True</property>
 
333
                                                <property name="can_focus">True</property>
 
334
                                                <property name="receives_default">True</property>
 
335
                                                <property name="tooltip" translatable="yes">Close</property>
 
336
                                                <property name="response_id">0</property>
 
337
                                                <child>
 
338
                                                  <widget class="GtkImage" id="image6">
 
339
                                                    <property name="visible">True</property>
 
340
                                                    <property name="stock">gtk-close</property>
 
341
                                                  </widget>
 
342
                                                </child>
 
343
                                              </widget>
 
344
                                              <packing>
 
345
                                                <property name="expand">False</property>
 
346
                                                <property name="fill">False</property>
 
347
                                                <property name="position">5</property>
 
348
                                              </packing>
 
349
                                            </child>
 
350
                                          </widget>
 
351
                                        </child>
 
352
                                      </widget>
 
353
                                    </child>
 
354
                                    <child>
 
355
                                      <widget class="GtkLabel" id="label28">
 
356
                                        <property name="visible">True</property>
 
357
                                        <property name="label" translatable="yes">Hidden</property>
 
358
                                        <property name="use_markup">True</property>
 
359
                                      </widget>
 
360
                                      <packing>
 
361
                                        <property name="type">label_item</property>
 
362
                                      </packing>
 
363
                                    </child>
 
364
                                  </widget>
 
365
                                  <packing>
 
366
                                    <property name="position">2</property>
 
367
                                  </packing>
 
368
                                </child>
 
369
                              </widget>
 
370
                            </child>
 
371
                          </widget>
 
372
                        </child>
 
373
                        <child>
 
374
                          <widget class="GtkLabel" id="label25">
 
375
                            <property name="visible">True</property>
 
376
                            <property name="label" translatable="yes">&lt;b&gt;Button layout&lt;/b&gt;</property>
 
377
                            <property name="use_markup">True</property>
 
378
                          </widget>
 
379
                          <packing>
 
380
                            <property name="type">label_item</property>
 
381
                          </packing>
 
382
                        </child>
 
383
                      </widget>
 
384
                      <packing>
 
385
                        <property name="expand">False</property>
 
386
                        <property name="fill">False</property>
 
387
                        <property name="position">2</property>
 
388
                      </packing>
 
389
                    </child>
 
390
                  </widget>
 
391
                  <packing>
 
392
                    <property name="position">1</property>
 
393
                  </packing>
 
394
                </child>
 
395
              </widget>
 
396
            </child>
 
397
            <child>
 
398
              <widget class="GtkLabel" id="label1">
 
399
                <property name="visible">True</property>
 
400
                <property name="label" translatable="yes">_Style</property>
 
401
                <property name="use_underline">True</property>
 
402
              </widget>
 
403
              <packing>
 
404
                <property name="type">tab</property>
 
405
                <property name="tab_fill">False</property>
 
406
              </packing>
 
407
            </child>
 
408
            <child>
 
409
              <widget class="GtkFrame" id="frame9">
 
410
                <property name="visible">True</property>
 
411
                <property name="border_width">12</property>
 
412
                <property name="label_xalign">0</property>
 
413
                <property name="shadow_type">GTK_SHADOW_NONE</property>
 
414
                <child>
 
415
                  <widget class="GtkAlignment" id="alignment12">
 
416
                    <property name="visible">True</property>
 
417
                    <property name="border_width">6</property>
 
418
                    <property name="left_padding">12</property>
 
419
                    <child>
 
420
                      <widget class="GtkVBox" id="vbox10">
 
421
                        <property name="visible">True</property>
 
422
                        <property name="spacing">6</property>
 
423
                        <child>
 
424
                          <widget class="GtkScrolledWindow" id="scrolledwindow2">
 
425
                            <property name="visible">True</property>
 
426
                            <property name="can_focus">True</property>
 
427
                            <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
 
428
                            <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 
429
                            <property name="shadow_type">GTK_SHADOW_IN</property>
 
430
                            <child>
 
431
                              <widget class="GtkTreeView" id="shortcuts_treeview">
 
432
                                <property name="visible">True</property>
 
433
                                <property name="can_focus">True</property>
 
434
                              </widget>
 
435
                            </child>
 
436
                          </widget>
 
437
                        </child>
 
438
                        <child>
 
439
                          <widget class="GtkHButtonBox" id="hbuttonbox1">
 
440
                            <property name="visible">True</property>
 
441
                            <property name="spacing">12</property>
 
442
                            <property name="layout_style">GTK_BUTTONBOX_CENTER</property>
 
443
                            <child>
 
444
                              <widget class="GtkButton" id="shortcuts_clear_button">
 
445
                                <property name="visible">True</property>
 
446
                                <property name="can_focus">True</property>
 
447
                                <property name="receives_default">True</property>
 
448
                                <property name="label">gtk-clear</property>
 
449
                                <property name="use_stock">True</property>
 
450
                                <property name="response_id">0</property>
 
451
                              </widget>
 
452
                            </child>
 
453
                            <child>
 
454
                              <widget class="GtkButton" id="shortcuts_reset_button">
 
455
                                <property name="visible">True</property>
 
456
                                <property name="can_focus">True</property>
 
457
                                <property name="receives_default">True</property>
 
458
                                <property name="label" translatable="yes">_Reset to Defaults</property>
 
459
                                <property name="use_underline">True</property>
 
460
                                <property name="response_id">0</property>
 
461
                              </widget>
 
462
                              <packing>
 
463
                                <property name="expand">False</property>
 
464
                                <property name="fill">False</property>
 
465
                                <property name="pack_type">GTK_PACK_END</property>
 
466
                                <property name="position">1</property>
 
467
                              </packing>
 
468
                            </child>
 
469
                          </widget>
 
470
                          <packing>
 
471
                            <property name="expand">False</property>
 
472
                            <property name="position">1</property>
 
473
                          </packing>
 
474
                        </child>
 
475
                      </widget>
 
476
                    </child>
 
477
                  </widget>
 
478
                </child>
 
479
                <child>
 
480
                  <widget class="GtkLabel" id="label22">
 
481
                    <property name="visible">True</property>
 
482
                    <property name="label" translatable="yes">&lt;b&gt;Window _shortcuts&lt;/b&gt;</property>
 
483
                    <property name="use_markup">True</property>
 
484
                    <property name="use_underline">True</property>
 
485
                  </widget>
 
486
                  <packing>
 
487
                    <property name="type">label_item</property>
 
488
                  </packing>
 
489
                </child>
 
490
              </widget>
 
491
              <packing>
 
492
                <property name="position">1</property>
 
493
              </packing>
 
494
            </child>
 
495
            <child>
 
496
              <widget class="GtkLabel" id="label2">
 
497
                <property name="visible">True</property>
 
498
                <property name="label" translatable="yes">Ke_yboard</property>
 
499
                <property name="use_underline">True</property>
 
500
              </widget>
 
501
              <packing>
 
502
                <property name="type">tab</property>
 
503
                <property name="position">1</property>
 
504
                <property name="tab_fill">False</property>
 
505
              </packing>
 
506
            </child>
 
507
            <child>
 
508
              <widget class="GtkVBox" id="vbox7">
 
509
                <property name="visible">True</property>
 
510
                <property name="border_width">12</property>
 
511
                <property name="spacing">6</property>
 
512
                <child>
 
513
                  <widget class="GtkFrame" id="frame5">
 
514
                    <property name="visible">True</property>
 
515
                    <property name="label_xalign">0</property>
 
516
                    <property name="shadow_type">GTK_SHADOW_NONE</property>
 
517
                    <child>
 
518
                      <widget class="GtkAlignment" id="alignment7">
 
519
                        <property name="visible">True</property>
 
520
                        <property name="border_width">6</property>
 
521
                        <property name="bottom_padding">6</property>
 
522
                        <property name="left_padding">12</property>
 
523
                        <child>
 
524
                          <widget class="GtkVBox" id="vbox14">
 
525
                            <property name="visible">True</property>
 
526
                            <property name="spacing">6</property>
 
527
                            <child>
 
528
                              <widget class="GtkHBox" id="hbox3">
 
529
                                <property name="visible">True</property>
 
530
                                <property name="spacing">12</property>
 
531
                                <property name="homogeneous">True</property>
 
532
                                <child>
 
533
                                  <widget class="GtkRadioButton" id="click_to_focus_radio">
 
534
                                    <property name="visible">True</property>
 
535
                                    <property name="can_focus">True</property>
 
536
                                    <property name="label" translatable="yes">Clic_k to focus</property>
 
537
                                    <property name="use_underline">True</property>
 
538
                                    <property name="response_id">0</property>
 
539
                                    <property name="draw_indicator">True</property>
 
540
                                  </widget>
 
541
                                </child>
 
542
                                <child>
 
543
                                  <widget class="GtkRadioButton" id="focus_follows_mouse_radio">
 
544
                                    <property name="visible">True</property>
 
545
                                    <property name="can_focus">True</property>
 
546
                                    <property name="label" translatable="yes">Focus follows _mouse</property>
 
547
                                    <property name="use_underline">True</property>
 
548
                                    <property name="response_id">0</property>
 
549
                                    <property name="draw_indicator">True</property>
 
550
                                    <property name="group">click_to_focus_radio</property>
 
551
                                  </widget>
 
552
                                  <packing>
 
553
                                    <property name="position">1</property>
 
554
                                  </packing>
 
555
                                </child>
 
556
                              </widget>
 
557
                            </child>
 
558
                            <child>
 
559
                              <widget class="GtkLabel" id="label29">
 
560
                                <property name="visible">True</property>
 
561
                                <property name="xalign">0</property>
 
562
                                <property name="label" translatable="yes">_Delay before window receives focus:</property>
 
563
                                <property name="use_markup">True</property>
 
564
                                <property name="use_underline">True</property>
 
565
                                <property name="mnemonic_widget">focus_delay_scale</property>
 
566
                              </widget>
 
567
                              <packing>
 
568
                                <property name="position">1</property>
 
569
                              </packing>
 
570
                            </child>
 
571
                            <child>
 
572
                              <widget class="GtkAlignment" id="alignment19">
 
573
                                <property name="visible">True</property>
 
574
                                <property name="left_padding">12</property>
 
575
                                <child>
 
576
                                  <widget class="GtkHBox" id="focus_delay_hbox">
 
577
                                    <property name="visible">True</property>
 
578
                                    <property name="spacing">12</property>
 
579
                                    <child>
 
580
                                      <widget class="GtkLabel" id="label30">
 
581
                                        <property name="visible">True</property>
 
582
                                        <property name="label" translatable="yes" context="yes">Delay|&lt;i&gt;Short&lt;/i&gt;</property>
 
583
                                        <property name="use_markup">True</property>
 
584
                                      </widget>
 
585
                                      <packing>
 
586
                                        <property name="expand">False</property>
 
587
                                        <property name="fill">False</property>
 
588
                                      </packing>
 
589
                                    </child>
 
590
                                    <child>
 
591
                                      <widget class="GtkHScale" id="focus_delay_scale">
 
592
                                        <property name="visible">True</property>
 
593
                                        <property name="can_focus">True</property>
 
594
                                        <property name="update_policy">GTK_UPDATE_DISCONTINUOUS</property>
 
595
                                        <property name="adjustment">100 100 2000 1 10 0</property>
 
596
                                        <property name="draw_value">False</property>
 
597
                                      </widget>
 
598
                                      <packing>
 
599
                                        <property name="position">1</property>
 
600
                                      </packing>
 
601
                                    </child>
 
602
                                    <child>
 
603
                                      <widget class="GtkLabel" id="label31">
 
604
                                        <property name="visible">True</property>
 
605
                                        <property name="label" translatable="yes" context="yes">Delay|&lt;i&gt;Long&lt;/i&gt;</property>
 
606
                                        <property name="use_markup">True</property>
 
607
                                      </widget>
 
608
                                      <packing>
 
609
                                        <property name="expand">False</property>
 
610
                                        <property name="fill">False</property>
 
611
                                        <property name="position">2</property>
 
612
                                      </packing>
 
613
                                    </child>
 
614
                                  </widget>
 
615
                                </child>
 
616
                              </widget>
 
617
                              <packing>
 
618
                                <property name="position">2</property>
 
619
                              </packing>
 
620
                            </child>
 
621
                          </widget>
 
622
                        </child>
 
623
                      </widget>
 
624
                    </child>
 
625
                    <child>
 
626
                      <widget class="GtkLabel" id="label15">
 
627
                        <property name="visible">True</property>
 
628
                        <property name="label" translatable="yes" context="yes">&lt;b&gt;Focus model&lt;/b&gt;</property>
 
629
                        <property name="use_markup">True</property>
 
630
                      </widget>
 
631
                      <packing>
 
632
                        <property name="type">label_item</property>
 
633
                      </packing>
 
634
                    </child>
 
635
                  </widget>
 
636
                  <packing>
 
637
                    <property name="expand">False</property>
 
638
                    <property name="fill">False</property>
 
639
                  </packing>
 
640
                </child>
 
641
                <child>
 
642
                  <widget class="GtkFrame" id="frame6">
 
643
                    <property name="visible">True</property>
 
644
                    <property name="label_xalign">0</property>
 
645
                    <property name="shadow_type">GTK_SHADOW_NONE</property>
 
646
                    <child>
 
647
                      <widget class="GtkAlignment" id="alignment8">
 
648
                        <property name="visible">True</property>
 
649
                        <property name="border_width">6</property>
 
650
                        <property name="bottom_padding">6</property>
 
651
                        <property name="left_padding">12</property>
 
652
                        <child>
 
653
                          <widget class="GtkCheckButton" id="focus_new_check">
 
654
                            <property name="visible">True</property>
 
655
                            <property name="can_focus">True</property>
 
656
                            <property name="label" translatable="yes" context="yes">Automatically give focus to _newly created windows</property>
 
657
                            <property name="use_underline">True</property>
 
658
                            <property name="response_id">0</property>
 
659
                            <property name="draw_indicator">True</property>
 
660
                          </widget>
 
661
                        </child>
 
662
                      </widget>
 
663
                    </child>
 
664
                    <child>
 
665
                      <widget class="GtkLabel" id="label16">
 
666
                        <property name="visible">True</property>
 
667
                        <property name="label" translatable="yes" context="yes">&lt;b&gt;New window focus&lt;/b&gt;</property>
 
668
                        <property name="use_markup">True</property>
 
669
                      </widget>
 
670
                      <packing>
 
671
                        <property name="type">label_item</property>
 
672
                      </packing>
 
673
                    </child>
 
674
                  </widget>
 
675
                  <packing>
 
676
                    <property name="expand">False</property>
 
677
                    <property name="fill">False</property>
 
678
                    <property name="position">1</property>
 
679
                  </packing>
 
680
                </child>
 
681
                <child>
 
682
                  <widget class="GtkFrame" id="frame7">
 
683
                    <property name="visible">True</property>
 
684
                    <property name="label_xalign">0</property>
 
685
                    <property name="shadow_type">GTK_SHADOW_NONE</property>
 
686
                    <child>
 
687
                      <widget class="GtkAlignment" id="alignment9">
 
688
                        <property name="visible">True</property>
 
689
                        <property name="border_width">6</property>
 
690
                        <property name="bottom_padding">6</property>
 
691
                        <property name="left_padding">12</property>
 
692
                        <child>
 
693
                          <widget class="GtkVBox" id="vbox8">
 
694
                            <property name="visible">True</property>
 
695
                            <property name="spacing">6</property>
 
696
                            <child>
 
697
                              <widget class="GtkCheckButton" id="raise_on_focus_check">
 
698
                                <property name="visible">True</property>
 
699
                                <property name="can_focus">True</property>
 
700
                                <property name="label" translatable="yes" context="yes">Automatically _raise windows when they receive focus</property>
 
701
                                <property name="use_underline">True</property>
 
702
                                <property name="response_id">0</property>
 
703
                                <property name="draw_indicator">True</property>
 
704
                              </widget>
 
705
                            </child>
 
706
                            <child>
 
707
                              <widget class="GtkVBox" id="vbox9">
 
708
                                <property name="visible">True</property>
 
709
                                <property name="spacing">6</property>
 
710
                                <child>
 
711
                                  <widget class="GtkLabel" id="label19">
 
712
                                    <property name="visible">True</property>
 
713
                                    <property name="xalign">0</property>
 
714
                                    <property name="label" translatable="yes" context="yes">Delay _before raising focused window:</property>
 
715
                                    <property name="use_underline">True</property>
 
716
                                    <property name="mnemonic_widget">focus_raise_delay_scale</property>
 
717
                                  </widget>
 
718
                                  <packing>
 
719
                                    <property name="expand">False</property>
 
720
                                    <property name="fill">False</property>
 
721
                                  </packing>
 
722
                                </child>
 
723
                                <child>
 
724
                                  <widget class="GtkAlignment" id="alignment1">
 
725
                                    <property name="visible">True</property>
 
726
                                    <property name="left_padding">12</property>
 
727
                                    <child>
 
728
                                      <widget class="GtkHBox" id="hbox4">
 
729
                                        <property name="visible">True</property>
 
730
                                        <property name="spacing">12</property>
 
731
                                        <child>
 
732
                                          <widget class="GtkLabel" id="label20">
 
733
                                            <property name="visible">True</property>
 
734
                                            <property name="label" translatable="yes" context="yes">Delay|&lt;i&gt;Short&lt;/i&gt;</property>
 
735
                                            <property name="use_markup">True</property>
 
736
                                          </widget>
 
737
                                          <packing>
 
738
                                            <property name="expand">False</property>
 
739
                                            <property name="fill">False</property>
 
740
                                          </packing>
 
741
                                        </child>
 
742
                                        <child>
 
743
                                          <widget class="GtkHScale" id="focus_raise_delay_scale">
 
744
                                            <property name="visible">True</property>
 
745
                                            <property name="can_focus">True</property>
 
746
                                            <property name="update_policy">GTK_UPDATE_DISCONTINUOUS</property>
 
747
                                            <property name="adjustment">100 100 2000 1 10 0</property>
 
748
                                            <property name="draw_value">False</property>
 
749
                                          </widget>
 
750
                                          <packing>
 
751
                                            <property name="position">1</property>
 
752
                                          </packing>
 
753
                                        </child>
 
754
                                        <child>
 
755
                                          <widget class="GtkLabel" id="label21">
 
756
                                            <property name="visible">True</property>
 
757
                                            <property name="label" translatable="yes" context="yes">Delay|&lt;i&gt;Long&lt;/i&gt;</property>
 
758
                                            <property name="use_markup">True</property>
 
759
                                          </widget>
 
760
                                          <packing>
 
761
                                            <property name="expand">False</property>
 
762
                                            <property name="fill">False</property>
 
763
                                            <property name="position">2</property>
 
764
                                          </packing>
 
765
                                        </child>
 
766
                                      </widget>
 
767
                                    </child>
 
768
                                  </widget>
 
769
                                  <packing>
 
770
                                    <property name="position">1</property>
 
771
                                  </packing>
 
772
                                </child>
 
773
                              </widget>
 
774
                              <packing>
 
775
                                <property name="position">1</property>
 
776
                              </packing>
 
777
                            </child>
 
778
                          </widget>
 
779
                        </child>
 
780
                      </widget>
 
781
                    </child>
 
782
                    <child>
 
783
                      <widget class="GtkLabel" id="label17">
 
784
                        <property name="visible">True</property>
 
785
                        <property name="label" translatable="yes" context="yes">&lt;b&gt;Raise on focus&lt;/b&gt;</property>
 
786
                        <property name="use_markup">True</property>
 
787
                      </widget>
 
788
                      <packing>
 
789
                        <property name="type">label_item</property>
 
790
                      </packing>
 
791
                    </child>
 
792
                  </widget>
 
793
                  <packing>
 
794
                    <property name="expand">False</property>
 
795
                    <property name="fill">False</property>
 
796
                    <property name="position">2</property>
 
797
                  </packing>
 
798
                </child>
 
799
                <child>
 
800
                  <widget class="GtkFrame" id="frame8">
 
801
                    <property name="visible">True</property>
 
802
                    <property name="label_xalign">0</property>
 
803
                    <property name="shadow_type">GTK_SHADOW_NONE</property>
 
804
                    <child>
 
805
                      <widget class="GtkAlignment" id="alignment10">
 
806
                        <property name="visible">True</property>
 
807
                        <property name="border_width">6</property>
 
808
                        <property name="bottom_padding">6</property>
 
809
                        <property name="left_padding">12</property>
 
810
                        <child>
 
811
                          <widget class="GtkCheckButton" id="raise_on_click_check">
 
812
                            <property name="visible">True</property>
 
813
                            <property name="can_focus">True</property>
 
814
                            <property name="label" translatable="yes" context="yes">Raise window when clicking _inside application window</property>
 
815
                            <property name="use_underline">True</property>
 
816
                            <property name="response_id">0</property>
 
817
                            <property name="draw_indicator">True</property>
 
818
                          </widget>
 
819
                        </child>
 
820
                      </widget>
 
821
                    </child>
 
822
                    <child>
 
823
                      <widget class="GtkLabel" id="label18">
 
824
                        <property name="visible">True</property>
 
825
                        <property name="label" translatable="yes" context="yes">&lt;b&gt;Raise on click&lt;/b&gt;</property>
 
826
                        <property name="use_markup">True</property>
 
827
                      </widget>
 
828
                      <packing>
 
829
                        <property name="type">label_item</property>
 
830
                      </packing>
 
831
                    </child>
 
832
                  </widget>
 
833
                  <packing>
 
834
                    <property name="expand">False</property>
 
835
                    <property name="fill">False</property>
 
836
                    <property name="position">3</property>
 
837
                  </packing>
 
838
                </child>
 
839
              </widget>
 
840
              <packing>
 
841
                <property name="position">2</property>
 
842
              </packing>
 
843
            </child>
 
844
            <child>
 
845
              <widget class="GtkLabel" id="label3">
 
846
                <property name="visible">True</property>
 
847
                <property name="label" translatable="yes" context="yes">_Focus</property>
 
848
                <property name="use_underline">True</property>
 
849
              </widget>
 
850
              <packing>
 
851
                <property name="type">tab</property>
 
852
                <property name="position">2</property>
 
853
                <property name="tab_fill">False</property>
 
854
              </packing>
 
855
            </child>
 
856
            <child>
 
857
              <widget class="GtkVBox" id="vbox1">
 
858
                <property name="visible">True</property>
 
859
                <property name="border_width">12</property>
 
860
                <property name="spacing">6</property>
 
861
                <child>
 
862
                  <widget class="GtkFrame" id="frame1">
 
863
                    <property name="visible">True</property>
 
864
                    <property name="label_xalign">0</property>
 
865
                    <property name="shadow_type">GTK_SHADOW_NONE</property>
 
866
                    <child>
 
867
                      <widget class="GtkAlignment" id="alignment2">
 
868
                        <property name="visible">True</property>
 
869
                        <property name="border_width">6</property>
 
870
                        <property name="bottom_padding">6</property>
 
871
                        <property name="left_padding">12</property>
 
872
                        <child>
 
873
                          <widget class="GtkVBox" id="vbox2">
 
874
                            <property name="visible">True</property>
 
875
                            <property name="spacing">6</property>
 
876
                            <child>
 
877
                              <widget class="GtkCheckButton" id="snap_to_border_check">
 
878
                                <property name="visible">True</property>
 
879
                                <property name="can_focus">True</property>
 
880
                                <property name="label" translatable="yes" context="yes">Snap windows to screen _border</property>
 
881
                                <property name="use_underline">True</property>
 
882
                                <property name="response_id">0</property>
 
883
                                <property name="draw_indicator">True</property>
 
884
                              </widget>
 
885
                              <packing>
 
886
                                <property name="expand">False</property>
 
887
                                <property name="fill">False</property>
 
888
                              </packing>
 
889
                            </child>
 
890
                            <child>
 
891
                              <widget class="GtkCheckButton" id="snap_to_window_check">
 
892
                                <property name="visible">True</property>
 
893
                                <property name="can_focus">True</property>
 
894
                                <property name="label" translatable="yes" context="yes">Snap windows to other _windows</property>
 
895
                                <property name="use_underline">True</property>
 
896
                                <property name="response_id">0</property>
 
897
                                <property name="draw_indicator">True</property>
 
898
                              </widget>
 
899
                              <packing>
 
900
                                <property name="expand">False</property>
 
901
                                <property name="fill">False</property>
 
902
                                <property name="position">1</property>
 
903
                              </packing>
 
904
                            </child>
 
905
                            <child>
 
906
                              <widget class="GtkVBox" id="vbox5">
 
907
                                <property name="visible">True</property>
 
908
                                <property name="spacing">6</property>
 
909
                                <child>
 
910
                                  <widget class="GtkLabel" id="label9">
 
911
                                    <property name="visible">True</property>
 
912
                                    <property name="xalign">0</property>
 
913
                                    <property name="label" translatable="yes" context="yes">Dis_tance:</property>
 
914
                                    <property name="use_underline">True</property>
 
915
                                    <property name="mnemonic_widget">snap_width_scale</property>
 
916
                                  </widget>
 
917
                                </child>
 
918
                                <child>
 
919
                                  <widget class="GtkAlignment" id="alignment6">
 
920
                                    <property name="visible">True</property>
 
921
                                    <property name="left_padding">12</property>
 
922
                                    <child>
 
923
                                      <widget class="GtkHBox" id="hbox1">
 
924
                                        <property name="visible">True</property>
 
925
                                        <property name="spacing">12</property>
 
926
                                        <child>
 
927
                                          <widget class="GtkLabel" id="label11">
 
928
                                            <property name="visible">True</property>
 
929
                                            <property name="label" translatable="yes" context="yes">Distance|&lt;i&gt;Small&lt;/i&gt;</property>
 
930
                                            <property name="use_markup">True</property>
 
931
                                          </widget>
 
932
                                          <packing>
 
933
                                            <property name="expand">False</property>
 
934
                                            <property name="fill">False</property>
 
935
                                          </packing>
 
936
                                        </child>
 
937
                                        <child>
 
938
                                          <widget class="GtkHScale" id="snap_width_scale">
 
939
                                            <property name="visible">True</property>
 
940
                                            <property name="can_focus">True</property>
 
941
                                            <property name="update_policy">GTK_UPDATE_DISCONTINUOUS</property>
 
942
                                            <property name="adjustment">20 0 100 1 10 0</property>
 
943
                                            <property name="restrict_to_fill_level">False</property>
 
944
                                            <property name="draw_value">False</property>
 
945
                                          </widget>
 
946
                                          <packing>
 
947
                                            <property name="position">1</property>
 
948
                                          </packing>
 
949
                                        </child>
 
950
                                        <child>
 
951
                                          <widget class="GtkLabel" id="label12">
 
952
                                            <property name="visible">True</property>
 
953
                                            <property name="label" translatable="yes" context="yes">Distance|&lt;i&gt;Wide&lt;/i&gt;</property>
 
954
                                            <property name="use_markup">True</property>
 
955
                                          </widget>
 
956
                                          <packing>
 
957
                                            <property name="expand">False</property>
 
958
                                            <property name="fill">False</property>
 
959
                                            <property name="position">2</property>
 
960
                                          </packing>
 
961
                                        </child>
 
962
                                      </widget>
 
963
                                    </child>
 
964
                                  </widget>
 
965
                                  <packing>
 
966
                                    <property name="position">1</property>
 
967
                                  </packing>
 
968
                                </child>
 
969
                              </widget>
 
970
                              <packing>
 
971
                                <property name="position">2</property>
 
972
                              </packing>
 
973
                            </child>
 
974
                          </widget>
 
975
                        </child>
 
976
                      </widget>
 
977
                    </child>
 
978
                    <child>
 
979
                      <widget class="GtkLabel" id="label5">
 
980
                        <property name="visible">True</property>
 
981
                        <property name="label" translatable="yes" context="yes">&lt;b&gt;Windows snapping&lt;/b&gt;</property>
 
982
                        <property name="use_markup">True</property>
 
983
                      </widget>
 
984
                      <packing>
 
985
                        <property name="type">label_item</property>
 
986
                      </packing>
 
987
                    </child>
 
988
                  </widget>
 
989
                  <packing>
 
990
                    <property name="expand">False</property>
 
991
                  </packing>
 
992
                </child>
 
993
                <child>
 
994
                  <widget class="GtkFrame" id="frame2">
 
995
                    <property name="visible">True</property>
 
996
                    <property name="label_xalign">0</property>
 
997
                    <property name="shadow_type">GTK_SHADOW_NONE</property>
 
998
                    <child>
 
999
                      <widget class="GtkAlignment" id="alignment3">
 
1000
                        <property name="visible">True</property>
 
1001
                        <property name="border_width">6</property>
 
1002
                        <property name="bottom_padding">6</property>
 
1003
                        <property name="left_padding">12</property>
 
1004
                        <child>
 
1005
                          <widget class="GtkVBox" id="vbox4">
 
1006
                            <property name="visible">True</property>
 
1007
                            <property name="spacing">6</property>
 
1008
                            <child>
 
1009
                              <widget class="GtkCheckButton" id="wrap_workspaces_check">
 
1010
                                <property name="visible">True</property>
 
1011
                                <property name="can_focus">True</property>
 
1012
                                <property name="label" translatable="yes" context="yes">Wrap workspaces when the _pointer reaches the screen edge</property>
 
1013
                                <property name="use_underline">True</property>
 
1014
                                <property name="response_id">0</property>
 
1015
                                <property name="draw_indicator">True</property>
 
1016
                              </widget>
 
1017
                            </child>
 
1018
                            <child>
 
1019
                              <widget class="GtkCheckButton" id="wrap_windows_check">
 
1020
                                <property name="visible">True</property>
 
1021
                                <property name="can_focus">True</property>
 
1022
                                <property name="label" translatable="yes" context="yes">Wrap workspaces when _dragging a window off the screen</property>
 
1023
                                <property name="use_underline">True</property>
 
1024
                                <property name="response_id">0</property>
 
1025
                                <property name="draw_indicator">True</property>
 
1026
                              </widget>
 
1027
                              <packing>
 
1028
                                <property name="position">1</property>
 
1029
                              </packing>
 
1030
                            </child>
 
1031
                            <child>
 
1032
                              <widget class="GtkVBox" id="vbox6">
 
1033
                                <property name="visible">True</property>
 
1034
                                <property name="spacing">6</property>
 
1035
                                <child>
 
1036
                                  <widget class="GtkLabel" id="label10">
 
1037
                                    <property name="visible">True</property>
 
1038
                                    <property name="xalign">0</property>
 
1039
                                    <property name="label" translatable="yes" context="yes">_Edge resistance:</property>
 
1040
                                    <property name="use_underline">True</property>
 
1041
                                    <property name="selectable">True</property>
 
1042
                                    <property name="mnemonic_widget">wrap_resistance_scale</property>
 
1043
                                  </widget>
 
1044
                                  <packing>
 
1045
                                    <property name="expand">False</property>
 
1046
                                    <property name="fill">False</property>
 
1047
                                  </packing>
 
1048
                                </child>
 
1049
                                <child>
 
1050
                                  <widget class="GtkAlignment" id="alignment3">
 
1051
                                    <property name="visible">True</property>
 
1052
                                    <property name="left_padding">12</property>
 
1053
                                    <child>
 
1054
                                      <widget class="GtkHBox" id="hbox2">
 
1055
                                        <property name="visible">True</property>
 
1056
                                        <property name="spacing">12</property>
 
1057
                                        <child>
 
1058
                                          <widget class="GtkLabel" id="label13">
 
1059
                                            <property name="visible">True</property>
 
1060
                                            <property name="label" translatable="yes" context="yes">Resistance|&lt;i&gt;Small&lt;/i&gt;</property>
 
1061
                                            <property name="use_markup">True</property>
 
1062
                                          </widget>
 
1063
                                          <packing>
 
1064
                                            <property name="expand">False</property>
 
1065
                                            <property name="fill">False</property>
 
1066
                                          </packing>
 
1067
                                        </child>
 
1068
                                        <child>
 
1069
                                          <widget class="GtkHScale" id="wrap_resistance_scale">
 
1070
                                            <property name="visible">True</property>
 
1071
                                            <property name="can_focus">True</property>
 
1072
                                            <property name="update_policy">GTK_UPDATE_DISCONTINUOUS</property>
 
1073
                                            <property name="adjustment">20 0 100 1 10 0</property>
 
1074
                                            <property name="restrict_to_fill_level">False</property>
 
1075
                                            <property name="draw_value">False</property>
 
1076
                                          </widget>
 
1077
                                          <packing>
 
1078
                                            <property name="position">1</property>
 
1079
                                          </packing>
 
1080
                                        </child>
 
1081
                                        <child>
 
1082
                                          <widget class="GtkLabel" id="label14">
 
1083
                                            <property name="visible">True</property>
 
1084
                                            <property name="label" translatable="yes" context="yes">Resistance|&lt;i&gt;Wide&lt;/i&gt;</property>
 
1085
                                            <property name="use_markup">True</property>
 
1086
                                          </widget>
 
1087
                                          <packing>
 
1088
                                            <property name="expand">False</property>
 
1089
                                            <property name="fill">False</property>
 
1090
                                            <property name="position">2</property>
 
1091
                                          </packing>
 
1092
                                        </child>
 
1093
                                      </widget>
 
1094
                                    </child>
 
1095
                                  </widget>
 
1096
                                  <packing>
 
1097
                                    <property name="position">1</property>
 
1098
                                  </packing>
 
1099
                                </child>
 
1100
                              </widget>
 
1101
                              <packing>
 
1102
                                <property name="position">2</property>
 
1103
                              </packing>
 
1104
                            </child>
 
1105
                          </widget>
 
1106
                        </child>
 
1107
                      </widget>
 
1108
                    </child>
 
1109
                    <child>
 
1110
                      <widget class="GtkLabel" id="label6">
 
1111
                        <property name="visible">True</property>
 
1112
                        <property name="label" translatable="yes" context="yes">&lt;b&gt;Wrap workspaces&lt;/b&gt;</property>
 
1113
                        <property name="use_markup">True</property>
 
1114
                      </widget>
 
1115
                      <packing>
 
1116
                        <property name="type">label_item</property>
 
1117
                      </packing>
 
1118
                    </child>
 
1119
                  </widget>
 
1120
                  <packing>
 
1121
                    <property name="expand">False</property>
 
1122
                    <property name="position">1</property>
 
1123
                  </packing>
 
1124
                </child>
 
1125
                <child>
 
1126
                  <widget class="GtkFrame" id="frame3">
 
1127
                    <property name="visible">True</property>
 
1128
                    <property name="label_xalign">0</property>
 
1129
                    <property name="shadow_type">GTK_SHADOW_NONE</property>
 
1130
                    <child>
 
1131
                      <widget class="GtkAlignment" id="alignment4">
 
1132
                        <property name="visible">True</property>
 
1133
                        <property name="border_width">6</property>
 
1134
                        <property name="bottom_padding">6</property>
 
1135
                        <property name="left_padding">12</property>
 
1136
                        <child>
 
1137
                          <widget class="GtkVBox" id="vbox3">
 
1138
                            <property name="visible">True</property>
 
1139
                            <property name="spacing">6</property>
 
1140
                            <child>
 
1141
                              <widget class="GtkCheckButton" id="box_resize_check">
 
1142
                                <property name="visible">True</property>
 
1143
                                <property name="can_focus">True</property>
 
1144
                                <property name="label" translatable="yes" context="yes">Hide content of windows when _resizing</property>
 
1145
                                <property name="use_underline">True</property>
 
1146
                                <property name="response_id">0</property>
 
1147
                                <property name="draw_indicator">True</property>
 
1148
                              </widget>
 
1149
                              <packing>
 
1150
                                <property name="expand">False</property>
 
1151
                                <property name="fill">False</property>
 
1152
                              </packing>
 
1153
                            </child>
 
1154
                            <child>
 
1155
                              <widget class="GtkCheckButton" id="box_move_check">
 
1156
                                <property name="visible">True</property>
 
1157
                                <property name="can_focus">True</property>
 
1158
                                <property name="label" translatable="yes" context="yes">Hide content of windows when _moving</property>
 
1159
                                <property name="use_underline">True</property>
 
1160
                                <property name="response_id">0</property>
 
1161
                                <property name="draw_indicator">True</property>
 
1162
                              </widget>
 
1163
                              <packing>
 
1164
                                <property name="expand">False</property>
 
1165
                                <property name="fill">False</property>
 
1166
                                <property name="position">1</property>
 
1167
                              </packing>
 
1168
                            </child>
 
1169
                          </widget>
 
1170
                        </child>
 
1171
                      </widget>
 
1172
                    </child>
 
1173
                    <child>
 
1174
                      <widget class="GtkLabel" id="label7">
 
1175
                        <property name="visible">True</property>
 
1176
                        <property name="label" translatable="yes" context="yes">&lt;b&gt;Box move and resize&lt;/b&gt;</property>
 
1177
                        <property name="use_markup">True</property>
 
1178
                      </widget>
 
1179
                      <packing>
 
1180
                        <property name="type">label_item</property>
 
1181
                      </packing>
 
1182
                    </child>
 
1183
                  </widget>
 
1184
                  <packing>
 
1185
                    <property name="expand">False</property>
 
1186
                    <property name="position">2</property>
 
1187
                  </packing>
 
1188
                </child>
 
1189
                <child>
 
1190
                  <widget class="GtkFrame" id="frame4">
 
1191
                    <property name="visible">True</property>
 
1192
                    <property name="label_xalign">0</property>
 
1193
                    <property name="shadow_type">GTK_SHADOW_NONE</property>
 
1194
                    <child>
 
1195
                      <widget class="GtkAlignment" id="alignment5">
 
1196
                        <property name="visible">True</property>
 
1197
                        <property name="border_width">6</property>
 
1198
                        <property name="left_padding">12</property>
 
1199
                        <child>
 
1200
                          <widget class="GtkComboBox" id="double_click_action_combo">
 
1201
                            <property name="visible">True</property>
 
1202
                            <property name="tooltip" translatable="yes" context="yes">The action to perform when the title-bar is double-clicked</property>
 
1203
                            <property name="items" translatable="yes" context="yes">  </property>
 
1204
                          </widget>
 
1205
                        </child>
 
1206
                      </widget>
 
1207
                    </child>
 
1208
                    <child>
 
1209
                      <widget class="GtkLabel" id="label8">
 
1210
                        <property name="visible">True</property>
 
1211
                        <property name="label" translatable="yes" context="yes">&lt;b&gt;Double click _action&lt;/b&gt;</property>
 
1212
                        <property name="use_markup">True</property>
 
1213
                        <property name="use_underline">True</property>
 
1214
                        <property name="mnemonic_widget">double_click_action_combo</property>
 
1215
                      </widget>
 
1216
                      <packing>
 
1217
                        <property name="type">label_item</property>
 
1218
                      </packing>
 
1219
                    </child>
 
1220
                  </widget>
 
1221
                  <packing>
 
1222
                    <property name="expand">False</property>
 
1223
                    <property name="position">3</property>
 
1224
                  </packing>
 
1225
                </child>
 
1226
              </widget>
 
1227
              <packing>
 
1228
                <property name="position">3</property>
 
1229
              </packing>
 
1230
            </child>
 
1231
            <child>
 
1232
              <widget class="GtkLabel" id="label4">
 
1233
                <property name="visible">True</property>
 
1234
                <property name="label" translatable="yes" context="yes">Ad_vanced</property>
 
1235
                <property name="use_underline">True</property>
 
1236
              </widget>
 
1237
              <packing>
 
1238
                <property name="type">tab</property>
 
1239
                <property name="position">3</property>
 
1240
                <property name="tab_fill">False</property>
 
1241
              </packing>
 
1242
            </child>
 
1243
          </widget>
 
1244
          <packing>
 
1245
            <property name="position">1</property>
 
1246
          </packing>
 
1247
        </child>
 
1248
        <child internal-child="action_area">
 
1249
          <widget class="GtkHButtonBox" id="dialog-action_area1">
 
1250
            <property name="visible">True</property>
 
1251
            <property name="layout_style">GTK_BUTTONBOX_EDGE</property>
 
1252
            <child>
 
1253
              <widget class="GtkButton" id="help_button">
 
1254
                <property name="visible">True</property>
 
1255
                <property name="can_focus">True</property>
 
1256
                <property name="receives_default">True</property>
 
1257
                <property name="label" context="yes">gtk-help</property>
 
1258
                <property name="use_stock">True</property>
 
1259
                <property name="response_id">0</property>
 
1260
              </widget>
 
1261
            </child>
 
1262
            <child>
 
1263
              <widget class="GtkButton" id="close_button">
 
1264
                <property name="visible">True</property>
 
1265
                <property name="can_focus">True</property>
 
1266
                <property name="receives_default">True</property>
 
1267
                <property name="label" context="yes">gtk-close</property>
 
1268
                <property name="use_stock">True</property>
 
1269
                <property name="response_id">0</property>
 
1270
              </widget>
 
1271
              <packing>
 
1272
                <property name="position">1</property>
 
1273
              </packing>
 
1274
            </child>
 
1275
          </widget>
 
1276
          <packing>
 
1277
            <property name="expand">False</property>
 
1278
            <property name="pack_type">GTK_PACK_END</property>
 
1279
          </packing>
 
1280
        </child>
 
1281
      </widget>
 
1282
    </child>
 
1283
  </widget>
 
1284
</glade-interface>