« back to all changes in this revision
Viewing changes to src/profile-preferences.glade
- browse files at revision 19
- compare with another revision
- download diff
- download tarball
- view history from revision 19
- Committer: Package Import Robot
- Author(s): Michael Biebl, Emilio Pozuelo Monfort, Michael Biebl
- Date: 2013-06-05 22:23:26 UTC
- mfrom: (1.6.15) (10.1.9 experimental)
- Revision ID: package-import@ubuntu.com-20130605222326-ymxsw4ia0vri1zwh
Tags: 3.8.2-1
[ Emilio Pozuelo Monfort ]
* Remove obsolete build dependency on scrollkeeper.
[ Michael Biebl ]
* Upload to unstable.
* New upstream release.
* Bump Standards-Version to 3.9.4. No further changes.
* Add Build-Depends on autotools-dev as lintian was complaining about
outdated config.{guess,sub}.
* Remove obsolete build dependency on scrollkeeper.
[ Michael Biebl ]
* Upload to unstable.
* New upstream release.
* Bump Standards-Version to 3.9.4. No further changes.
* Add Build-Depends on autotools-dev as lintian was complaining about
outdated config.{guess,sub}.
- files added:
- acinclude.m4
- m4
- files removed:
- .pc/02_dbus.patch
- .pc/02_dbus.patch/src
- help/bg
- help/bg/figures
- help/ca
- help/ca/figures
- help/cs
- help/cs/figures
- help/da
- help/de/figures
- help/el/figures
- help/en_GB
- help/es/figures
- help/fr
- help/fr/figures
- help/it
- help/it/figures
- help/ja
- help/ja/figures
- help/ko
- help/ko/figures
- help/oc
- help/pt_BR
- help/pt_BR/figures
- help/ro
- help/ro/figures
- help/ru
- help/sl
- help/sv
- help/sv/figures
- help/uk
- help/uk/figures
- help/zh_CN
- help/zh_TW
- help/zh_TW/figures
- files modified:
- .pc/01_onlyshowin.patch/gnome-terminal.desktop.in.in
added
removed
src/profile-preferences.glade
1
<?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
2
<!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
3
4
<glade-interface>
5
<requires lib="gnome"/>
6
7
<widget class="GtkDialog" id="profile-editor-dialog">
8
<property name="border_width">5</property>
9
<property name="visible">True</property>
10
<property name="title" translatable="yes">Profile Editor</property>
11
<property name="type">GTK_WINDOW_TOPLEVEL</property>
12
<property name="window_position">GTK_WIN_POS_NONE</property>
13
<property name="modal">False</property>
14
<property name="resizable">False</property>
15
<property name="destroy_with_parent">True</property>
16
<property name="role">gnome-terminal-profile-editor</property>
17
<property name="decorated">True</property>
18
<property name="skip_taskbar_hint">False</property>
19
<property name="skip_pager_hint">False</property>
20
<property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
21
<property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
22
<property name="focus_on_map">True</property>
23
<property name="urgency_hint">False</property>
24
<property name="has_separator">False</property>
25
26
<child internal-child="vbox">
27
<widget class="GtkVBox" id="dialog-vbox1">
28
<property name="visible">True</property>
29
<property name="homogeneous">False</property>
30
<property name="spacing">2</property>
31
32
<child internal-child="action_area">
33
<widget class="GtkHButtonBox" id="dialog-action_area1">
34
<property name="visible">True</property>
35
<property name="layout_style">GTK_BUTTONBOX_END</property>
36
37
<child>
38
<widget class="GtkButton" id="helpbutton2">
39
<property name="visible">True</property>
40
<property name="can_default">True</property>
41
<property name="can_focus">True</property>
42
<property name="label">gtk-help</property>
43
<property name="use_stock">True</property>
44
<property name="relief">GTK_RELIEF_NORMAL</property>
45
<property name="focus_on_click">True</property>
46
<property name="response_id">-11</property>
47
</widget>
48
</child>
49
50
<child>
51
<widget class="GtkButton" id="closebutton2">
52
<property name="visible">True</property>
53
<property name="can_default">True</property>
54
<property name="can_focus">True</property>
55
<property name="label">gtk-close</property>
56
<property name="use_stock">True</property>
57
<property name="relief">GTK_RELIEF_NORMAL</property>
58
<property name="focus_on_click">True</property>
59
<property name="response_id">-7</property>
60
</widget>
61
</child>
62
</widget>
63
<packing>
64
<property name="padding">0</property>
65
<property name="expand">False</property>
66
<property name="fill">True</property>
67
<property name="pack_type">GTK_PACK_END</property>
68
</packing>
69
</child>
70
71
<child>
72
<widget class="GtkNotebook" id="profile-editor-notebook">
73
<property name="border_width">5</property>
74
<property name="visible">True</property>
75
<property name="can_focus">True</property>
76
<property name="show_tabs">True</property>
77
<property name="show_border">True</property>
78
<property name="tab_pos">GTK_POS_TOP</property>
79
<property name="scrollable">False</property>
80
<property name="enable_popup">False</property>
81
82
<child>
83
<widget class="GtkVBox" id="vbox3">
84
<property name="border_width">12</property>
85
<property name="visible">True</property>
86
<property name="homogeneous">False</property>
87
<property name="spacing">6</property>
88
89
<child>
90
<widget class="GtkHBox" id="hbox135">
91
<property name="visible">True</property>
92
<property name="homogeneous">False</property>
93
<property name="spacing">12</property>
94
95
<child>
96
<widget class="GtkLabel" id="profile-name-label">
97
<property name="visible">True</property>
98
<property name="label" translatable="yes">_Profile name:</property>
99
<property name="use_underline">True</property>
100
<property name="use_markup">False</property>
101
<property name="justify">GTK_JUSTIFY_CENTER</property>
102
<property name="wrap">False</property>
103
<property name="selectable">False</property>
104
<property name="xalign">0</property>
105
<property name="yalign">0.5</property>
106
<property name="xpad">4</property>
107
<property name="ypad">0</property>
108
<property name="mnemonic_widget">profile-name-entry</property>
109
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
110
<property name="width_chars">-1</property>
111
<property name="single_line_mode">False</property>
112
<property name="angle">0</property>
113
</widget>
114
<packing>
115
<property name="padding">0</property>
116
<property name="expand">False</property>
117
<property name="fill">False</property>
118
</packing>
119
</child>
120
121
<child>
122
<widget class="GtkEntry" id="profile-name-entry">
123
<property name="visible">True</property>
124
<property name="can_focus">True</property>
125
<property name="editable">True</property>
126
<property name="visibility">True</property>
127
<property name="max_length">0</property>
128
<property name="text" translatable="yes"></property>
129
<property name="has_frame">True</property>
130
<property name="activates_default">False</property>
131
</widget>
132
<packing>
133
<property name="padding">0</property>
134
<property name="expand">True</property>
135
<property name="fill">True</property>
136
</packing>
137
</child>
138
</widget>
139
<packing>
140
<property name="padding">0</property>
141
<property name="expand">False</property>
142
<property name="fill">False</property>
143
</packing>
144
</child>
145
146
<child>
147
<widget class="GtkCheckButton" id="system-font-checkbutton">
148
<property name="visible">True</property>
149
<property name="can_focus">True</property>
150
<property name="label" translatable="yes">_Use the system fixed width font</property>
151
<property name="use_underline">True</property>
152
<property name="relief">GTK_RELIEF_NORMAL</property>
153
<property name="focus_on_click">True</property>
154
<property name="active">False</property>
155
<property name="inconsistent">False</property>
156
<property name="draw_indicator">True</property>
157
</widget>
158
<packing>
159
<property name="padding">0</property>
160
<property name="expand">False</property>
161
<property name="fill">False</property>
162
</packing>
163
</child>
164
165
<child>
166
<widget class="GtkAlignment" id="alignment10109">
167
<property name="visible">True</property>
168
<property name="xalign">0.5</property>
169
<property name="yalign">0.5</property>
170
<property name="xscale">1</property>
171
<property name="yscale">1</property>
172
<property name="top_padding">0</property>
173
<property name="bottom_padding">0</property>
174
<property name="left_padding">12</property>
175
<property name="right_padding">0</property>
176
177
<child>
178
<widget class="GtkHBox" id="font-hbox">
179
<property name="visible">True</property>
180
<property name="homogeneous">False</property>
181
<property name="spacing">12</property>
182
183
<child>
184
<widget class="GtkLabel" id="font-selector-label">
185
<property name="visible">True</property>
186
<property name="label" translatable="yes">_Font:</property>
187
<property name="use_underline">True</property>
188
<property name="use_markup">False</property>
189
<property name="justify">GTK_JUSTIFY_LEFT</property>
190
<property name="wrap">False</property>
191
<property name="selectable">False</property>
192
<property name="xalign">0</property>
193
<property name="yalign">0.5</property>
194
<property name="xpad">0</property>
195
<property name="ypad">0</property>
196
<property name="mnemonic_widget">font-selector</property>
197
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
198
<property name="width_chars">-1</property>
199
<property name="single_line_mode">False</property>
200
<property name="angle">0</property>
201
</widget>
202
<packing>
203
<property name="padding">0</property>
204
<property name="expand">False</property>
205
<property name="fill">False</property>
206
</packing>
207
</child>
208
209
<child>
210
<widget class="GtkFontButton" id="font-selector">
211
<property name="visible">True</property>
212
<property name="can_focus">True</property>
213
<property name="title" translatable="yes">Choose A Terminal Font</property>
214
<property name="show_style">True</property>
215
<property name="show_size">True</property>
216
<property name="use_font">True</property>
217
<property name="use_size">True</property>
218
<property name="focus_on_click">False</property>
219
</widget>
220
<packing>
221
<property name="padding">0</property>
222
<property name="expand">False</property>
223
<property name="fill">False</property>
224
</packing>
225
</child>
226
</widget>
227
</child>
228
</widget>
229
<packing>
230
<property name="padding">0</property>
231
<property name="expand">False</property>
232
<property name="fill">True</property>
233
</packing>
234
</child>
235
236
<child>
237
<widget class="GtkCheckButton" id="allow-bold-checkbutton">
238
<property name="visible">True</property>
239
<property name="can_focus">True</property>
240
<property name="label" translatable="yes">_Allow bold text</property>
241
<property name="use_underline">True</property>
242
<property name="relief">GTK_RELIEF_NORMAL</property>
243
<property name="focus_on_click">True</property>
244
<property name="active">False</property>
245
<property name="inconsistent">False</property>
246
<property name="draw_indicator">True</property>
247
</widget>
248
<packing>
249
<property name="padding">0</property>
250
<property name="expand">False</property>
251
<property name="fill">False</property>
252
</packing>
253
</child>
254
255
<child>
256
<widget class="GtkCheckButton" id="show-menubar-checkbutton">
257
<property name="visible">True</property>
258
<property name="can_focus">True</property>
259
<property name="label" translatable="yes">Show _menubar by default in new terminals</property>
260
<property name="use_underline">True</property>
261
<property name="relief">GTK_RELIEF_NORMAL</property>
262
<property name="focus_on_click">True</property>
263
<property name="active">False</property>
264
<property name="inconsistent">False</property>
265
<property name="draw_indicator">True</property>
266
</widget>
267
<packing>
268
<property name="padding">0</property>
269
<property name="expand">False</property>
270
<property name="fill">False</property>
271
</packing>
272
</child>
273
274
<child>
275
<widget class="GtkCheckButton" id="bell-checkbutton">
276
<property name="visible">True</property>
277
<property name="can_focus">True</property>
278
<property name="label" translatable="yes">Terminal _bell</property>
279
<property name="use_underline">True</property>
280
<property name="relief">GTK_RELIEF_NORMAL</property>
281
<property name="focus_on_click">True</property>
282
<property name="active">False</property>
283
<property name="inconsistent">False</property>
284
<property name="draw_indicator">True</property>
285
</widget>
286
<packing>
287
<property name="padding">0</property>
288
<property name="expand">False</property>
289
<property name="fill">False</property>
290
</packing>
291
</child>
292
293
<child>
294
<widget class="GtkHBox" id="hbox140">
295
<property name="visible">True</property>
296
<property name="homogeneous">False</property>
297
<property name="spacing">12</property>
298
299
<child>
300
<widget class="GtkLabel" id="label480">
301
<property name="visible">True</property>
302
<property name="label" translatable="yes">Cursor _shape:</property>
303
<property name="use_underline">True</property>
304
<property name="use_markup">False</property>
305
<property name="justify">GTK_JUSTIFY_LEFT</property>
306
<property name="wrap">False</property>
307
<property name="selectable">False</property>
308
<property name="xalign">0.5</property>
309
<property name="yalign">0.5</property>
310
<property name="xpad">0</property>
311
<property name="ypad">0</property>
312
<property name="mnemonic_widget">cursor-shape-combobox</property>
313
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
314
<property name="width_chars">-1</property>
315
<property name="single_line_mode">False</property>
316
<property name="angle">0</property>
317
</widget>
318
<packing>
319
<property name="padding">0</property>
320
<property name="expand">False</property>
321
<property name="fill">False</property>
322
</packing>
323
</child>
324
325
<child>
326
<widget class="GtkComboBox" id="cursor-shape-combobox">
327
<property name="visible">True</property>
328
<property name="items" translatable="yes">Block
329
I-Beam
330
Underline</property>
331
<property name="add_tearoffs">False</property>
332
<property name="focus_on_click">True</property>
333
</widget>
334
<packing>
335
<property name="padding">0</property>
336
<property name="expand">False</property>
337
<property name="fill">True</property>
338
</packing>
339
</child>
340
</widget>
341
<packing>
342
<property name="padding">0</property>
343
<property name="expand">False</property>
344
<property name="fill">True</property>
345
</packing>
346
</child>
347
348
<child>
349
<widget class="GtkHBox" id="hbox136">
350
<property name="visible">True</property>
351
<property name="homogeneous">False</property>
352
<property name="spacing">12</property>
353
354
<child>
355
<widget class="GtkLabel" id="word-chars-entry-label">
356
<property name="visible">True</property>
357
<property name="label" translatable="yes">Select-by-_word characters:</property>
358
<property name="use_underline">True</property>
359
<property name="use_markup">False</property>
360
<property name="justify">GTK_JUSTIFY_CENTER</property>
361
<property name="wrap">False</property>
362
<property name="selectable">False</property>
363
<property name="xalign">0</property>
364
<property name="yalign">0.5</property>
365
<property name="xpad">0</property>
366
<property name="ypad">0</property>
367
<property name="mnemonic_widget">word-chars-entry</property>
368
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
369
<property name="width_chars">-1</property>
370
<property name="single_line_mode">False</property>
371
<property name="angle">0</property>
372
</widget>
373
<packing>
374
<property name="padding">0</property>
375
<property name="expand">False</property>
376
<property name="fill">False</property>
377
</packing>
378
</child>
379
380
<child>
381
<widget class="GtkEntry" id="word-chars-entry">
382
<property name="visible">True</property>
383
<property name="can_focus">True</property>
384
<property name="editable">True</property>
385
<property name="visibility">True</property>
386
<property name="max_length">0</property>
387
<property name="text" translatable="yes"></property>
388
<property name="has_frame">True</property>
389
<property name="activates_default">False</property>
390
</widget>
391
<packing>
392
<property name="padding">0</property>
393
<property name="expand">True</property>
394
<property name="fill">True</property>
395
</packing>
396
</child>
397
</widget>
398
<packing>
399
<property name="padding">0</property>
400
<property name="expand">False</property>
401
<property name="fill">True</property>
402
</packing>
403
</child>
404
405
<child>
406
<widget class="GtkCheckButton" id="use-custom-default-size-checkbutton">
407
<property name="visible">True</property>
408
<property name="can_focus">True</property>
409
<property name="label" translatable="yes">Use custom default terminal si_ze</property>
410
<property name="use_underline">True</property>
411
<property name="relief">GTK_RELIEF_NORMAL</property>
412
<property name="focus_on_click">True</property>
413
<property name="active">False</property>
414
<property name="inconsistent">False</property>
415
<property name="draw_indicator">True</property>
416
</widget>
417
<packing>
418
<property name="padding">0</property>
419
<property name="expand">False</property>
420
<property name="fill">False</property>
421
</packing>
422
</child>
423
424
<child>
425
<widget class="GtkAlignment" id="alignment10110">
426
<property name="visible">True</property>
427
<property name="xalign">0.5</property>
428
<property name="yalign">0.5</property>
429
<property name="xscale">1</property>
430
<property name="yscale">1</property>
431
<property name="top_padding">0</property>
432
<property name="bottom_padding">0</property>
433
<property name="left_padding">12</property>
434
<property name="right_padding">0</property>
435
436
<child>
437
<widget class="GtkHBox" id="default-size-hbox">
438
<property name="visible">True</property>
439
<property name="homogeneous">False</property>
440
<property name="spacing">12</property>
441
442
<child>
443
<widget class="GtkLabel" id="default-size-label">
444
<property name="visible">True</property>
445
<property name="label" translatable="yes">Default size:</property>
446
<property name="use_underline">False</property>
447
<property name="use_markup">False</property>
448
<property name="justify">GTK_JUSTIFY_LEFT</property>
449
<property name="wrap">False</property>
450
<property name="selectable">False</property>
451
<property name="xalign">0.5</property>
452
<property name="yalign">0.5</property>
453
<property name="xpad">0</property>
454
<property name="ypad">0</property>
455
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
456
<property name="width_chars">-1</property>
457
<property name="single_line_mode">False</property>
458
<property name="angle">0</property>
459
</widget>
460
<packing>
461
<property name="padding">0</property>
462
<property name="expand">False</property>
463
<property name="fill">False</property>
464
</packing>
465
</child>
466
467
<child>
468
<widget class="GtkHBox" id="hbox143">
469
<property name="visible">True</property>
470
<property name="homogeneous">False</property>
471
<property name="spacing">6</property>
472
473
<child>
474
<widget class="GtkSpinButton" id="default-size-columns-spinbutton">
475
<property name="visible">True</property>
476
<property name="can_focus">True</property>
477
<property name="climb_rate">1</property>
478
<property name="digits">0</property>
479
<property name="numeric">False</property>
480
<property name="update_policy">GTK_UPDATE_ALWAYS</property>
481
<property name="snap_to_ticks">False</property>
482
<property name="wrap">False</property>
483
<property name="adjustment">80 1 1024 1 10 0</property>
484
</widget>
485
<packing>
486
<property name="padding">0</property>
487
<property name="expand">True</property>
488
<property name="fill">True</property>
489
</packing>
490
</child>
491
492
<child>
493
<widget class="GtkLabel" id="default-size-columns-label">
494
<property name="visible">True</property>
495
<property name="label" translatable="yes">columns</property>
496
<property name="use_underline">False</property>
497
<property name="use_markup">False</property>
498
<property name="justify">GTK_JUSTIFY_LEFT</property>
499
<property name="wrap">False</property>
500
<property name="selectable">False</property>
501
<property name="xalign">0.5</property>
502
<property name="yalign">0.5</property>
503
<property name="xpad">0</property>
504
<property name="ypad">0</property>
505
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
506
<property name="width_chars">-1</property>
507
<property name="single_line_mode">False</property>
508
<property name="angle">0</property>
509
</widget>
510
<packing>
511
<property name="padding">0</property>
512
<property name="expand">False</property>
513
<property name="fill">False</property>
514
</packing>
515
</child>
516
</widget>
517
<packing>
518
<property name="padding">0</property>
519
<property name="expand">False</property>
520
<property name="fill">True</property>
521
</packing>
522
</child>
523
524
<child>
525
<widget class="GtkHBox" id="hbox142">
526
<property name="visible">True</property>
527
<property name="homogeneous">False</property>
528
<property name="spacing">6</property>
529
530
<child>
531
<widget class="GtkSpinButton" id="default-size-rows-spinbutton">
532
<property name="visible">True</property>
533
<property name="can_focus">True</property>
534
<property name="climb_rate">1</property>
535
<property name="digits">0</property>
536
<property name="numeric">False</property>
537
<property name="update_policy">GTK_UPDATE_ALWAYS</property>
538
<property name="snap_to_ticks">False</property>
539
<property name="wrap">False</property>
540
<property name="adjustment">24 1 1024 1 10 0</property>
541
</widget>
542
<packing>
543
<property name="padding">0</property>
544
<property name="expand">True</property>
545
<property name="fill">True</property>
546
</packing>
547
</child>
548
549
<child>
550
<widget class="GtkLabel" id="default-size-rows-label">
551
<property name="visible">True</property>
552
<property name="label" translatable="yes">rows</property>
553
<property name="use_underline">False</property>
554
<property name="use_markup">False</property>
555
<property name="justify">GTK_JUSTIFY_LEFT</property>
556
<property name="wrap">False</property>
557
<property name="selectable">False</property>
558
<property name="xalign">0.5</property>
559
<property name="yalign">0.5</property>
560
<property name="xpad">0</property>
561
<property name="ypad">0</property>
562
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
563
<property name="width_chars">-1</property>
564
<property name="single_line_mode">False</property>
565
<property name="angle">0</property>
566
</widget>
567
<packing>
568
<property name="padding">0</property>
569
<property name="expand">False</property>
570
<property name="fill">False</property>
571
</packing>
572
</child>
573
</widget>
574
<packing>
575
<property name="padding">0</property>
576
<property name="expand">False</property>
577
<property name="fill">True</property>
578
</packing>
579
</child>
580
</widget>
581
</child>
582
</widget>
583
<packing>
584
<property name="padding">0</property>
585
<property name="expand">False</property>
586
<property name="fill">True</property>
587
</packing>
588
</child>
589
</widget>
590
<packing>
591
<property name="tab_expand">False</property>
592
<property name="tab_fill">True</property>
593
</packing>
594
</child>
595
596
<child>
597
<widget class="GtkLabel" id="label32">
598
<property name="visible">True</property>
599
<property name="label" translatable="yes">General</property>
600
<property name="use_underline">True</property>
601
<property name="use_markup">False</property>
602
<property name="justify">GTK_JUSTIFY_CENTER</property>
603
<property name="wrap">False</property>
604
<property name="selectable">False</property>
605
<property name="xalign">0.5</property>
606
<property name="yalign">0.5</property>
607
<property name="xpad">0</property>
608
<property name="ypad">0</property>
609
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
610
<property name="width_chars">-1</property>
611
<property name="single_line_mode">False</property>
612
<property name="angle">0</property>
613
</widget>
614
<packing>
615
<property name="type">tab</property>
616
</packing>
617
</child>
618
619
<child>
620
<widget class="GtkVBox" id="vbox91">
621
<property name="border_width">12</property>
622
<property name="visible">True</property>
623
<property name="homogeneous">False</property>
624
<property name="spacing">18</property>
625
626
<child>
627
<widget class="GtkVBox" id="vbox79">
628
<property name="visible">True</property>
629
<property name="homogeneous">False</property>
630
<property name="spacing">6</property>
631
632
<child>
633
<widget class="GtkLabel" id="label33">
634
<property name="visible">True</property>
635
<property name="label" translatable="yes"><b>Title</b></property>
636
<property name="use_underline">False</property>
637
<property name="use_markup">True</property>
638
<property name="justify">GTK_JUSTIFY_LEFT</property>
639
<property name="wrap">False</property>
640
<property name="selectable">False</property>
641
<property name="xalign">0</property>
642
<property name="yalign">0.5</property>
643
<property name="xpad">0</property>
644
<property name="ypad">0</property>
645
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
646
<property name="width_chars">-1</property>
647
<property name="single_line_mode">False</property>
648
<property name="angle">0</property>
649
</widget>
650
<packing>
651
<property name="padding">0</property>
652
<property name="expand">False</property>
653
<property name="fill">False</property>
654
</packing>
655
</child>
656
657
<child>
658
<widget class="GtkAlignment" id="alignment10108">
659
<property name="visible">True</property>
660
<property name="xalign">0.5</property>
661
<property name="yalign">0.5</property>
662
<property name="xscale">1</property>
663
<property name="yscale">1</property>
664
<property name="top_padding">0</property>
665
<property name="bottom_padding">0</property>
666
<property name="left_padding">12</property>
667
<property name="right_padding">0</property>
668
669
<child>
670
<widget class="GtkVBox" id="vbox93">
671
<property name="visible">True</property>
672
<property name="homogeneous">False</property>
673
<property name="spacing">6</property>
674
675
<child>
676
<widget class="GtkHBox" id="hbox137">
677
<property name="visible">True</property>
678
<property name="homogeneous">False</property>
679
<property name="spacing">12</property>
680
681
<child>
682
<widget class="GtkLabel" id="title-entry-label">
683
<property name="visible">True</property>
684
<property name="label" translatable="yes">Initial _title:</property>
685
<property name="use_underline">True</property>
686
<property name="use_markup">False</property>
687
<property name="justify">GTK_JUSTIFY_CENTER</property>
688
<property name="wrap">False</property>
689
<property name="selectable">False</property>
690
<property name="xalign">0</property>
691
<property name="yalign">0.5</property>
692
<property name="xpad">0</property>
693
<property name="ypad">0</property>
694
<property name="mnemonic_widget">title-entry</property>
695
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
696
<property name="width_chars">-1</property>
697
<property name="single_line_mode">False</property>
698
<property name="angle">0</property>
699
</widget>
700
<packing>
701
<property name="padding">0</property>
702
<property name="expand">False</property>
703
<property name="fill">False</property>
704
</packing>
705
</child>
706
707
<child>
708
<widget class="GtkEntry" id="title-entry">
709
<property name="visible">True</property>
710
<property name="can_focus">True</property>
711
<property name="editable">True</property>
712
<property name="visibility">True</property>
713
<property name="max_length">0</property>
714
<property name="text" translatable="yes"></property>
715
<property name="has_frame">True</property>
716
<property name="activates_default">False</property>
717
</widget>
718
<packing>
719
<property name="padding">0</property>
720
<property name="expand">True</property>
721
<property name="fill">True</property>
722
</packing>
723
</child>
724
</widget>
725
<packing>
726
<property name="padding">0</property>
727
<property name="expand">False</property>
728
<property name="fill">True</property>
729
</packing>
730
</child>
731
732
<child>
733
<widget class="GtkHBox" id="hbox138">
734
<property name="visible">True</property>
735
<property name="homogeneous">False</property>
736
<property name="spacing">12</property>
737
738
<child>
739
<widget class="GtkLabel" id="title-mode-combobox-label">
740
<property name="visible">True</property>
741
<property name="label" translatable="yes">When terminal commands set their o_wn titles:</property>
742
<property name="use_underline">True</property>
743
<property name="use_markup">False</property>
744
<property name="justify">GTK_JUSTIFY_CENTER</property>
745
<property name="wrap">False</property>
746
<property name="selectable">False</property>
747
<property name="xalign">0</property>
748
<property name="yalign">0.5</property>
749
<property name="xpad">0</property>
750
<property name="ypad">0</property>
751
<property name="mnemonic_widget">title-mode-combobox</property>
752
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
753
<property name="width_chars">-1</property>
754
<property name="single_line_mode">False</property>
755
<property name="angle">0</property>
756
</widget>
757
<packing>
758
<property name="padding">0</property>
759
<property name="expand">False</property>
760
<property name="fill">False</property>
761
</packing>
762
</child>
763
764
<child>
765
<widget class="GtkComboBox" id="title-mode-combobox">
766
<property name="visible">True</property>
767
<property name="items" translatable="yes">Replace initial title
768
Append initial title
769
Prepend initial title
770
Keep initial title</property>
771
<property name="add_tearoffs">False</property>
772
<property name="focus_on_click">True</property>
773
</widget>
774
<packing>
775
<property name="padding">0</property>
776
<property name="expand">True</property>
777
<property name="fill">True</property>
778
</packing>
779
</child>
780
</widget>
781
<packing>
782
<property name="padding">0</property>
783
<property name="expand">False</property>
784
<property name="fill">True</property>
785
</packing>
786
</child>
787
</widget>
788
</child>
789
</widget>
790
<packing>
791
<property name="padding">0</property>
792
<property name="expand">False</property>
793
<property name="fill">True</property>
794
</packing>
795
</child>
796
</widget>
797
<packing>
798
<property name="padding">0</property>
799
<property name="expand">False</property>
800
<property name="fill">True</property>
801
</packing>
802
</child>
803
804
<child>
805
<widget class="GtkVBox" id="vbox80">
806
<property name="visible">True</property>
807
<property name="homogeneous">False</property>
808
<property name="spacing">6</property>
809
810
<child>
811
<widget class="GtkLabel" id="label36">
812
<property name="visible">True</property>
813
<property name="label" translatable="yes"><b>Command</b></property>
814
<property name="use_underline">False</property>
815
<property name="use_markup">True</property>
816
<property name="justify">GTK_JUSTIFY_LEFT</property>
817
<property name="wrap">False</property>
818
<property name="selectable">False</property>
819
<property name="xalign">0</property>
820
<property name="yalign">0.5</property>
821
<property name="xpad">0</property>
822
<property name="ypad">0</property>
823
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
824
<property name="width_chars">-1</property>
825
<property name="single_line_mode">False</property>
826
<property name="angle">0</property>
827
</widget>
828
<packing>
829
<property name="padding">0</property>
830
<property name="expand">False</property>
831
<property name="fill">False</property>
832
</packing>
833
</child>
834
835
<child>
836
<widget class="GtkAlignment" id="alignment10107">
837
<property name="visible">True</property>
838
<property name="xalign">0.5</property>
839
<property name="yalign">0.5</property>
840
<property name="xscale">1</property>
841
<property name="yscale">1</property>
842
<property name="top_padding">0</property>
843
<property name="bottom_padding">0</property>
844
<property name="left_padding">12</property>
845
<property name="right_padding">0</property>
846
847
<child>
848
<widget class="GtkVBox" id="vbox81">
849
<property name="visible">True</property>
850
<property name="homogeneous">False</property>
851
<property name="spacing">0</property>
852
853
<child>
854
<widget class="GtkVBox" id="vbox92">
855
<property name="visible">True</property>
856
<property name="homogeneous">False</property>
857
<property name="spacing">6</property>
858
859
<child>
860
<widget class="GtkCheckButton" id="login-shell-checkbutton">
861
<property name="visible">True</property>
862
<property name="can_focus">True</property>
863
<property name="label" translatable="yes">_Run command as a login shell</property>
864
<property name="use_underline">True</property>
865
<property name="relief">GTK_RELIEF_NORMAL</property>
866
<property name="focus_on_click">True</property>
867
<property name="active">False</property>
868
<property name="inconsistent">False</property>
869
<property name="draw_indicator">True</property>
870
</widget>
871
<packing>
872
<property name="padding">0</property>
873
<property name="expand">False</property>
874
<property name="fill">False</property>
875
</packing>
876
</child>
877
878
<child>
879
<widget class="GtkCheckButton" id="update-records-checkbutton">
880
<property name="visible">True</property>
881
<property name="can_focus">True</property>
882
<property name="label" translatable="yes">_Update login records when command is launched</property>
883
<property name="use_underline">True</property>
884
<property name="relief">GTK_RELIEF_NORMAL</property>
885
<property name="focus_on_click">True</property>
886
<property name="active">False</property>
887
<property name="inconsistent">False</property>
888
<property name="draw_indicator">True</property>
889
</widget>
890
<packing>
891
<property name="padding">0</property>
892
<property name="expand">False</property>
893
<property name="fill">False</property>
894
</packing>
895
</child>
896
897
<child>
898
<widget class="GtkCheckButton" id="use-custom-command-checkbutton">
899
<property name="visible">True</property>
900
<property name="can_focus">True</property>
901
<property name="label" translatable="yes">Ru_n a custom command instead of my shell</property>
902
<property name="use_underline">True</property>
903
<property name="relief">GTK_RELIEF_NORMAL</property>
904
<property name="focus_on_click">True</property>
905
<property name="active">False</property>
906
<property name="inconsistent">False</property>
907
<property name="draw_indicator">True</property>
908
</widget>
909
<packing>
910
<property name="padding">0</property>
911
<property name="expand">False</property>
912
<property name="fill">False</property>
913
</packing>
914
</child>
915
916
<child>
917
<widget class="GtkAlignment" id="custom-command-box">
918
<property name="visible">True</property>
919
<property name="xalign">0.5</property>
920
<property name="yalign">0.5</property>
921
<property name="xscale">1</property>
922
<property name="yscale">1</property>
923
<property name="top_padding">0</property>
924
<property name="bottom_padding">0</property>
925
<property name="left_padding">12</property>
926
<property name="right_padding">0</property>
927
928
<child>
929
<widget class="GtkHBox" id="hbox134">
930
<property name="visible">True</property>
931
<property name="homogeneous">False</property>
932
<property name="spacing">12</property>
933
934
<child>
935
<widget class="GtkLabel" id="custom-command-entry-label">
936
<property name="visible">True</property>
937
<property name="label" translatable="yes">Custom co_mmand:</property>
938
<property name="use_underline">True</property>
939
<property name="use_markup">False</property>
940
<property name="justify">GTK_JUSTIFY_CENTER</property>
941
<property name="wrap">False</property>
942
<property name="selectable">False</property>
943
<property name="xalign">0</property>
944
<property name="yalign">0.5</property>
945
<property name="xpad">0</property>
946
<property name="ypad">0</property>
947
<property name="mnemonic_widget">custom-command-entry</property>
948
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
949
<property name="width_chars">-1</property>
950
<property name="single_line_mode">False</property>
951
<property name="angle">0</property>
952
</widget>
953
<packing>
954
<property name="padding">0</property>
955
<property name="expand">False</property>
956
<property name="fill">False</property>
957
</packing>
958
</child>
959
960
<child>
961
<widget class="GtkEntry" id="custom-command-entry">
962
<property name="visible">True</property>
963
<property name="can_focus">True</property>
964
<property name="editable">True</property>
965
<property name="visibility">True</property>
966
<property name="max_length">0</property>
967
<property name="text" translatable="yes"></property>
968
<property name="has_frame">True</property>
969
<property name="activates_default">False</property>
970
</widget>
971
<packing>
972
<property name="padding">0</property>
973
<property name="expand">True</property>
974
<property name="fill">True</property>
975
</packing>
976
</child>
977
</widget>
978
</child>
979
</widget>
980
<packing>
981
<property name="padding">0</property>
982
<property name="expand">False</property>
983
<property name="fill">True</property>
984
</packing>
985
</child>
986
987
<child>
988
<widget class="GtkHBox" id="hbox27">
989
<property name="visible">True</property>
990
<property name="homogeneous">False</property>
991
<property name="spacing">12</property>
992
993
<child>
994
<widget class="GtkLabel" id="exit-action-combobox-label">
995
<property name="visible">True</property>
996
<property name="label" translatable="yes">When command _exits:</property>
997
<property name="use_underline">True</property>
998
<property name="use_markup">False</property>
999
<property name="justify">GTK_JUSTIFY_CENTER</property>
1000
<property name="wrap">False</property>
1001
<property name="selectable">False</property>
1002
<property name="xalign">0</property>
1003
<property name="yalign">0.5</property>
1004
<property name="xpad">0</property>
1005
<property name="ypad">0</property>
1006
<property name="mnemonic_widget">exit-action-combobox</property>
1007
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1008
<property name="width_chars">-1</property>
1009
<property name="single_line_mode">False</property>
1010
<property name="angle">0</property>
1011
</widget>
1012
<packing>
1013
<property name="padding">0</property>
1014
<property name="expand">False</property>
1015
<property name="fill">False</property>
1016
</packing>
1017
</child>
1018
1019
<child>
1020
<widget class="GtkComboBox" id="exit-action-combobox">
1021
<property name="visible">True</property>
1022
<property name="items" translatable="yes">Exit the terminal
1023
Restart the command
1024
Hold the terminal open</property>
1025
<property name="add_tearoffs">False</property>
1026
<property name="focus_on_click">True</property>
1027
</widget>
1028
<packing>
1029
<property name="padding">0</property>
1030
<property name="expand">True</property>
1031
<property name="fill">True</property>
1032
</packing>
1033
</child>
1034
</widget>
1035
<packing>
1036
<property name="padding">0</property>
1037
<property name="expand">False</property>
1038
<property name="fill">True</property>
1039
</packing>
1040
</child>
1041
</widget>
1042
<packing>
1043
<property name="padding">0</property>
1044
<property name="expand">False</property>
1045
<property name="fill">True</property>
1046
</packing>
1047
</child>
1048
</widget>
1049
</child>
1050
</widget>
1051
<packing>
1052
<property name="padding">0</property>
1053
<property name="expand">False</property>
1054
<property name="fill">True</property>
1055
</packing>
1056
</child>
1057
</widget>
1058
<packing>
1059
<property name="padding">0</property>
1060
<property name="expand">False</property>
1061
<property name="fill">True</property>
1062
</packing>
1063
</child>
1064
</widget>
1065
<packing>
1066
<property name="tab_expand">False</property>
1067
<property name="tab_fill">True</property>
1068
</packing>
1069
</child>
1070
1071
<child>
1072
<widget class="GtkLabel" id="label38">
1073
<property name="visible">True</property>
1074
<property name="label" translatable="yes">Title and Command</property>
1075
<property name="use_underline">True</property>
1076
<property name="use_markup">False</property>
1077
<property name="justify">GTK_JUSTIFY_CENTER</property>
1078
<property name="wrap">False</property>
1079
<property name="selectable">False</property>
1080
<property name="xalign">0.5</property>
1081
<property name="yalign">0.5</property>
1082
<property name="xpad">0</property>
1083
<property name="ypad">0</property>
1084
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1085
<property name="width_chars">-1</property>
1086
<property name="single_line_mode">False</property>
1087
<property name="angle">0</property>
1088
</widget>
1089
<packing>
1090
<property name="type">tab</property>
1091
</packing>
1092
</child>
1093
1094
<child>
1095
<widget class="GtkVBox" id="vbox90">
1096
<property name="border_width">12</property>
1097
<property name="visible">True</property>
1098
<property name="homogeneous">False</property>
1099
<property name="spacing">18</property>
1100
1101
<child>
1102
<widget class="GtkVBox" id="vbox82">
1103
<property name="visible">True</property>
1104
<property name="homogeneous">False</property>
1105
<property name="spacing">6</property>
1106
1107
<child>
1108
<widget class="GtkLabel" id="label39">
1109
<property name="visible">True</property>
1110
<property name="label" translatable="yes"><b>Foreground, Background, Bold and Underline</b></property>
1111
<property name="use_underline">False</property>
1112
<property name="use_markup">True</property>
1113
<property name="justify">GTK_JUSTIFY_LEFT</property>
1114
<property name="wrap">False</property>
1115
<property name="selectable">False</property>
1116
<property name="xalign">0</property>
1117
<property name="yalign">0.5</property>
1118
<property name="xpad">0</property>
1119
<property name="ypad">0</property>
1120
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1121
<property name="width_chars">-1</property>
1122
<property name="single_line_mode">False</property>
1123
<property name="angle">0</property>
1124
</widget>
1125
<packing>
1126
<property name="padding">0</property>
1127
<property name="expand">False</property>
1128
<property name="fill">False</property>
1129
</packing>
1130
</child>
1131
1132
<child>
1133
<widget class="GtkAlignment" id="alignment10105">
1134
<property name="visible">True</property>
1135
<property name="xalign">0.5</property>
1136
<property name="yalign">0.5</property>
1137
<property name="xscale">1</property>
1138
<property name="yscale">1</property>
1139
<property name="top_padding">0</property>
1140
<property name="bottom_padding">0</property>
1141
<property name="left_padding">12</property>
1142
<property name="right_padding">0</property>
1143
1144
<child>
1145
<widget class="GtkVBox" id="vbox94">
1146
<property name="visible">True</property>
1147
<property name="homogeneous">False</property>
1148
<property name="spacing">6</property>
1149
1150
<child>
1151
<widget class="GtkCheckButton" id="use-theme-colors-checkbutton">
1152
<property name="visible">True</property>
1153
<property name="can_focus">True</property>
1154
<property name="label" translatable="yes">_Use colors from system theme</property>
1155
<property name="use_underline">True</property>
1156
<property name="relief">GTK_RELIEF_NORMAL</property>
1157
<property name="focus_on_click">True</property>
1158
<property name="active">False</property>
1159
<property name="inconsistent">False</property>
1160
<property name="draw_indicator">True</property>
1161
</widget>
1162
<packing>
1163
<property name="padding">0</property>
1164
<property name="expand">False</property>
1165
<property name="fill">False</property>
1166
</packing>
1167
</child>
1168
1169
<child>
1170
<widget class="GtkHBox" id="hbox145">
1171
<property name="visible">True</property>
1172
<property name="homogeneous">False</property>
1173
<property name="spacing">12</property>
1174
1175
<child>
1176
<widget class="GtkLabel" id="color-scheme-combobox-label">
1177
<property name="visible">True</property>
1178
<property name="label" translatable="yes">Built-in sche_mes:</property>
1179
<property name="use_underline">True</property>
1180
<property name="use_markup">False</property>
1181
<property name="justify">GTK_JUSTIFY_CENTER</property>
1182
<property name="wrap">False</property>
1183
<property name="selectable">False</property>
1184
<property name="xalign">0</property>
1185
<property name="yalign">0.5</property>
1186
<property name="xpad">0</property>
1187
<property name="ypad">0</property>
1188
<property name="mnemonic_widget">color-scheme-combobox</property>
1189
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1190
<property name="width_chars">-1</property>
1191
<property name="single_line_mode">False</property>
1192
<property name="angle">0</property>
1193
</widget>
1194
<packing>
1195
<property name="padding">0</property>
1196
<property name="expand">False</property>
1197
<property name="fill">False</property>
1198
</packing>
1199
</child>
1200
1201
<child>
1202
<widget class="GtkComboBox" id="color-scheme-combobox">
1203
<property name="visible">True</property>
1204
<property name="add_tearoffs">False</property>
1205
<property name="focus_on_click">True</property>
1206
</widget>
1207
<packing>
1208
<property name="padding">0</property>
1209
<property name="expand">False</property>
1210
<property name="fill">True</property>
1211
</packing>
1212
</child>
1213
</widget>
1214
<packing>
1215
<property name="padding">0</property>
1216
<property name="expand">False</property>
1217
<property name="fill">True</property>
1218
</packing>
1219
</child>
1220
1221
<child>
1222
<widget class="GtkHBox" id="hbox146">
1223
<property name="visible">True</property>
1224
<property name="homogeneous">False</property>
1225
<property name="spacing">18</property>
1226
1227
<child>
1228
<widget class="GtkTable" id="table31">
1229
<property name="visible">True</property>
1230
<property name="n_rows">2</property>
1231
<property name="n_columns">2</property>
1232
<property name="homogeneous">False</property>
1233
<property name="row_spacing">6</property>
1234
<property name="column_spacing">12</property>
1235
1236
<child>
1237
<widget class="GtkLabel" id="foreground-colorpicker-label">
1238
<property name="visible">True</property>
1239
<property name="label" translatable="yes">_Text color:</property>
1240
<property name="use_underline">True</property>
1241
<property name="use_markup">False</property>
1242
<property name="justify">GTK_JUSTIFY_CENTER</property>
1243
<property name="wrap">False</property>
1244
<property name="selectable">False</property>
1245
<property name="xalign">0</property>
1246
<property name="yalign">0.5</property>
1247
<property name="xpad">0</property>
1248
<property name="ypad">0</property>
1249
<property name="mnemonic_widget">foreground-colorpicker</property>
1250
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1251
<property name="width_chars">-1</property>
1252
<property name="single_line_mode">False</property>
1253
<property name="angle">0</property>
1254
</widget>
1255
<packing>
1256
<property name="left_attach">0</property>
1257
<property name="right_attach">1</property>
1258
<property name="top_attach">0</property>
1259
<property name="bottom_attach">1</property>
1260
<property name="x_options">fill</property>
1261
<property name="y_options"></property>
1262
</packing>
1263
</child>
1264
1265
<child>
1266
<widget class="GtkLabel" id="background-colorpicker-label">
1267
<property name="visible">True</property>
1268
<property name="label" translatable="yes">_Background color:</property>
1269
<property name="use_underline">True</property>
1270
<property name="use_markup">False</property>
1271
<property name="justify">GTK_JUSTIFY_CENTER</property>
1272
<property name="wrap">False</property>
1273
<property name="selectable">False</property>
1274
<property name="xalign">0</property>
1275
<property name="yalign">0.5</property>
1276
<property name="xpad">0</property>
1277
<property name="ypad">0</property>
1278
<property name="mnemonic_widget">background-colorpicker</property>
1279
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1280
<property name="width_chars">-1</property>
1281
<property name="single_line_mode">False</property>
1282
<property name="angle">0</property>
1283
</widget>
1284
<packing>
1285
<property name="left_attach">0</property>
1286
<property name="right_attach">1</property>
1287
<property name="top_attach">1</property>
1288
<property name="bottom_attach">2</property>
1289
<property name="x_options">fill</property>
1290
<property name="y_options"></property>
1291
</packing>
1292
</child>
1293
1294
<child>
1295
<widget class="GtkColorButton" id="background-colorpicker">
1296
<property name="visible">True</property>
1297
<property name="can_focus">True</property>
1298
<property name="use_alpha">False</property>
1299
<property name="title" translatable="yes">Choose Terminal Background Color</property>
1300
<property name="focus_on_click">True</property>
1301
</widget>
1302
<packing>
1303
<property name="left_attach">1</property>
1304
<property name="right_attach">2</property>
1305
<property name="top_attach">1</property>
1306
<property name="bottom_attach">2</property>
1307
<property name="x_options">fill</property>
1308
<property name="y_options"></property>
1309
</packing>
1310
</child>
1311
1312
<child>
1313
<widget class="GtkColorButton" id="foreground-colorpicker">
1314
<property name="visible">True</property>
1315
<property name="can_focus">True</property>
1316
<property name="use_alpha">False</property>
1317
<property name="title" translatable="yes">Choose Terminal Text Color</property>
1318
<property name="focus_on_click">True</property>
1319
</widget>
1320
<packing>
1321
<property name="left_attach">1</property>
1322
<property name="right_attach">2</property>
1323
<property name="top_attach">0</property>
1324
<property name="bottom_attach">1</property>
1325
<property name="x_options">fill</property>
1326
<property name="y_options"></property>
1327
</packing>
1328
</child>
1329
</widget>
1330
<packing>
1331
<property name="padding">0</property>
1332
<property name="expand">False</property>
1333
<property name="fill">True</property>
1334
</packing>
1335
</child>
1336
1337
<child>
1338
<widget class="GtkTable" id="underline-colorpicker-label">
1339
<property name="visible">True</property>
1340
<property name="n_rows">2</property>
1341
<property name="n_columns">3</property>
1342
<property name="homogeneous">False</property>
1343
<property name="row_spacing">6</property>
1344
<property name="column_spacing">12</property>
1345
1346
<child>
1347
<widget class="GtkColorButton" id="bold-colorpicker">
1348
<property name="visible">True</property>
1349
<property name="can_focus">True</property>
1350
<property name="use_alpha">False</property>
1351
<property name="focus_on_click">True</property>
1352
</widget>
1353
<packing>
1354
<property name="left_attach">1</property>
1355
<property name="right_attach">2</property>
1356
<property name="top_attach">0</property>
1357
<property name="bottom_attach">1</property>
1358
<property name="x_options">fill</property>
1359
<property name="y_options"></property>
1360
</packing>
1361
</child>
1362
1363
<child>
1364
<widget class="GtkLabel" id="label481">
1365
<property name="label" translatable="yes">_Underline color:</property>
1366
<property name="use_underline">True</property>
1367
<property name="use_markup">False</property>
1368
<property name="justify">GTK_JUSTIFY_LEFT</property>
1369
<property name="wrap">False</property>
1370
<property name="selectable">False</property>
1371
<property name="xalign">0</property>
1372
<property name="yalign">0.5</property>
1373
<property name="xpad">0</property>
1374
<property name="ypad">0</property>
1375
<property name="mnemonic_widget">underline-colorpicker</property>
1376
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1377
<property name="width_chars">-1</property>
1378
<property name="single_line_mode">False</property>
1379
<property name="angle">0</property>
1380
</widget>
1381
<packing>
1382
<property name="left_attach">0</property>
1383
<property name="right_attach">1</property>
1384
<property name="top_attach">1</property>
1385
<property name="bottom_attach">2</property>
1386
<property name="x_options">fill</property>
1387
<property name="y_options"></property>
1388
</packing>
1389
</child>
1390
1391
<child>
1392
<widget class="GtkColorButton" id="underline-colorpicker">
1393
<property name="can_focus">True</property>
1394
<property name="use_alpha">False</property>
1395
<property name="focus_on_click">True</property>
1396
</widget>
1397
<packing>
1398
<property name="left_attach">1</property>
1399
<property name="right_attach">2</property>
1400
<property name="top_attach">1</property>
1401
<property name="bottom_attach">2</property>
1402
<property name="x_options">fill</property>
1403
<property name="y_options"></property>
1404
</packing>
1405
</child>
1406
1407
<child>
1408
<widget class="GtkCheckButton" id="underline-color-same-as-fg-checkbox">
1409
<property name="can_focus">True</property>
1410
<property name="label" translatable="yes">_Same as text color</property>
1411
<property name="use_underline">True</property>
1412
<property name="relief">GTK_RELIEF_NORMAL</property>
1413
<property name="focus_on_click">True</property>
1414
<property name="active">True</property>
1415
<property name="inconsistent">False</property>
1416
<property name="draw_indicator">True</property>
1417
</widget>
1418
<packing>
1419
<property name="left_attach">2</property>
1420
<property name="right_attach">3</property>
1421
<property name="top_attach">1</property>
1422
<property name="bottom_attach">2</property>
1423
<property name="x_options">fill</property>
1424
<property name="y_options"></property>
1425
</packing>
1426
</child>
1427
1428
<child>
1429
<widget class="GtkLabel" id="bold-colorpicker-label">
1430
<property name="visible">True</property>
1431
<property name="label" translatable="yes">Bol_d color:</property>
1432
<property name="use_underline">True</property>
1433
<property name="use_markup">False</property>
1434
<property name="justify">GTK_JUSTIFY_LEFT</property>
1435
<property name="wrap">False</property>
1436
<property name="selectable">False</property>
1437
<property name="xalign">0</property>
1438
<property name="yalign">0.5</property>
1439
<property name="xpad">0</property>
1440
<property name="ypad">0</property>
1441
<property name="mnemonic_widget">bold-colorpicker</property>
1442
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1443
<property name="width_chars">-1</property>
1444
<property name="single_line_mode">False</property>
1445
<property name="angle">0</property>
1446
</widget>
1447
<packing>
1448
<property name="left_attach">0</property>
1449
<property name="right_attach">1</property>
1450
<property name="top_attach">0</property>
1451
<property name="bottom_attach">1</property>
1452
<property name="x_options">shrink|fill</property>
1453
<property name="y_options"></property>
1454
</packing>
1455
</child>
1456
1457
<child>
1458
<widget class="GtkCheckButton" id="bold-color-same-as-fg-checkbox">
1459
<property name="visible">True</property>
1460
<property name="can_focus">True</property>
1461
<property name="label" translatable="yes">_Same as text color</property>
1462
<property name="use_underline">True</property>
1463
<property name="relief">GTK_RELIEF_NORMAL</property>
1464
<property name="focus_on_click">True</property>
1465
<property name="active">True</property>
1466
<property name="inconsistent">False</property>
1467
<property name="draw_indicator">True</property>
1468
</widget>
1469
<packing>
1470
<property name="left_attach">2</property>
1471
<property name="right_attach">3</property>
1472
<property name="top_attach">0</property>
1473
<property name="bottom_attach">1</property>
1474
<property name="x_options">fill</property>
1475
<property name="y_options"></property>
1476
</packing>
1477
</child>
1478
</widget>
1479
<packing>
1480
<property name="padding">0</property>
1481
<property name="expand">False</property>
1482
<property name="fill">True</property>
1483
</packing>
1484
</child>
1485
</widget>
1486
<packing>
1487
<property name="padding">0</property>
1488
<property name="expand">False</property>
1489
<property name="fill">True</property>
1490
</packing>
1491
</child>
1492
</widget>
1493
</child>
1494
</widget>
1495
<packing>
1496
<property name="padding">0</property>
1497
<property name="expand">False</property>
1498
<property name="fill">True</property>
1499
</packing>
1500
</child>
1501
</widget>
1502
<packing>
1503
<property name="padding">0</property>
1504
<property name="expand">False</property>
1505
<property name="fill">True</property>
1506
</packing>
1507
</child>
1508
1509
<child>
1510
<widget class="GtkVBox" id="vbox83">
1511
<property name="visible">True</property>
1512
<property name="homogeneous">False</property>
1513
<property name="spacing">6</property>
1514
1515
<child>
1516
<widget class="GtkLabel" id="label42">
1517
<property name="visible">True</property>
1518
<property name="label" translatable="yes"><b>Palette</b></property>
1519
<property name="use_underline">False</property>
1520
<property name="use_markup">True</property>
1521
<property name="justify">GTK_JUSTIFY_LEFT</property>
1522
<property name="wrap">False</property>
1523
<property name="selectable">False</property>
1524
<property name="xalign">0</property>
1525
<property name="yalign">0.5</property>
1526
<property name="xpad">0</property>
1527
<property name="ypad">0</property>
1528
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1529
<property name="width_chars">-1</property>
1530
<property name="single_line_mode">False</property>
1531
<property name="angle">0</property>
1532
</widget>
1533
<packing>
1534
<property name="padding">0</property>
1535
<property name="expand">False</property>
1536
<property name="fill">False</property>
1537
</packing>
1538
</child>
1539
1540
<child>
1541
<widget class="GtkAlignment" id="alignment10106">
1542
<property name="visible">True</property>
1543
<property name="xalign">0.5</property>
1544
<property name="yalign">0.5</property>
1545
<property name="xscale">1</property>
1546
<property name="yscale">1</property>
1547
<property name="top_padding">0</property>
1548
<property name="bottom_padding">0</property>
1549
<property name="left_padding">12</property>
1550
<property name="right_padding">0</property>
1551
1552
<child>
1553
<widget class="GtkTable" id="table25">
1554
<property name="visible">True</property>
1555
<property name="n_rows">3</property>
1556
<property name="n_columns">2</property>
1557
<property name="homogeneous">False</property>
1558
<property name="row_spacing">6</property>
1559
<property name="column_spacing">12</property>
1560
1561
<child>
1562
<widget class="GtkLabel" id="palette-optionmenu-label">
1563
<property name="visible">True</property>
1564
<property name="label" translatable="yes">Built-in _schemes:</property>
1565
<property name="use_underline">True</property>
1566
<property name="use_markup">False</property>
1567
<property name="justify">GTK_JUSTIFY_CENTER</property>
1568
<property name="wrap">False</property>
1569
<property name="selectable">False</property>
1570
<property name="xalign">0</property>
1571
<property name="yalign">0.5</property>
1572
<property name="xpad">0</property>
1573
<property name="ypad">0</property>
1574
<property name="mnemonic_widget">palette-combobox</property>
1575
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1576
<property name="width_chars">-1</property>
1577
<property name="single_line_mode">False</property>
1578
<property name="angle">0</property>
1579
</widget>
1580
<packing>
1581
<property name="left_attach">0</property>
1582
<property name="right_attach">1</property>
1583
<property name="top_attach">1</property>
1584
<property name="bottom_attach">2</property>
1585
<property name="x_options">fill</property>
1586
<property name="y_options"></property>
1587
</packing>
1588
</child>
1589
1590
<child>
1591
<widget class="GtkTable" id="palette-table">
1592
<property name="visible">True</property>
1593
<property name="n_rows">2</property>
1594
<property name="n_columns">8</property>
1595
<property name="homogeneous">False</property>
1596
<property name="row_spacing">6</property>
1597
<property name="column_spacing">6</property>
1598
1599
<child>
1600
<widget class="GtkColorButton" id="palette-colorpicker-1">
1601
<property name="visible">True</property>
1602
<property name="tooltip">dummy</property>
1603
<property name="can_focus">True</property>
1604
<property name="use_alpha">False</property>
1605
<property name="focus_on_click">True</property>
1606
</widget>
1607
<packing>
1608
<property name="left_attach">0</property>
1609
<property name="right_attach">1</property>
1610
<property name="top_attach">0</property>
1611
<property name="bottom_attach">1</property>
1612
<property name="x_options"></property>
1613
<property name="y_options"></property>
1614
</packing>
1615
</child>
1616
1617
<child>
1618
<widget class="GtkColorButton" id="palette-colorpicker-2">
1619
<property name="visible">True</property>
1620
<property name="tooltip">dummy</property>
1621
<property name="can_focus">True</property>
1622
<property name="use_alpha">False</property>
1623
<property name="focus_on_click">True</property>
1624
</widget>
1625
<packing>
1626
<property name="left_attach">1</property>
1627
<property name="right_attach">2</property>
1628
<property name="top_attach">0</property>
1629
<property name="bottom_attach">1</property>
1630
<property name="x_options"></property>
1631
<property name="y_options"></property>
1632
</packing>
1633
</child>
1634
1635
<child>
1636
<widget class="GtkColorButton" id="palette-colorpicker-3">
1637
<property name="visible">True</property>
1638
<property name="tooltip">dummy</property>
1639
<property name="can_focus">True</property>
1640
<property name="use_alpha">False</property>
1641
<property name="focus_on_click">True</property>
1642
</widget>
1643
<packing>
1644
<property name="left_attach">2</property>
1645
<property name="right_attach">3</property>
1646
<property name="top_attach">0</property>
1647
<property name="bottom_attach">1</property>
1648
<property name="x_options"></property>
1649
<property name="y_options"></property>
1650
</packing>
1651
</child>
1652
1653
<child>
1654
<widget class="GtkColorButton" id="palette-colorpicker-4">
1655
<property name="visible">True</property>
1656
<property name="tooltip">dummy</property>
1657
<property name="can_focus">True</property>
1658
<property name="use_alpha">False</property>
1659
<property name="focus_on_click">True</property>
1660
</widget>
1661
<packing>
1662
<property name="left_attach">3</property>
1663
<property name="right_attach">4</property>
1664
<property name="top_attach">0</property>
1665
<property name="bottom_attach">1</property>
1666
<property name="x_options"></property>
1667
<property name="y_options"></property>
1668
</packing>
1669
</child>
1670
1671
<child>
1672
<widget class="GtkColorButton" id="palette-colorpicker-5">
1673
<property name="visible">True</property>
1674
<property name="tooltip">dummy</property>
1675
<property name="can_focus">True</property>
1676
<property name="use_alpha">False</property>
1677
<property name="focus_on_click">True</property>
1678
</widget>
1679
<packing>
1680
<property name="left_attach">4</property>
1681
<property name="right_attach">5</property>
1682
<property name="top_attach">0</property>
1683
<property name="bottom_attach">1</property>
1684
<property name="x_options"></property>
1685
<property name="y_options"></property>
1686
</packing>
1687
</child>
1688
1689
<child>
1690
<widget class="GtkColorButton" id="palette-colorpicker-6">
1691
<property name="visible">True</property>
1692
<property name="tooltip">dummy</property>
1693
<property name="can_focus">True</property>
1694
<property name="use_alpha">False</property>
1695
<property name="focus_on_click">True</property>
1696
</widget>
1697
<packing>
1698
<property name="left_attach">5</property>
1699
<property name="right_attach">6</property>
1700
<property name="top_attach">0</property>
1701
<property name="bottom_attach">1</property>
1702
<property name="x_options"></property>
1703
<property name="y_options"></property>
1704
</packing>
1705
</child>
1706
1707
<child>
1708
<widget class="GtkColorButton" id="palette-colorpicker-8">
1709
<property name="visible">True</property>
1710
<property name="tooltip">dummy</property>
1711
<property name="can_focus">True</property>
1712
<property name="use_alpha">False</property>
1713
<property name="focus_on_click">True</property>
1714
</widget>
1715
<packing>
1716
<property name="left_attach">7</property>
1717
<property name="right_attach">8</property>
1718
<property name="top_attach">0</property>
1719
<property name="bottom_attach">1</property>
1720
<property name="x_options"></property>
1721
<property name="y_options"></property>
1722
</packing>
1723
</child>
1724
1725
<child>
1726
<widget class="GtkColorButton" id="palette-colorpicker-9">
1727
<property name="visible">True</property>
1728
<property name="tooltip">dummy</property>
1729
<property name="can_focus">True</property>
1730
<property name="use_alpha">False</property>
1731
<property name="focus_on_click">True</property>
1732
</widget>
1733
<packing>
1734
<property name="left_attach">0</property>
1735
<property name="right_attach">1</property>
1736
<property name="top_attach">1</property>
1737
<property name="bottom_attach">2</property>
1738
<property name="x_options"></property>
1739
<property name="y_options"></property>
1740
</packing>
1741
</child>
1742
1743
<child>
1744
<widget class="GtkColorButton" id="palette-colorpicker-10">
1745
<property name="visible">True</property>
1746
<property name="tooltip">dummy</property>
1747
<property name="can_focus">True</property>
1748
<property name="use_alpha">False</property>
1749
<property name="focus_on_click">True</property>
1750
</widget>
1751
<packing>
1752
<property name="left_attach">1</property>
1753
<property name="right_attach">2</property>
1754
<property name="top_attach">1</property>
1755
<property name="bottom_attach">2</property>
1756
<property name="x_options"></property>
1757
<property name="y_options"></property>
1758
</packing>
1759
</child>
1760
1761
<child>
1762
<widget class="GtkColorButton" id="palette-colorpicker-12">
1763
<property name="visible">True</property>
1764
<property name="tooltip">dummy</property>
1765
<property name="can_focus">True</property>
1766
<property name="use_alpha">False</property>
1767
<property name="focus_on_click">True</property>
1768
</widget>
1769
<packing>
1770
<property name="left_attach">3</property>
1771
<property name="right_attach">4</property>
1772
<property name="top_attach">1</property>
1773
<property name="bottom_attach">2</property>
1774
<property name="x_options"></property>
1775
<property name="y_options"></property>
1776
</packing>
1777
</child>
1778
1779
<child>
1780
<widget class="GtkColorButton" id="palette-colorpicker-11">
1781
<property name="visible">True</property>
1782
<property name="tooltip">dummy</property>
1783
<property name="can_focus">True</property>
1784
<property name="use_alpha">False</property>
1785
<property name="focus_on_click">True</property>
1786
</widget>
1787
<packing>
1788
<property name="left_attach">2</property>
1789
<property name="right_attach">3</property>
1790
<property name="top_attach">1</property>
1791
<property name="bottom_attach">2</property>
1792
<property name="x_options"></property>
1793
<property name="y_options"></property>
1794
</packing>
1795
</child>
1796
1797
<child>
1798
<widget class="GtkColorButton" id="palette-colorpicker-13">
1799
<property name="visible">True</property>
1800
<property name="tooltip">dummy</property>
1801
<property name="can_focus">True</property>
1802
<property name="use_alpha">False</property>
1803
<property name="focus_on_click">True</property>
1804
</widget>
1805
<packing>
1806
<property name="left_attach">4</property>
1807
<property name="right_attach">5</property>
1808
<property name="top_attach">1</property>
1809
<property name="bottom_attach">2</property>
1810
<property name="x_options"></property>
1811
<property name="y_options"></property>
1812
</packing>
1813
</child>
1814
1815
<child>
1816
<widget class="GtkColorButton" id="palette-colorpicker-16">
1817
<property name="visible">True</property>
1818
<property name="tooltip">dummy</property>
1819
<property name="can_focus">True</property>
1820
<property name="use_alpha">False</property>
1821
<property name="focus_on_click">True</property>
1822
</widget>
1823
<packing>
1824
<property name="left_attach">7</property>
1825
<property name="right_attach">8</property>
1826
<property name="top_attach">1</property>
1827
<property name="bottom_attach">2</property>
1828
<property name="x_options"></property>
1829
<property name="y_options"></property>
1830
</packing>
1831
</child>
1832
1833
<child>
1834
<widget class="GtkColorButton" id="palette-colorpicker-14">
1835
<property name="visible">True</property>
1836
<property name="tooltip">dummy</property>
1837
<property name="can_focus">True</property>
1838
<property name="use_alpha">False</property>
1839
<property name="focus_on_click">True</property>
1840
</widget>
1841
<packing>
1842
<property name="left_attach">5</property>
1843
<property name="right_attach">6</property>
1844
<property name="top_attach">1</property>
1845
<property name="bottom_attach">2</property>
1846
<property name="x_options">fill</property>
1847
<property name="y_options"></property>
1848
</packing>
1849
</child>
1850
1851
<child>
1852
<widget class="GtkColorButton" id="palette-colorpicker-7">
1853
<property name="visible">True</property>
1854
<property name="tooltip">dummy</property>
1855
<property name="can_focus">True</property>
1856
<property name="use_alpha">False</property>
1857
<property name="focus_on_click">True</property>
1858
</widget>
1859
<packing>
1860
<property name="left_attach">6</property>
1861
<property name="right_attach">7</property>
1862
<property name="top_attach">0</property>
1863
<property name="bottom_attach">1</property>
1864
<property name="x_options"></property>
1865
<property name="y_options"></property>
1866
</packing>
1867
</child>
1868
1869
<child>
1870
<widget class="GtkColorButton" id="palette-colorpicker-15">
1871
<property name="visible">True</property>
1872
<property name="tooltip">dummy</property>
1873
<property name="can_focus">True</property>
1874
<property name="use_alpha">False</property>
1875
<property name="focus_on_click">True</property>
1876
</widget>
1877
<packing>
1878
<property name="left_attach">6</property>
1879
<property name="right_attach">7</property>
1880
<property name="top_attach">1</property>
1881
<property name="bottom_attach">2</property>
1882
<property name="x_options">fill</property>
1883
<property name="y_options"></property>
1884
</packing>
1885
</child>
1886
</widget>
1887
<packing>
1888
<property name="left_attach">1</property>
1889
<property name="right_attach">2</property>
1890
<property name="top_attach">2</property>
1891
<property name="bottom_attach">3</property>
1892
<property name="x_options">fill</property>
1893
<property name="y_options">fill</property>
1894
</packing>
1895
</child>
1896
1897
<child>
1898
<widget class="GtkLabel" id="label44">
1899
<property name="visible">True</property>
1900
<property name="label" translatable="yes"><small><i><b>Note:</b> Terminal applications have these colors available to them.</i></small></property>
1901
<property name="use_underline">False</property>
1902
<property name="use_markup">True</property>
1903
<property name="justify">GTK_JUSTIFY_CENTER</property>
1904
<property name="wrap">False</property>
1905
<property name="selectable">False</property>
1906
<property name="xalign">0</property>
1907
<property name="yalign">0.5</property>
1908
<property name="xpad">0</property>
1909
<property name="ypad">0</property>
1910
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1911
<property name="width_chars">-1</property>
1912
<property name="single_line_mode">False</property>
1913
<property name="angle">0</property>
1914
</widget>
1915
<packing>
1916
<property name="left_attach">0</property>
1917
<property name="right_attach">2</property>
1918
<property name="top_attach">0</property>
1919
<property name="bottom_attach">1</property>
1920
<property name="x_options">fill</property>
1921
<property name="y_options"></property>
1922
</packing>
1923
</child>
1924
1925
<child>
1926
<widget class="GtkLabel" id="label43">
1927
<property name="visible">True</property>
1928
<property name="label" translatable="yes">Color p_alette:</property>
1929
<property name="use_underline">True</property>
1930
<property name="use_markup">False</property>
1931
<property name="justify">GTK_JUSTIFY_CENTER</property>
1932
<property name="wrap">False</property>
1933
<property name="selectable">False</property>
1934
<property name="xalign">0</property>
1935
<property name="yalign">0</property>
1936
<property name="xpad">0</property>
1937
<property name="ypad">0</property>
1938
<property name="mnemonic_widget">palette-colorpicker-1</property>
1939
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1940
<property name="width_chars">-1</property>
1941
<property name="single_line_mode">False</property>
1942
<property name="angle">0</property>
1943
</widget>
1944
<packing>
1945
<property name="left_attach">0</property>
1946
<property name="right_attach">1</property>
1947
<property name="top_attach">2</property>
1948
<property name="bottom_attach">3</property>
1949
<property name="x_options">fill</property>
1950
<property name="y_options">fill</property>
1951
</packing>
1952
</child>
1953
1954
<child>
1955
<widget class="GtkComboBox" id="palette-combobox">
1956
<property name="visible">True</property>
1957
<property name="items" translatable="yes">Tango
1958
Linux console
1959
XTerm
1960
Rxvt
1961
Custom</property>
1962
<property name="add_tearoffs">False</property>
1963
<property name="focus_on_click">True</property>
1964
</widget>
1965
<packing>
1966
<property name="left_attach">1</property>
1967
<property name="right_attach">2</property>
1968
<property name="top_attach">1</property>
1969
<property name="bottom_attach">2</property>
1970
<property name="x_options">fill</property>
1971
<property name="y_options">fill</property>
1972
</packing>
1973
</child>
1974
</widget>
1975
</child>
1976
</widget>
1977
<packing>
1978
<property name="padding">0</property>
1979
<property name="expand">False</property>
1980
<property name="fill">True</property>
1981
</packing>
1982
</child>
1983
</widget>
1984
<packing>
1985
<property name="padding">0</property>
1986
<property name="expand">False</property>
1987
<property name="fill">True</property>
1988
</packing>
1989
</child>
1990
</widget>
1991
<packing>
1992
<property name="tab_expand">False</property>
1993
<property name="tab_fill">True</property>
1994
</packing>
1995
</child>
1996
1997
<child>
1998
<widget class="GtkLabel" id="label45">
1999
<property name="visible">True</property>
2000
<property name="label" translatable="yes">Colors</property>
2001
<property name="use_underline">True</property>
2002
<property name="use_markup">False</property>
2003
<property name="justify">GTK_JUSTIFY_CENTER</property>
2004
<property name="wrap">False</property>
2005
<property name="selectable">False</property>
2006
<property name="xalign">0.5</property>
2007
<property name="yalign">0.5</property>
2008
<property name="xpad">0</property>
2009
<property name="ypad">0</property>
2010
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2011
<property name="width_chars">-1</property>
2012
<property name="single_line_mode">False</property>
2013
<property name="angle">0</property>
2014
</widget>
2015
<packing>
2016
<property name="type">tab</property>
2017
</packing>
2018
</child>
2019
2020
<child>
2021
<widget class="GtkVBox" id="vbox86">
2022
<property name="border_width">12</property>
2023
<property name="visible">True</property>
2024
<property name="homogeneous">False</property>
2025
<property name="spacing">6</property>
2026
2027
<child>
2028
<widget class="GtkRadioButton" id="solid-radiobutton">
2029
<property name="visible">True</property>
2030
<property name="can_focus">True</property>
2031
<property name="label" translatable="yes">_Solid color</property>
2032
<property name="use_underline">True</property>
2033
<property name="relief">GTK_RELIEF_NORMAL</property>
2034
<property name="focus_on_click">True</property>
2035
<property name="active">True</property>
2036
<property name="inconsistent">False</property>
2037
<property name="draw_indicator">True</property>
2038
</widget>
2039
<packing>
2040
<property name="padding">0</property>
2041
<property name="expand">False</property>
2042
<property name="fill">False</property>
2043
</packing>
2044
</child>
2045
2046
<child>
2047
<widget class="GtkVBox" id="vbox87">
2048
<property name="visible">True</property>
2049
<property name="homogeneous">False</property>
2050
<property name="spacing">6</property>
2051
2052
<child>
2053
<widget class="GtkRadioButton" id="image-radiobutton">
2054
<property name="visible">True</property>
2055
<property name="can_focus">True</property>
2056
<property name="label" translatable="yes">_Background image</property>
2057
<property name="use_underline">True</property>
2058
<property name="relief">GTK_RELIEF_NORMAL</property>
2059
<property name="focus_on_click">True</property>
2060
<property name="active">False</property>
2061
<property name="inconsistent">False</property>
2062
<property name="draw_indicator">True</property>
2063
<property name="group">solid-radiobutton</property>
2064
</widget>
2065
<packing>
2066
<property name="padding">0</property>
2067
<property name="expand">False</property>
2068
<property name="fill">False</property>
2069
</packing>
2070
</child>
2071
2072
<child>
2073
<widget class="GtkAlignment" id="alignment10103">
2074
<property name="visible">True</property>
2075
<property name="xalign">0.5</property>
2076
<property name="yalign">0.5</property>
2077
<property name="xscale">1</property>
2078
<property name="yscale">1</property>
2079
<property name="top_padding">0</property>
2080
<property name="bottom_padding">0</property>
2081
<property name="left_padding">12</property>
2082
<property name="right_padding">0</property>
2083
2084
<child>
2085
<widget class="GtkVBox" id="vbox89">
2086
<property name="visible">True</property>
2087
<property name="homogeneous">False</property>
2088
<property name="spacing">6</property>
2089
2090
<child>
2091
<widget class="GtkHBox" id="hbox2">
2092
<property name="visible">True</property>
2093
<property name="homogeneous">False</property>
2094
<property name="spacing">12</property>
2095
2096
<child>
2097
<widget class="GtkLabel" id="background-image-filechooser-label">
2098
<property name="visible">True</property>
2099
<property name="label" translatable="yes">Image _file:</property>
2100
<property name="use_underline">True</property>
2101
<property name="use_markup">False</property>
2102
<property name="justify">GTK_JUSTIFY_CENTER</property>
2103
<property name="wrap">False</property>
2104
<property name="selectable">False</property>
2105
<property name="xalign">0</property>
2106
<property name="yalign">0.5</property>
2107
<property name="xpad">0</property>
2108
<property name="ypad">0</property>
2109
<property name="mnemonic_widget">background-image-filechooser</property>
2110
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2111
<property name="width_chars">-1</property>
2112
<property name="single_line_mode">False</property>
2113
<property name="angle">0</property>
2114
</widget>
2115
<packing>
2116
<property name="padding">0</property>
2117
<property name="expand">False</property>
2118
<property name="fill">False</property>
2119
</packing>
2120
</child>
2121
2122
<child>
2123
<widget class="GtkFileChooserButton" id="background-image-filechooser">
2124
<property name="visible">True</property>
2125
<property name="can_focus">True</property>
2126
<property name="title" translatable="yes">Select Background Image</property>
2127
<property name="action">GTK_FILE_CHOOSER_ACTION_OPEN</property>
2128
<property name="local_only">True</property>
2129
<property name="show_hidden">False</property>
2130
<property name="do_overwrite_confirmation">False</property>
2131
<property name="width_chars">-1</property>
2132
</widget>
2133
<packing>
2134
<property name="padding">0</property>
2135
<property name="expand">True</property>
2136
<property name="fill">True</property>
2137
</packing>
2138
</child>
2139
</widget>
2140
<packing>
2141
<property name="padding">0</property>
2142
<property name="expand">False</property>
2143
<property name="fill">True</property>
2144
</packing>
2145
</child>
2146
2147
<child>
2148
<widget class="GtkCheckButton" id="scroll-background-checkbutton">
2149
<property name="visible">True</property>
2150
<property name="can_focus">True</property>
2151
<property name="label" translatable="yes">Background image _scrolls</property>
2152
<property name="use_underline">True</property>
2153
<property name="relief">GTK_RELIEF_NORMAL</property>
2154
<property name="focus_on_click">True</property>
2155
<property name="active">False</property>
2156
<property name="inconsistent">False</property>
2157
<property name="draw_indicator">True</property>
2158
</widget>
2159
<packing>
2160
<property name="padding">0</property>
2161
<property name="expand">False</property>
2162
<property name="fill">False</property>
2163
</packing>
2164
</child>
2165
</widget>
2166
</child>
2167
</widget>
2168
<packing>
2169
<property name="padding">0</property>
2170
<property name="expand">False</property>
2171
<property name="fill">True</property>
2172
</packing>
2173
</child>
2174
</widget>
2175
<packing>
2176
<property name="padding">0</property>
2177
<property name="expand">False</property>
2178
<property name="fill">True</property>
2179
</packing>
2180
</child>
2181
2182
<child>
2183
<widget class="GtkRadioButton" id="transparent-radiobutton">
2184
<property name="visible">True</property>
2185
<property name="can_focus">True</property>
2186
<property name="label" translatable="yes">_Transparent background</property>
2187
<property name="use_underline">True</property>
2188
<property name="relief">GTK_RELIEF_NORMAL</property>
2189
<property name="focus_on_click">True</property>
2190
<property name="active">False</property>
2191
<property name="inconsistent">False</property>
2192
<property name="draw_indicator">True</property>
2193
<property name="group">solid-radiobutton</property>
2194
</widget>
2195
<packing>
2196
<property name="padding">0</property>
2197
<property name="expand">False</property>
2198
<property name="fill">False</property>
2199
</packing>
2200
</child>
2201
2202
<child>
2203
<widget class="GtkVBox" id="darken-background-vbox">
2204
<property name="visible">True</property>
2205
<property name="homogeneous">False</property>
2206
<property name="spacing">6</property>
2207
2208
<child>
2209
<widget class="GtkLabel" id="darken-background-scale-label">
2210
<property name="visible">True</property>
2211
<property name="label" translatable="yes">S_hade transparent or image background:</property>
2212
<property name="use_underline">True</property>
2213
<property name="use_markup">False</property>
2214
<property name="justify">GTK_JUSTIFY_LEFT</property>
2215
<property name="wrap">False</property>
2216
<property name="selectable">False</property>
2217
<property name="xalign">0</property>
2218
<property name="yalign">0.5</property>
2219
<property name="xpad">0</property>
2220
<property name="ypad">0</property>
2221
<property name="mnemonic_widget">darken-background-scale</property>
2222
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2223
<property name="width_chars">-1</property>
2224
<property name="single_line_mode">False</property>
2225
<property name="angle">0</property>
2226
</widget>
2227
<packing>
2228
<property name="padding">1</property>
2229
<property name="expand">False</property>
2230
<property name="fill">False</property>
2231
</packing>
2232
</child>
2233
2234
<child>
2235
<widget class="GtkHBox" id="hbox6">
2236
<property name="visible">True</property>
2237
<property name="homogeneous">False</property>
2238
<property name="spacing">0</property>
2239
2240
<child>
2241
<widget class="GtkLabel" id="label64">
2242
<property name="visible">True</property>
2243
<property name="label" translatable="yes"><small><i>None</i></small></property>
2244
<property name="use_underline">False</property>
2245
<property name="use_markup">True</property>
2246
<property name="justify">GTK_JUSTIFY_LEFT</property>
2247
<property name="wrap">False</property>
2248
<property name="selectable">False</property>
2249
<property name="xalign">0</property>
2250
<property name="yalign">0.5</property>
2251
<property name="xpad">6</property>
2252
<property name="ypad">0</property>
2253
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2254
<property name="width_chars">-1</property>
2255
<property name="single_line_mode">False</property>
2256
<property name="angle">0</property>
2257
</widget>
2258
<packing>
2259
<property name="padding">0</property>
2260
<property name="expand">False</property>
2261
<property name="fill">False</property>
2262
</packing>
2263
</child>
2264
2265
<child>
2266
<widget class="GtkHScale" id="darken-background-scale">
2267
<property name="visible">True</property>
2268
<property name="can_focus">True</property>
2269
<property name="draw_value">False</property>
2270
<property name="value_pos">GTK_POS_BOTTOM</property>
2271
<property name="digits">2</property>
2272
<property name="update_policy">GTK_UPDATE_DELAYED</property>
2273
<property name="inverted">False</property>
2274
<property name="adjustment">0.10000000149 0 1 0.00999999977648 0.10000000149 0</property>
2275
</widget>
2276
<packing>
2277
<property name="padding">0</property>
2278
<property name="expand">True</property>
2279
<property name="fill">True</property>
2280
</packing>
2281
</child>
2282
2283
<child>
2284
<widget class="GtkLabel" id="label63">
2285
<property name="visible">True</property>
2286
<property name="label" translatable="yes"><small><i>Maximum</i></small></property>
2287
<property name="use_underline">False</property>
2288
<property name="use_markup">True</property>
2289
<property name="justify">GTK_JUSTIFY_LEFT</property>
2290
<property name="wrap">False</property>
2291
<property name="selectable">False</property>
2292
<property name="xalign">1</property>
2293
<property name="yalign">0.5</property>
2294
<property name="xpad">6</property>
2295
<property name="ypad">0</property>
2296
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2297
<property name="width_chars">-1</property>
2298
<property name="single_line_mode">False</property>
2299
<property name="angle">0</property>
2300
</widget>
2301
<packing>
2302
<property name="padding">0</property>
2303
<property name="expand">False</property>
2304
<property name="fill">False</property>
2305
</packing>
2306
</child>
2307
</widget>
2308
<packing>
2309
<property name="padding">1</property>
2310
<property name="expand">False</property>
2311
<property name="fill">False</property>
2312
</packing>
2313
</child>
2314
</widget>
2315
<packing>
2316
<property name="padding">0</property>
2317
<property name="expand">False</property>
2318
<property name="fill">True</property>
2319
</packing>
2320
</child>
2321
</widget>
2322
<packing>
2323
<property name="tab_expand">False</property>
2324
<property name="tab_fill">True</property>
2325
</packing>
2326
</child>
2327
2328
<child>
2329
<widget class="GtkLabel" id="label479">
2330
<property name="visible">True</property>
2331
<property name="label" translatable="yes">Background</property>
2332
<property name="use_underline">False</property>
2333
<property name="use_markup">True</property>
2334
<property name="justify">GTK_JUSTIFY_LEFT</property>
2335
<property name="wrap">False</property>
2336
<property name="selectable">False</property>
2337
<property name="xalign">0</property>
2338
<property name="yalign">0.5</property>
2339
<property name="xpad">0</property>
2340
<property name="ypad">0</property>
2341
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2342
<property name="width_chars">-1</property>
2343
<property name="single_line_mode">False</property>
2344
<property name="angle">0</property>
2345
</widget>
2346
<packing>
2347
<property name="type">tab</property>
2348
</packing>
2349
</child>
2350
2351
<child>
2352
<widget class="GtkTable" id="table27">
2353
<property name="border_width">12</property>
2354
<property name="visible">True</property>
2355
<property name="n_rows">5</property>
2356
<property name="n_columns">2</property>
2357
<property name="homogeneous">False</property>
2358
<property name="row_spacing">6</property>
2359
<property name="column_spacing">12</property>
2360
2361
<child>
2362
<widget class="GtkLabel" id="scrollbar-position-combobox-label">
2363
<property name="visible">True</property>
2364
<property name="label" translatable="yes">_Scrollbar is:</property>
2365
<property name="use_underline">True</property>
2366
<property name="use_markup">False</property>
2367
<property name="justify">GTK_JUSTIFY_CENTER</property>
2368
<property name="wrap">False</property>
2369
<property name="selectable">False</property>
2370
<property name="xalign">0</property>
2371
<property name="yalign">0.5</property>
2372
<property name="xpad">0</property>
2373
<property name="ypad">0</property>
2374
<property name="mnemonic_widget">scrollbar-position-combobox</property>
2375
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2376
<property name="width_chars">-1</property>
2377
<property name="single_line_mode">False</property>
2378
<property name="angle">0</property>
2379
</widget>
2380
<packing>
2381
<property name="left_attach">0</property>
2382
<property name="right_attach">1</property>
2383
<property name="top_attach">0</property>
2384
<property name="bottom_attach">1</property>
2385
<property name="x_options">fill</property>
2386
<property name="y_options">fill</property>
2387
</packing>
2388
</child>
2389
2390
<child>
2391
<widget class="GtkLabel" id="scrollback-label">
2392
<property name="visible">True</property>
2393
<property name="label" translatable="yes">Scroll_back:</property>
2394
<property name="use_underline">True</property>
2395
<property name="use_markup">False</property>
2396
<property name="justify">GTK_JUSTIFY_CENTER</property>
2397
<property name="wrap">False</property>
2398
<property name="selectable">False</property>
2399
<property name="xalign">0</property>
2400
<property name="yalign">0.5</property>
2401
<property name="xpad">0</property>
2402
<property name="ypad">0</property>
2403
<property name="mnemonic_widget">scrollback-lines-spinbutton</property>
2404
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2405
<property name="width_chars">-1</property>
2406
<property name="single_line_mode">False</property>
2407
<property name="angle">0</property>
2408
</widget>
2409
<packing>
2410
<property name="left_attach">0</property>
2411
<property name="right_attach">1</property>
2412
<property name="top_attach">1</property>
2413
<property name="bottom_attach">2</property>
2414
<property name="x_options">fill</property>
2415
<property name="y_options">fill</property>
2416
</packing>
2417
</child>
2418
2419
<child>
2420
<widget class="GtkCheckButton" id="scroll-on-keystroke-checkbutton">
2421
<property name="visible">True</property>
2422
<property name="can_focus">True</property>
2423
<property name="label" translatable="yes">Scroll on _keystroke</property>
2424
<property name="use_underline">True</property>
2425
<property name="relief">GTK_RELIEF_NORMAL</property>
2426
<property name="focus_on_click">True</property>
2427
<property name="active">False</property>
2428
<property name="inconsistent">False</property>
2429
<property name="draw_indicator">True</property>
2430
</widget>
2431
<packing>
2432
<property name="left_attach">0</property>
2433
<property name="right_attach">2</property>
2434
<property name="top_attach">4</property>
2435
<property name="bottom_attach">5</property>
2436
<property name="y_options"></property>
2437
</packing>
2438
</child>
2439
2440
<child>
2441
<widget class="GtkCheckButton" id="scroll-on-output-checkbutton">
2442
<property name="visible">True</property>
2443
<property name="can_focus">True</property>
2444
<property name="label" translatable="yes">Scroll on _output</property>
2445
<property name="use_underline">True</property>
2446
<property name="relief">GTK_RELIEF_NORMAL</property>
2447
<property name="focus_on_click">True</property>
2448
<property name="active">False</property>
2449
<property name="inconsistent">False</property>
2450
<property name="draw_indicator">True</property>
2451
</widget>
2452
<packing>
2453
<property name="left_attach">0</property>
2454
<property name="right_attach">2</property>
2455
<property name="top_attach">3</property>
2456
<property name="bottom_attach">4</property>
2457
<property name="y_options"></property>
2458
</packing>
2459
</child>
2460
2461
<child>
2462
<widget class="GtkCheckButton" id="scrollback-unlimited-checkbutton">
2463
<property name="visible">True</property>
2464
<property name="can_focus">True</property>
2465
<property name="label" translatable="yes">_Unlimited</property>
2466
<property name="use_underline">True</property>
2467
<property name="relief">GTK_RELIEF_NORMAL</property>
2468
<property name="focus_on_click">True</property>
2469
<property name="active">False</property>
2470
<property name="inconsistent">False</property>
2471
<property name="draw_indicator">True</property>
2472
</widget>
2473
<packing>
2474
<property name="left_attach">1</property>
2475
<property name="right_attach">2</property>
2476
<property name="top_attach">2</property>
2477
<property name="bottom_attach">3</property>
2478
<property name="y_options"></property>
2479
</packing>
2480
</child>
2481
2482
<child>
2483
<widget class="GtkHBox" id="hbox139">
2484
<property name="visible">True</property>
2485
<property name="homogeneous">False</property>
2486
<property name="spacing">0</property>
2487
2488
<child>
2489
<widget class="GtkComboBox" id="scrollbar-position-combobox">
2490
<property name="visible">True</property>
2491
<property name="items" translatable="yes">On the left side
2492
On the right side
2493
Disabled</property>
2494
<property name="add_tearoffs">False</property>
2495
<property name="focus_on_click">True</property>
2496
</widget>
2497
<packing>
2498
<property name="padding">0</property>
2499
<property name="expand">False</property>
2500
<property name="fill">True</property>
2501
</packing>
2502
</child>
2503
</widget>
2504
<packing>
2505
<property name="left_attach">1</property>
2506
<property name="right_attach">2</property>
2507
<property name="top_attach">0</property>
2508
<property name="bottom_attach">1</property>
2509
<property name="y_options">fill</property>
2510
</packing>
2511
</child>
2512
2513
<child>
2514
<widget class="GtkHBox" id="scrollback-box">
2515
<property name="visible">True</property>
2516
<property name="homogeneous">False</property>
2517
<property name="spacing">6</property>
2518
2519
<child>
2520
<widget class="GtkSpinButton" id="scrollback-lines-spinbutton">
2521
<property name="visible">True</property>
2522
<property name="can_focus">True</property>
2523
<property name="climb_rate">1</property>
2524
<property name="digits">0</property>
2525
<property name="numeric">True</property>
2526
<property name="update_policy">GTK_UPDATE_ALWAYS</property>
2527
<property name="snap_to_ticks">False</property>
2528
<property name="wrap">False</property>
2529
<property name="adjustment">1 1 2147483647 1 100 0</property>
2530
</widget>
2531
<packing>
2532
<property name="padding">0</property>
2533
<property name="expand">False</property>
2534
<property name="fill">True</property>
2535
</packing>
2536
</child>
2537
2538
<child>
2539
<widget class="GtkLabel" id="scrollback-lines-spinbutton-label">
2540
<property name="visible">True</property>
2541
<property name="label" translatable="yes">lines</property>
2542
<property name="use_underline">False</property>
2543
<property name="use_markup">False</property>
2544
<property name="justify">GTK_JUSTIFY_CENTER</property>
2545
<property name="wrap">False</property>
2546
<property name="selectable">False</property>
2547
<property name="xalign">0</property>
2548
<property name="yalign">0.5</property>
2549
<property name="xpad">0</property>
2550
<property name="ypad">0</property>
2551
<property name="mnemonic_widget">scrollback-lines-spinbutton</property>
2552
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2553
<property name="width_chars">-1</property>
2554
<property name="single_line_mode">False</property>
2555
<property name="angle">0</property>
2556
</widget>
2557
<packing>
2558
<property name="padding">0</property>
2559
<property name="expand">False</property>
2560
<property name="fill">False</property>
2561
</packing>
2562
</child>
2563
</widget>
2564
<packing>
2565
<property name="left_attach">1</property>
2566
<property name="right_attach">2</property>
2567
<property name="top_attach">1</property>
2568
<property name="bottom_attach">2</property>
2569
<property name="y_options">fill</property>
2570
</packing>
2571
</child>
2572
</widget>
2573
<packing>
2574
<property name="tab_expand">False</property>
2575
<property name="tab_fill">True</property>
2576
</packing>
2577
</child>
2578
2579
<child>
2580
<widget class="GtkLabel" id="label60">
2581
<property name="visible">True</property>
2582
<property name="label" translatable="yes">Scrolling</property>
2583
<property name="use_underline">True</property>
2584
<property name="use_markup">False</property>
2585
<property name="justify">GTK_JUSTIFY_LEFT</property>
2586
<property name="wrap">False</property>
2587
<property name="selectable">False</property>
2588
<property name="xalign">0.5</property>
2589
<property name="yalign">0.5</property>
2590
<property name="xpad">0</property>
2591
<property name="ypad">0</property>
2592
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2593
<property name="width_chars">-1</property>
2594
<property name="single_line_mode">False</property>
2595
<property name="angle">0</property>
2596
</widget>
2597
<packing>
2598
<property name="type">tab</property>
2599
</packing>
2600
</child>
2601
2602
<child>
2603
<widget class="GtkVBox" id="vbox4">
2604
<property name="border_width">12</property>
2605
<property name="visible">True</property>
2606
<property name="homogeneous">False</property>
2607
<property name="spacing">12</property>
2608
2609
<child>
2610
<widget class="GtkLabel" id="label51">
2611
<property name="visible">True</property>
2612
<property name="label" translatable="yes"><small><i><b>Note:</b> These options may cause some applications to behave incorrectly. They are only here to allow you to work around certain applications and operating systems that expect different terminal behavior.</i></small></property>
2613
<property name="use_underline">False</property>
2614
<property name="use_markup">True</property>
2615
<property name="justify">GTK_JUSTIFY_LEFT</property>
2616
<property name="wrap">True</property>
2617
<property name="selectable">False</property>
2618
<property name="xalign">0</property>
2619
<property name="yalign">7.45058015283e-09</property>
2620
<property name="xpad">0</property>
2621
<property name="ypad">0</property>
2622
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2623
<property name="width_chars">-1</property>
2624
<property name="single_line_mode">False</property>
2625
<property name="angle">0</property>
2626
</widget>
2627
<packing>
2628
<property name="padding">0</property>
2629
<property name="expand">False</property>
2630
<property name="fill">True</property>
2631
</packing>
2632
</child>
2633
2634
<child>
2635
<widget class="GtkTable" id="table30">
2636
<property name="visible">True</property>
2637
<property name="n_rows">2</property>
2638
<property name="n_columns">3</property>
2639
<property name="homogeneous">False</property>
2640
<property name="row_spacing">6</property>
2641
<property name="column_spacing">12</property>
2642
2643
<child>
2644
<widget class="GtkLabel" id="delete-binding-combobox-label">
2645
<property name="visible">True</property>
2646
<property name="label" translatable="yes">_Delete key generates:</property>
2647
<property name="use_underline">True</property>
2648
<property name="use_markup">False</property>
2649
<property name="justify">GTK_JUSTIFY_CENTER</property>
2650
<property name="wrap">False</property>
2651
<property name="selectable">False</property>
2652
<property name="xalign">0</property>
2653
<property name="yalign">0.5</property>
2654
<property name="xpad">0</property>
2655
<property name="ypad">0</property>
2656
<property name="mnemonic_widget">delete-binding-combobox</property>
2657
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2658
<property name="width_chars">-1</property>
2659
<property name="single_line_mode">False</property>
2660
<property name="angle">0</property>
2661
</widget>
2662
<packing>
2663
<property name="left_attach">0</property>
2664
<property name="right_attach">1</property>
2665
<property name="top_attach">1</property>
2666
<property name="bottom_attach">2</property>
2667
<property name="x_options">fill</property>
2668
<property name="y_options"></property>
2669
</packing>
2670
</child>
2671
2672
<child>
2673
<widget class="GtkLabel" id="backspace-binding-combobox-label">
2674
<property name="visible">True</property>
2675
<property name="label" translatable="yes">_Backspace key generates:</property>
2676
<property name="use_underline">True</property>
2677
<property name="use_markup">False</property>
2678
<property name="justify">GTK_JUSTIFY_CENTER</property>
2679
<property name="wrap">False</property>
2680
<property name="selectable">False</property>
2681
<property name="xalign">0</property>
2682
<property name="yalign">0.5</property>
2683
<property name="xpad">0</property>
2684
<property name="ypad">0</property>
2685
<property name="mnemonic_widget">backspace-binding-combobox</property>
2686
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2687
<property name="width_chars">-1</property>
2688
<property name="single_line_mode">False</property>
2689
<property name="angle">0</property>
2690
</widget>
2691
<packing>
2692
<property name="left_attach">0</property>
2693
<property name="right_attach">1</property>
2694
<property name="top_attach">0</property>
2695
<property name="bottom_attach">1</property>
2696
<property name="x_options">fill</property>
2697
<property name="y_options"></property>
2698
</packing>
2699
</child>
2700
2701
<child>
2702
<widget class="GtkComboBox" id="backspace-binding-combobox">
2703
<property name="visible">True</property>
2704
<property name="items" translatable="yes">Automatic
2705
Control-H
2706
ASCII DEL
2707
Escape sequence
2708
TTY Erase</property>
2709
<property name="add_tearoffs">False</property>
2710
<property name="focus_on_click">True</property>
2711
</widget>
2712
<packing>
2713
<property name="left_attach">1</property>
2714
<property name="right_attach">3</property>
2715
<property name="top_attach">0</property>
2716
<property name="bottom_attach">1</property>
2717
<property name="x_options">fill</property>
2718
<property name="y_options">fill</property>
2719
</packing>
2720
</child>
2721
2722
<child>
2723
<widget class="GtkComboBox" id="delete-binding-combobox">
2724
<property name="visible">True</property>
2725
<property name="items" translatable="yes">Automatic
2726
Control-H
2727
ASCII DEL
2728
Escape sequence
2729
TTY Erase</property>
2730
<property name="add_tearoffs">False</property>
2731
<property name="focus_on_click">True</property>
2732
</widget>
2733
<packing>
2734
<property name="left_attach">1</property>
2735
<property name="right_attach">3</property>
2736
<property name="top_attach">1</property>
2737
<property name="bottom_attach">2</property>
2738
<property name="x_options">fill</property>
2739
<property name="y_options">fill</property>
2740
</packing>
2741
</child>
2742
</widget>
2743
<packing>
2744
<property name="padding">0</property>
2745
<property name="expand">False</property>
2746
<property name="fill">True</property>
2747
</packing>
2748
</child>
2749
2750
<child>
2751
<widget class="GtkHButtonBox" id="hbuttonbox1">
2752
<property name="visible">True</property>
2753
<property name="layout_style">GTK_BUTTONBOX_START</property>
2754
<property name="spacing">0</property>
2755
2756
<child>
2757
<widget class="GtkButton" id="reset-compat-defaults-button">
2758
<property name="visible">True</property>
2759
<property name="can_focus">True</property>
2760
<property name="label" translatable="yes">_Reset Compatibility Options to Defaults</property>
2761
<property name="use_underline">True</property>
2762
<property name="relief">GTK_RELIEF_NORMAL</property>
2763
<property name="focus_on_click">True</property>
2764
</widget>
2765
</child>
2766
</widget>
2767
<packing>
2768
<property name="padding">0</property>
2769
<property name="expand">False</property>
2770
<property name="fill">False</property>
2771
</packing>
2772
</child>
2773
</widget>
2774
<packing>
2775
<property name="tab_expand">False</property>
2776
<property name="tab_fill">True</property>
2777
</packing>
2778
</child>
2779
2780
<child>
2781
<widget class="GtkLabel" id="label54">
2782
<property name="visible">True</property>
2783
<property name="label" translatable="yes">Compatibility</property>
2784
<property name="use_underline">True</property>
2785
<property name="use_markup">False</property>
2786
<property name="justify">GTK_JUSTIFY_CENTER</property>
2787
<property name="wrap">False</property>
2788
<property name="selectable">False</property>
2789
<property name="xalign">0.5</property>
2790
<property name="yalign">0.5</property>
2791
<property name="xpad">0</property>
2792
<property name="ypad">0</property>
2793
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2794
<property name="width_chars">-1</property>
2795
<property name="single_line_mode">False</property>
2796
<property name="angle">0</property>
2797
</widget>
2798
<packing>
2799
<property name="type">tab</property>
2800
</packing>
2801
</child>
2802
</widget>
2803
<packing>
2804
<property name="padding">0</property>
2805
<property name="expand">True</property>
2806
<property name="fill">True</property>
2807
</packing>
2808
</child>
2809
</widget>
2810
</child>
2811
</widget>
2812
2813
</glade-interface>
Loggerhead is a web-based interface for Breezy
Version: 2.0.1