Context Navigation

Back to Ticket #124

Ticket #124: 0001-Add-capability-to-set-up-monitor.patch

File 0001-Add-capability-to-set-up-monitor.patch, 137.2 KB (added by regit, 3 years ago)

data/prefs.glade

From 09070ecdafccb2e7607936e9d83d420908faf110 Mon Sep 17 00:00:00 2001
From: Eric Leblond <eric@inl.fr>
Date: Sun, 22 Feb 2009 23:35:47 +0100
Subject: [PATCH 1/2] Add capability to set up monitor

This patch adds capability to set-up the monitor to use when using
guake. It adds an item in preferences to set-up monitor.

Signed-off-by: Eric Leblond <eric@inl.fr>
---
 data/prefs.glade | 2883 ++++++++++++++++++++++++++++++++++-------------------
 src/guake.py     |   11 +-
 src/prefs.py     |   10 +
 3 files changed, 1865 insertions(+), 1039 deletions(-)

diff --git a/data/prefs.glade b/data/prefs.glade
index c3a8745..c0dcf88 100644

a	b
1		<?xml version="1.0"?>
	1	<?xml version="1.0" standalone="no"?> <!--- mode: xml --->
	2	<!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
	3
2	4	<glade-interface>
3		<widget class="GtkWindow" id="config-window">
4		<property name="width_request">460</property>
5		<property name="title" translatable="yes">Guake Preferences</property>
6		<property name="resizable">False</property>
7		<property name="window_position">GTK_WIN_POS_CENTER_ALWAYS</property>
8		<property name="urgency_hint">True</property>
9		<child>
10		<widget class="GtkVBox" id="vbox4">
11		<property name="visible">True</property>
12		<child>
13		<widget class="GtkVBox" id="vbox5">
14		<property name="visible">True</property>
15		<child>
16		<widget class="GtkEventBox" id="eventbox-title">
17		<property name="visible">True</property>
18		<child>
19		<widget class="GtkHBox" id="hbox29">
20		<property name="visible">True</property>
21		<property name="border_width">12</property>
22		<child>
23		<widget class="GtkImage" id="image_logo">
24		<property name="width_request">60</property>
25		<property name="height_request">60</property>
26		<property name="visible">True</property>
27		<property name="stock">gtk-missing-image</property>
28		</widget>
29		<packing>
30		<property name="expand">False</property>
31		<property name="fill">False</property>
32		</packing>
33		</child>
34		<child>
35		<widget class="GtkVBox" id="vbox22">
36		<property name="visible">True</property>
37		<child>
38		<widget class="GtkLabel" id="titleLabel">
39		<property name="visible">True</property>
40		<property name="xalign">0</property>
41		<property name="yalign">1</property>
42		<property name="label" translatable="yes"><span size="18000" color="black"><b>Guake properties</b></span></property>
43		<property name="use_markup">True</property>
44		</widget>
45		</child>
46		<child>
47		<widget class="GtkLabel" id="label4825">
48		<property name="visible">True</property>
49		<property name="xalign">0</property>
50		<property name="yalign">0</property>
51		<property name="label" translatable="yes"><span color="black">Customize behavior and appearance of Guake!</span></property>
52		<property name="use_markup">True</property>
53		</widget>
54		<packing>
55		<property name="position">1</property>
56		</packing>
57		</child>
58		</widget>
59		<packing>
60		<property name="position">1</property>
61		</packing>
62		</child>
63		</widget>
64		</child>
65		</widget>
66		<packing>
67		<property name="expand">False</property>
68		</packing>
69		</child>
70		<child>
71		<widget class="GtkHSeparator" id="hseparator1">
72		<property name="visible">True</property>
73		</widget>
74		<packing>
75		<property name="expand">False</property>
76		<property name="position">1</property>
77		</packing>
78		</child>
79		</widget>
80		<packing>
81		<property name="expand">False</property>
82		<property name="fill">False</property>
83		</packing>
84		</child>
85		<child>
86		<widget class="GtkVBox" id="vbox1">
87		<property name="visible">True</property>
88		<property name="border_width">12</property>
89		<property name="spacing">10</property>
90		<child>
91		<widget class="GtkNotebook" id="tabs">
92		<property name="visible">True</property>
93		<child>
94		<widget class="GtkVBox" id="vbox3">
95		<property name="visible">True</property>
96		<property name="border_width">6</property>
97		<property name="spacing">10</property>
98		<child>
99		<widget class="GtkFrame" id="frame5">
100		<property name="visible">True</property>
101		<property name="label_xalign">0</property>
102		<property name="shadow_type">GTK_SHADOW_NONE</property>
103		<child>
104		<widget class="GtkAlignment" id="alignment5">
105		<property name="visible">True</property>
106		<property name="left_padding">12</property>
107		<child>
108		<widget class="GtkVBox" id="vbox8">
109		<property name="visible">True</property>
110		<property name="spacing">6</property>
111		<property name="homogeneous">True</property>
112		<child>
113		<widget class="GtkHBox" id="hbox1">
114		<property name="visible">True</property>
115		<child>
116		<widget class="GtkLabel" id="lblChooseShell1">
117		<property name="width_request">160</property>
118		<property name="visible">True</property>
119		<property name="xalign">0</property>
120		<property name="label" translatable="yes">Default interpreter:</property>
121		<property name="use_markup">True</property>
122		</widget>
123		<packing>
124		<property name="expand">False</property>
125		<property name="fill">False</property>
126		</packing>
127		</child>
128		<child>
129		<widget class="GtkComboBox" id="default_shell">
130		<property name="visible">True</property>
131		<property name="items" translatable="yes"></property>
132		<signal name="changed" handler="on_default_shell_changed"/>
133		</widget>
134		<packing>
135		<property name="position">1</property>
136		</packing>
137		</child>
138		</widget>
139		</child>
140		<child>
141		<widget class="GtkCheckButton" id="use_login_shell">
142		<property name="visible">True</property>
143		<property name="can_focus">True</property>
144		<property name="events">GDK_POINTER_MOTION_MASK \| GDK_POINTER_MOTION_HINT_MASK \| GDK_BUTTON_PRESS_MASK \| GDK_BUTTON_RELEASE_MASK</property>
145		<property name="label" translatable="yes">_Run command as a login shell</property>
146		<property name="use_underline">True</property>
147		<property name="response_id">0</property>
148		<property name="draw_indicator">True</property>
149		<signal name="toggled" handler="on_use_login_shell_toggled"/>
150		</widget>
151		<packing>
152		<property name="position">1</property>
153		</packing>
154		</child>
155		</widget>
156		</child>
157		</widget>
158		</child>
159		<child>
160		<widget class="GtkLabel" id="label13">
161		<property name="visible">True</property>
162		<property name="ypad">6</property>
163		<property name="label" translatable="yes"><b>Shell</b></property>
164		<property name="use_markup">True</property>
165		</widget>
166		<packing>
167		<property name="type">label_item</property>
168		</packing>
169		</child>
170		</widget>
171		</child>
172		<child>
173		<widget class="GtkFrame" id="frame7">
174		<property name="visible">True</property>
175		<property name="label_xalign">0</property>
176		<property name="shadow_type">GTK_SHADOW_NONE</property>
177		<child>
178		<widget class="GtkAlignment" id="alignment8">
179		<property name="visible">True</property>
180		<property name="left_padding">12</property>
181		<child>
182		<widget class="GtkVBox" id="vbox2">
183		<property name="visible">True</property>
184		<property name="spacing">6</property>
185		<property name="homogeneous">True</property>
186		<child>
187		<widget class="GtkCheckButton" id="use_trayicon">
188		<property name="visible">True</property>
189		<property name="can_focus">True</property>
190		<property name="events">GDK_POINTER_MOTION_MASK \| GDK_POINTER_MOTION_HINT_MASK \| GDK_BUTTON_PRESS_MASK \| GDK_BUTTON_RELEASE_MASK</property>
191		<property name="label" translatable="yes">Show tray icon</property>
192		<property name="response_id">0</property>
193		<property name="draw_indicator">True</property>
194		<signal name="toggled" handler="on_use_trayicon_toggled"/>
195		</widget>
196		</child>
197		<child>
198		<widget class="GtkCheckButton" id="use_popup">
199		<property name="visible">True</property>
200		<property name="can_focus">True</property>
201		<property name="events">GDK_POINTER_MOTION_MASK \| GDK_POINTER_MOTION_HINT_MASK \| GDK_BUTTON_PRESS_MASK \| GDK_BUTTON_RELEASE_MASK</property>
202		<property name="label" translatable="yes">Enable popup notifications on startup</property>
203		<property name="response_id">0</property>
204		<property name="draw_indicator">True</property>
205		<signal name="toggled" handler="on_use_popup_toggled"/>
206		</widget>
207		<packing>
208		<property name="position">1</property>
209		</packing>
210		</child>
211		</widget>
212		</child>
213		</widget>
214		</child>
215		<child>
216		<widget class="GtkLabel" id="label8">
217		<property name="visible">True</property>
218		<property name="ypad">6</property>
219		<property name="label" translatable="yes"><b>General</b></property>
220		<property name="use_markup">True</property>
221		</widget>
222		<packing>
223		<property name="type">label_item</property>
224		</packing>
225		</child>
226		</widget>
227		<packing>
228		<property name="position">1</property>
229		</packing>
230		</child>
231		<child>
232		<widget class="GtkFrame" id="frame4">
233		<property name="visible">True</property>
234		<property name="label_xalign">0</property>
235		<property name="shadow_type">GTK_SHADOW_NONE</property>
236		<child>
237		<widget class="GtkAlignment" id="alignment4">
238		<property name="visible">True</property>
239		<property name="left_padding">12</property>
240		<child>
241		<widget class="GtkVBox" id="vbox11">
242		<property name="visible">True</property>
243		<property name="spacing">6</property>
244		<property name="homogeneous">True</property>
245		<child>
246		<widget class="GtkCheckButton" id="window_ontop">
247		<property name="visible">True</property>
248		<property name="label" translatable="yes">Stay on top</property>
249		<property name="use_underline">True</property>
250		<property name="focus_on_click">False</property>
251		<property name="response_id">0</property>
252		<property name="active">True</property>
253		<property name="draw_indicator">True</property>
254		<signal name="toggled" handler="on_window_ontop_toggled"/>
255		</widget>
256		<packing>
257		<property name="expand">False</property>
258		</packing>
259		</child>
260		<child>
261		<widget class="GtkCheckButton" id="window_losefocus">
262		<property name="visible">True</property>
263		<property name="can_focus">True</property>
264		<property name="label" translatable="yes">Hide on lose focus</property>
265		<property name="use_underline">True</property>
266		<property name="response_id">0</property>
267		<property name="active">True</property>
268		<property name="draw_indicator">True</property>
269		<signal name="toggled" handler="on_window_losefocus_toggled"/>
270		</widget>
271		<packing>
272		<property name="expand">False</property>
273		<property name="fill">False</property>
274		<property name="position">1</property>
275		</packing>
276		</child>
277		<child>
278		<widget class="GtkCheckButton" id="window_tabbar">
279		<property name="visible">True</property>
280		<property name="can_focus">True</property>
281		<property name="events">GDK_POINTER_MOTION_MASK \| GDK_POINTER_MOTION_HINT_MASK \| GDK_BUTTON_PRESS_MASK \| GDK_BUTTON_RELEASE_MASK</property>
282		<property name="label" translatable="yes">Show tab bar</property>
283		<property name="response_id">0</property>
284		<property name="draw_indicator">True</property>
285		<signal name="toggled" handler="on_window_tabbar_toggled"/>
286		</widget>
287		<packing>
288		<property name="position">2</property>
289		</packing>
290		</child>
291		</widget>
292		</child>
293		</widget>
294		</child>
295		<child>
296		<widget class="GtkLabel" id="label20">
297		<property name="visible">True</property>
298		<property name="ypad">6</property>
299		<property name="label" translatable="yes"><b>Main Window</b></property>
300		<property name="use_markup">True</property>
301		</widget>
302		<packing>
303		<property name="type">label_item</property>
304		</packing>
305		</child>
306		</widget>
307		<packing>
308		<property name="position">2</property>
309		</packing>
310		</child>
311		<child>
312		<widget class="GtkFrame" id="frame11">
313		<property name="visible">True</property>
314		<property name="label_xalign">0</property>
315		<property name="shadow_type">GTK_SHADOW_NONE</property>
316		<child>
317		<widget class="GtkAlignment" id="alignment11">
318		<property name="visible">True</property>
319		<property name="left_padding">12</property>
320		<child>
321		<widget class="GtkHScale" id="window_size">
322		<property name="visible">True</property>
323		<property name="can_focus">True</property>
324		<property name="update_policy">GTK_UPDATE_DISCONTINUOUS</property>
325		<property name="adjustment">50 10 110 10 10 10</property>
326		<property name="digits">0</property>
327		<property name="draw_value">False</property>
328		<property name="value_pos">GTK_POS_RIGHT</property>
329		<signal name="value_changed" handler="on_window_size_value_changed"/>
330		</widget>
331		</child>
332		</widget>
333		</child>
334		<child>
335		<widget class="GtkLabel" id="label24">
336		<property name="visible">True</property>
337		<property name="ypad">6</property>
338		<property name="label" translatable="yes"><b>Main Window size</b></property>
339		<property name="use_markup">True</property>
340		</widget>
341		<packing>
342		<property name="type">label_item</property>
343		</packing>
344		</child>
345		</widget>
346		<packing>
347		<property name="position">3</property>
348		</packing>
349		</child>
350		</widget>
351		</child>
352		<child>
353		<widget class="GtkLabel" id="label6">
354		<property name="visible">True</property>
355		<property name="label" translatable="yes">General</property>
356		<property name="use_markup">True</property>
357		</widget>
358		<packing>
359		<property name="tab_fill">False</property>
360		<property name="type">tab</property>
361		</packing>
362		</child>
363		<child>
364		<widget class="GtkVBox" id="vbox12">
365		<property name="visible">True</property>
366		<child>
367		<widget class="GtkFrame" id="frame6">
368		<property name="visible">True</property>
369		<property name="label_xalign">0</property>
370		<property name="shadow_type">GTK_SHADOW_NONE</property>
371		<child>
372		<widget class="GtkAlignment" id="alignment6">
373		<property name="visible">True</property>
374		<property name="left_padding">12</property>
375		<child>
376		<widget class="GtkVBox" id="vbox13">
377		<property name="visible">True</property>
378		<property name="spacing">6</property>
379		<property name="homogeneous">True</property>
380		<child>
381		<widget class="GtkCheckButton" id="use_scrollbar">
382		<property name="visible">True</property>
383		<property name="can_focus">True</property>
384		<property name="events">GDK_POINTER_MOTION_MASK \| GDK_POINTER_MOTION_HINT_MASK \| GDK_BUTTON_PRESS_MASK \| GDK_BUTTON_RELEASE_MASK</property>
385		<property name="label" translatable="yes">Show scrollbar</property>
386		<property name="response_id">0</property>
387		<property name="draw_indicator">True</property>
388		<signal name="toggled" handler="on_use_scrollbar_toggled"/>
389		</widget>
390		</child>
391		<child>
392		<widget class="GtkHBox" id="hbox2">
393		<property name="visible">True</property>
394		<child>
395		<widget class="GtkLabel" id="lblChooseShell3">
396		<property name="width_request">120</property>
397		<property name="visible">True</property>
398		<property name="xalign">0</property>
399		<property name="label" translatable="yes">Scrollback lines:</property>
400		<property name="use_markup">True</property>
401		</widget>
402		<packing>
403		<property name="expand">False</property>
404		<property name="fill">False</property>
405		</packing>
406		</child>
407		<child>
408		<widget class="GtkSpinButton" id="history_size">
409		<property name="visible">True</property>
410		<property name="can_focus">True</property>
411		<property name="events">GDK_POINTER_MOTION_MASK \| GDK_POINTER_MOTION_HINT_MASK \| GDK_BUTTON_PRESS_MASK \| GDK_BUTTON_RELEASE_MASK</property>
412		<property name="adjustment">512 256 100000 1 1 0</property>
413		<property name="snap_to_ticks">True</property>
414		<property name="numeric">True</property>
415		<signal name="value_changed" handler="on_history_size_value_changed"/>
416		</widget>
417		<packing>
418		<property name="expand">False</property>
419		<property name="position">1</property>
420		</packing>
421		</child>
422		</widget>
423		<packing>
424		<property name="position">1</property>
425		</packing>
426		</child>
427		</widget>
428		</child>
429		</widget>
430		</child>
431		<child>
432		<widget class="GtkLabel" id="label11">
433		<property name="visible">True</property>
434		<property name="ypad">6</property>
435		<property name="label" translatable="yes"><b>General</b></property>
436		<property name="use_markup">True</property>
437		</widget>
438		<packing>
439		<property name="type">label_item</property>
440		</packing>
441		</child>
442		</widget>
443		<packing>
444		<property name="expand">False</property>
445		</packing>
446		</child>
447		<child>
448		<widget class="GtkFrame" id="frame8">
449		<property name="visible">True</property>
450		<property name="label_xalign">0</property>
451		<property name="shadow_type">GTK_SHADOW_NONE</property>
452		<child>
453		<widget class="GtkAlignment" id="alignment7">
454		<property name="visible">True</property>
455		<property name="left_padding">12</property>
456		<child>
457		<widget class="GtkVBox" id="vbox14">
458		<property name="visible">True</property>
459		<property name="spacing">6</property>
460		<property name="homogeneous">True</property>
461		<child>
462		<widget class="GtkCheckButton" id="scroll_output">
463		<property name="visible">True</property>
464		<property name="can_focus">True</property>
465		<property name="events">GDK_POINTER_MOTION_MASK \| GDK_POINTER_MOTION_HINT_MASK \| GDK_BUTTON_PRESS_MASK \| GDK_BUTTON_RELEASE_MASK</property>
466		<property name="label" translatable="yes">On output</property>
467		<property name="response_id">0</property>
468		<property name="draw_indicator">True</property>
469		<signal name="toggled" handler="on_scroll_output_toggled"/>
470		</widget>
471		</child>
472		<child>
473		<widget class="GtkCheckButton" id="scroll_keystroke">
474		<property name="visible">True</property>
475		<property name="can_focus">True</property>
476		<property name="events">GDK_POINTER_MOTION_MASK \| GDK_POINTER_MOTION_HINT_MASK \| GDK_BUTTON_PRESS_MASK \| GDK_BUTTON_RELEASE_MASK</property>
477		<property name="label" translatable="yes">On key stroke</property>
478		<property name="response_id">0</property>
479		<property name="draw_indicator">True</property>
480		<signal name="toggled" handler="on_scroll_keystroke_toggled"/>
481		</widget>
482		<packing>
483		<property name="position">1</property>
484		</packing>
485		</child>
486		</widget>
487		</child>
488		</widget>
489		</child>
490		<child>
491		<widget class="GtkLabel" id="label15">
492		<property name="visible">True</property>
493		<property name="ypad">6</property>
494		<property name="label" translatable="yes"><b>Scroll</b></property>
495		<property name="use_markup">True</property>
496		</widget>
497		<packing>
498		<property name="type">label_item</property>
499		</packing>
500		</child>
501		</widget>
502		<packing>
503		<property name="expand">False</property>
504		<property name="position">1</property>
505		</packing>
506		</child>
507		</widget>
508		<packing>
509		<property name="position">1</property>
510		</packing>
511		</child>
512		<child>
513		<widget class="GtkLabel" id="label1">
514		<property name="visible">True</property>
515		<property name="label" translatable="yes">Scrolling</property>
516		</widget>
517		<packing>
518		<property name="position">4</property>
519		<property name="tab_fill">False</property>
520		<property name="type">tab</property>
521		</packing>
522		</child>
523		<child>
524		<widget class="GtkVBox" id="vbox6">
525		<property name="visible">True</property>
526		<property name="border_width">10</property>
527		<property name="spacing">18</property>
528		<child>
529		<widget class="GtkFrame" id="frame1">
530		<property name="visible">True</property>
531		<property name="label_xalign">0</property>
532		<property name="shadow_type">GTK_SHADOW_NONE</property>
533		<child>
534		<widget class="GtkAlignment" id="alignment1">
535		<property name="visible">True</property>
536		<property name="left_padding">12</property>
537		<child>
538		<widget class="GtkVBox" id="vbox9">
539		<property name="visible">True</property>
540		<property name="spacing">6</property>
541		<child>
542		<widget class="GtkCheckButton" id="use_default_font">
543		<property name="visible">True</property>
544		<property name="can_focus">True</property>
545		<property name="label" translatable="yes">Use system defaults</property>
546		<property name="response_id">0</property>
547		<property name="draw_indicator">True</property>
548		<signal name="toggled" handler="on_use_default_font_toggled"/>
549		<signal name="toggled" handler="toggle_style_sensitivity"/>
550		</widget>
551		</child>
552		<child>
553		<widget class="GtkHBox" id="hbox5">
554		<property name="visible">True</property>
555		<child>
556		<widget class="GtkLabel" id="label">
557		<property name="width_request">140</property>
558		<property name="visible">True</property>
559		<property name="xalign">0</property>
560		<property name="label" translatable="yes">Style:</property>
561		<property name="use_markup">True</property>
562		</widget>
563		<packing>
564		<property name="expand">False</property>
565		<property name="fill">False</property>
566		</packing>
567		</child>
568		<child>
569		<widget class="GtkFontButton" id="font_style">
570		<property name="visible">True</property>
571		<property name="focus_on_click">False</property>
572		<property name="response_id">0</property>
573		<property name="title" translatable="yes">Choose some font</property>
574		<signal name="font_set" handler="on_font_style_font_set"/>
575		</widget>
576		<packing>
577		<property name="position">1</property>
578		</packing>
579		</child>
580		</widget>
581		<packing>
582		<property name="position">1</property>
583		</packing>
584		</child>
585		<child>
586		<widget class="GtkHBox" id="hbox6">
587		<property name="visible">True</property>
588		<child>
589		<widget class="GtkLabel" id="labelx">
590		<property name="width_request">140</property>
591		<property name="visible">True</property>
592		<property name="xalign">0</property>
593		<property name="label" translatable="yes">Color:</property>
594		<property name="use_markup">True</property>
595		</widget>
596		<packing>
597		<property name="expand">False</property>
598		<property name="fill">False</property>
599		</packing>
600		</child>
601		<child>
602		<widget class="GtkColorButton" id="font_color">
603		<property name="visible">True</property>
604		<property name="response_id">0</property>
605		<property name="title" translatable="yes">Choose some color</property>
606		<signal name="color_set" handler="on_font_color_color_set"/>
607		</widget>
608		<packing>
609		<property name="position">1</property>
610		</packing>
611		</child>
612		</widget>
613		<packing>
614		<property name="position">2</property>
615		</packing>
616		</child>
617		</widget>
618		</child>
619		</widget>
620		</child>
621		<child>
622		<widget class="GtkLabel" id="label9">
623		<property name="visible">True</property>
624		<property name="ypad">6</property>
625		<property name="label" translatable="yes"><b>Fonts</b></property>
626		<property name="use_markup">True</property>
627		</widget>
628		<packing>
629		<property name="type">label_item</property>
630		</packing>
631		</child>
632		</widget>
633		<packing>
634		<property name="expand">False</property>
635		</packing>
636		</child>
637		<child>
638		<widget class="GtkFrame" id="frame2">
639		<property name="visible">True</property>
640		<property name="label_xalign">0</property>
641		<property name="shadow_type">GTK_SHADOW_NONE</property>
642		<child>
643		<widget class="GtkAlignment" id="alignment2">
644		<property name="visible">True</property>
645		<property name="left_padding">12</property>
646		<child>
647		<widget class="GtkVBox" id="vbox10">
648		<property name="visible">True</property>
649		<property name="spacing">6</property>
650		<child>
651		<widget class="GtkHBox" id="hbox8">
652		<property name="visible">True</property>
653		<child>
654		<widget class="GtkLabel" id="label10">
655		<property name="width_request">140</property>
656		<property name="visible">True</property>
657		<property name="xalign">0</property>
658		<property name="label" translatable="yes">Color:</property>
659		<property name="use_markup">True</property>
660		</widget>
661		<packing>
662		<property name="expand">False</property>
663		<property name="fill">False</property>
664		</packing>
665		</child>
666		<child>
667		<widget class="GtkColorButton" id="background_color">
668		<property name="visible">True</property>
669		<property name="response_id">0</property>
670		<property name="title" translatable="yes">Choose some color</property>
671		<signal name="color_set" handler="on_background_color_color_set"/>
672		</widget>
673		<packing>
674		<property name="position">1</property>
675		</packing>
676		</child>
677		</widget>
678		<packing>
679		<property name="expand">False</property>
680		<property name="fill">False</property>
681		</packing>
682		</child>
683		<child>
684		<widget class="GtkHBox" id="hbox4">
685		<property name="visible">True</property>
686		<child>
687		<widget class="GtkLabel" id="label2">
688		<property name="width_request">140</property>
689		<property name="visible">True</property>
690		<property name="xalign">0</property>
691		<property name="label" translatable="yes">Image:</property>
692		<property name="use_markup">True</property>
693		</widget>
694		<packing>
695		<property name="expand">False</property>
696		<property name="fill">False</property>
697		</packing>
698		</child>
699		<child>
700		<widget class="GtkHBox" id="hbox9">
701		<property name="visible">True</property>
702		<property name="spacing">4</property>
703		<child>
704		<widget class="GtkFileChooserButton" id="background_image">
705		<property name="visible">True</property>
706		<signal name="selection_changed" handler="on_background_image_changed"/>
707		</widget>
708		</child>
709		<child>
710		<widget class="GtkButton" id="button2">
711		<property name="visible">True</property>
712		<property name="can_focus">True</property>
713		<property name="receives_default">True</property>
714		<property name="response_id">0</property>
715		<signal name="clicked" handler="clear_background_image"/>
716		<child>
717		<widget class="GtkImage" id="image1">
718		<property name="visible">True</property>
719		<property name="stock">gtk-clear</property>
720		<property name="icon_size">1</property>
721		</widget>
722		</child>
723		</widget>
724		<packing>
725		<property name="expand">False</property>
726		<property name="position">1</property>
727		</packing>
728		</child>
729		</widget>
730		<packing>
731		<property name="position">1</property>
732		</packing>
733		</child>
734		</widget>
735		<packing>
736		<property name="expand">False</property>
737		<property name="fill">False</property>
738		<property name="position">1</property>
739		</packing>
740		</child>
741		<child>
742		<widget class="GtkHBox" id="hbox7">
743		<property name="visible">True</property>
744		<child>
745		<widget class="GtkLabel" id="labelx1">
746		<property name="width_request">140</property>
747		<property name="visible">True</property>
748		<property name="xalign">0</property>
749		<property name="label" translatable="yes">Opacity:</property>
750		<property name="use_markup">True</property>
751		</widget>
752		<packing>
753		<property name="expand">False</property>
754		<property name="fill">False</property>
755		</packing>
756		</child>
757		<child>
758		<widget class="GtkHScale" id="background_opacity">
759		<property name="visible">True</property>
760		<property name="can_focus">True</property>
761		<property name="adjustment">0 0 100 1 10 10</property>
762		<property name="draw_value">False</property>
763		<property name="value_pos">GTK_POS_RIGHT</property>
764		<signal name="value_changed" handler="on_opacity_value_changed"/>
765		</widget>
766		<packing>
767		<property name="position">1</property>
768		</packing>
769		</child>
770		</widget>
771		<packing>
772		<property name="expand">False</property>
773		<property name="position">2</property>
774		</packing>
775		</child>
776		</widget>
777		</child>
778		</widget>
779		</child>
780		<child>
781		<widget class="GtkLabel" id="label12">
782		<property name="visible">True</property>
783		<property name="ypad">6</property>
784		<property name="label" translatable="yes"><b>Background</b></property>
785		<property name="use_markup">True</property>
786		</widget>
787		<packing>
788		<property name="type">label_item</property>
789		</packing>
790		</child>
791		</widget>
792		<packing>
793		<property name="expand">False</property>
794		<property name="position">1</property>
795		</packing>
796		</child>
797		</widget>
798		<packing>
799		<property name="position">2</property>
800		</packing>
801		</child>
802		<child>
803		<widget class="GtkLabel" id="label7">
804		<property name="visible">True</property>
805		<property name="label" translatable="yes">Appearance</property>
806		<property name="use_markup">True</property>
807		</widget>
808		<packing>
809		<property name="position">2</property>
810		<property name="tab_fill">False</property>
811		<property name="type">tab</property>
812		</packing>
813		</child>
814		<child>
815		<widget class="GtkHBox" id="hbox3">
816		<property name="visible">True</property>
817		<property name="border_width">8</property>
818		<child>
819		<widget class="GtkScrolledWindow" id="scrolledwindow1">
820		<property name="visible">True</property>
821		<property name="can_focus">True</property>
822		<property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
823		<property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
824		<property name="shadow_type">GTK_SHADOW_IN</property>
825		<child>
826		<widget class="GtkTreeView" id="treeview-keys">
827		<property name="visible">True</property>
828		<property name="can_focus">True</property>
829		<property name="events">GDK_POINTER_MOTION_MASK \| GDK_POINTER_MOTION_HINT_MASK \| GDK_BUTTON_PRESS_MASK \| GDK_BUTTON_RELEASE_MASK</property>
830		</widget>
831		</child>
832		</widget>
833		</child>
834		</widget>
835		<packing>
836		<property name="position">3</property>
837		</packing>
838		</child>
839		<child>
840		<widget class="GtkLabel" id="label30">
841		<property name="visible">True</property>
842		<property name="label" translatable="yes">Keyboard shortcuts</property>
843		</widget>
844		<packing>
845		<property name="position">3</property>
846		<property name="tab_fill">False</property>
847		<property name="type">tab</property>
848		</packing>
849		</child>
850		<child>
851		<widget class="GtkFrame" id="frame3">
852		<property name="visible">True</property>
853		<property name="border_width">10</property>
854		<property name="label_xalign">0</property>
855		<property name="shadow_type">GTK_SHADOW_NONE</property>
856		<child>
857		<widget class="GtkAlignment" id="alignment3">
858		<property name="visible">True</property>
859		<property name="left_padding">12</property>
860		<child>
861		<widget class="GtkVBox" id="vbox7">
862		<property name="visible">True</property>
863		<property name="spacing">6</property>
864		<child>
865		<widget class="GtkLabel" id="label51">
866		<property name="visible">True</property>
867		<property name="xalign">0</property>
868		<property name="yalign">7.4505801528346183e-09</property>
869		<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>
870		<property name="use_markup">True</property>
871		<property name="wrap">True</property>
872		</widget>
873		<packing>
874		<property name="expand">False</property>
875		</packing>
876		</child>
877		<child>
878		<widget class="GtkTable" id="table30">
879		<property name="visible">True</property>
880		<property name="n_rows">2</property>
881		<property name="n_columns">3</property>
882		<property name="column_spacing">12</property>
883		<property name="row_spacing">6</property>
884		<child>
885		<widget class="GtkComboBox" id="delete-binding-combobox">
886		<property name="visible">True</property>
887		<property name="items" translatable="yes">ASCII DEL
	5
	6	<widget class="GtkWindow" id="config-window">
	7	<property name="width_request">460</property>
	8	<property name="title" translatable="yes">Guake Preferences</property>
	9	<property name="type">GTK_WINDOW_TOPLEVEL</property>
	10	<property name="window_position">GTK_WIN_POS_CENTER_ALWAYS</property>
	11	<property name="modal">False</property>
	12	<property name="resizable">False</property>
	13	<property name="destroy_with_parent">False</property>
	14	<property name="decorated">True</property>
	15	<property name="skip_taskbar_hint">False</property>
	16	<property name="skip_pager_hint">False</property>
	17	<property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
	18	<property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
	19	<property name="focus_on_map">True</property>
	20	<property name="urgency_hint">True</property>
	21
	22	<child>
	23	<widget class="GtkVBox" id="vbox4">
	24	<property name="visible">True</property>
	25	<property name="homogeneous">False</property>
	26	<property name="spacing">0</property>
	27
	28	<child>
	29	<widget class="GtkVBox" id="vbox5">
	30	<property name="visible">True</property>
	31	<property name="homogeneous">False</property>
	32	<property name="spacing">0</property>
	33
	34	<child>
	35	<widget class="GtkEventBox" id="eventbox-title">
	36	<property name="visible">True</property>
	37	<property name="visible_window">True</property>
	38	<property name="above_child">False</property>
	39
	40	<child>
	41	<widget class="GtkHBox" id="hbox29">
	42	<property name="border_width">12</property>
	43	<property name="visible">True</property>
	44	<property name="homogeneous">False</property>
	45	<property name="spacing">0</property>
	46
	47	<child>
	48	<widget class="GtkImage" id="image_logo">
	49	<property name="width_request">60</property>
	50	<property name="height_request">60</property>
	51	<property name="visible">True</property>
	52	<property name="stock">gtk-missing-image</property>
	53	<property name="icon_size">4</property>
	54	<property name="xalign">0.5</property>
	55	<property name="yalign">0.5</property>
	56	<property name="xpad">0</property>
	57	<property name="ypad">0</property>
	58	</widget>
	59	<packing>
	60	<property name="padding">0</property>
	61	<property name="expand">False</property>
	62	<property name="fill">False</property>
	63	</packing>
	64	</child>
	65
	66	<child>
	67	<widget class="GtkVBox" id="vbox22">
	68	<property name="visible">True</property>
	69	<property name="homogeneous">False</property>
	70	<property name="spacing">0</property>
	71
	72	<child>
	73	<widget class="GtkLabel" id="titleLabel">
	74	<property name="visible">True</property>
	75	<property name="label" translatable="yes"><span size="18000" color="black"><b>Guake properties</b></span></property>
	76	<property name="use_underline">False</property>
	77	<property name="use_markup">True</property>
	78	<property name="justify">GTK_JUSTIFY_LEFT</property>
	79	<property name="wrap">False</property>
	80	<property name="selectable">False</property>
	81	<property name="xalign">0</property>
	82	<property name="yalign">1</property>
	83	<property name="xpad">0</property>
	84	<property name="ypad">0</property>
	85	<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
	86	<property name="width_chars">-1</property>
	87	<property name="single_line_mode">False</property>
	88	<property name="angle">0</property>
	89	</widget>
	90	<packing>
	91	<property name="padding">0</property>
	92	<property name="expand">True</property>
	93	<property name="fill">True</property>
	94	</packing>
	95	</child>
	96
	97	<child>
	98	<widget class="GtkLabel" id="label4825">
	99	<property name="visible">True</property>
	100	<property name="label" translatable="yes"><span color="black">Customize behavior and appearance of Guake!</span></property>
	101	<property name="use_underline">False</property>
	102	<property name="use_markup">True</property>
	103	<property name="justify">GTK_JUSTIFY_LEFT</property>
	104	<property name="wrap">False</property>
	105	<property name="selectable">False</property>
	106	<property name="xalign">0</property>
	107	<property name="yalign">0</property>
	108	<property name="xpad">0</property>
	109	<property name="ypad">0</property>
	110	<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
	111	<property name="width_chars">-1</property>
	112	<property name="single_line_mode">False</property>
	113	<property name="angle">0</property>
	114	</widget>
	115	<packing>
	116	<property name="padding">0</property>
	117	<property name="expand">True</property>
	118	<property name="fill">True</property>
	119	</packing>
	120	</child>
	121	</widget>
	122	<packing>
	123	<property name="padding">0</property>
	124	<property name="expand">True</property>
	125	<property name="fill">True</property>
	126	</packing>
	127	</child>
	128	</widget>
	129	</child>
	130	</widget>
	131	<packing>
	132	<property name="padding">0</property>
	133	<property name="expand">False</property>
	134	<property name="fill">True</property>
	135	</packing>
	136	</child>
	137
	138	<child>
	139	<widget class="GtkHSeparator" id="hseparator1">
	140	<property name="visible">True</property>
	141	</widget>
	142	<packing>
	143	<property name="padding">0</property>
	144	<property name="expand">False</property>
	145	<property name="fill">True</property>
	146	</packing>
	147	</child>
	148	</widget>
	149	<packing>
	150	<property name="padding">0</property>
	151	<property name="expand">False</property>
	152	<property name="fill">False</property>
	153	</packing>
	154	</child>
	155
	156	<child>
	157	<widget class="GtkVBox" id="vbox1">
	158	<property name="border_width">12</property>
	159	<property name="visible">True</property>
	160	<property name="homogeneous">False</property>
	161	<property name="spacing">10</property>
	162
	163	<child>
	164	<widget class="GtkNotebook" id="tabs">
	165	<property name="visible">True</property>
	166	<property name="show_tabs">True</property>
	167	<property name="show_border">True</property>
	168	<property name="tab_pos">GTK_POS_TOP</property>
	169	<property name="scrollable">False</property>
	170	<property name="enable_popup">False</property>
	171
	172	<child>
	173	<widget class="GtkVBox" id="vbox3">
	174	<property name="border_width">6</property>
	175	<property name="visible">True</property>
	176	<property name="homogeneous">False</property>
	177	<property name="spacing">10</property>
	178
	179	<child>
	180	<widget class="GtkFrame" id="frame5">
	181	<property name="visible">True</property>
	182	<property name="label_xalign">0</property>
	183	<property name="label_yalign">0.5</property>
	184	<property name="shadow_type">GTK_SHADOW_NONE</property>
	185
	186	<child>
	187	<widget class="GtkAlignment" id="alignment5">
	188	<property name="visible">True</property>
	189	<property name="xalign">0.5</property>
	190	<property name="yalign">0.5</property>
	191	<property name="xscale">1</property>
	192	<property name="yscale">1</property>
	193	<property name="top_padding">0</property>
	194	<property name="bottom_padding">0</property>
	195	<property name="left_padding">12</property>
	196	<property name="right_padding">0</property>
	197
	198	<child>
	199	<widget class="GtkVBox" id="vbox8">
	200	<property name="visible">True</property>
	201	<property name="homogeneous">True</property>
	202	<property name="spacing">6</property>
	203
	204	<child>
	205	<widget class="GtkHBox" id="hbox1">
	206	<property name="visible">True</property>
	207	<property name="homogeneous">False</property>
	208	<property name="spacing">0</property>
	209
	210	<child>
	211	<widget class="GtkLabel" id="lblChooseShell1">
	212	<property name="width_request">160</property>
	213	<property name="visible">True</property>
	214	<property name="label" translatable="yes">Default interpreter:</property>
	215	<property name="use_underline">False</property>
	216	<property name="use_markup">True</property>
	217	<property name="justify">GTK_JUSTIFY_LEFT</property>
	218	<property name="wrap">False</property>
	219	<property name="selectable">False</property>
	220	<property name="xalign">0</property>
	221	<property name="yalign">0.5</property>
	222	<property name="xpad">0</property>
	223	<property name="ypad">0</property>
	224	<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
	225	<property name="width_chars">-1</property>
	226	<property name="single_line_mode">False</property>
	227	<property name="angle">0</property>
	228	</widget>
	229	<packing>
	230	<property name="padding">0</property>
	231	<property name="expand">False</property>
	232	<property name="fill">False</property>
	233	</packing>
	234	</child>
	235
	236	<child>
	237	<widget class="GtkComboBox" id="default_shell">
	238	<property name="visible">True</property>
	239	<property name="items" translatable="yes"></property>
	240	<property name="add_tearoffs">False</property>
	241	<property name="focus_on_click">True</property>
	242	<signal name="changed" handler="on_default_shell_changed"/>
	243	</widget>
	244	<packing>
	245	<property name="padding">0</property>
	246	<property name="expand">True</property>
	247	<property name="fill">True</property>
	248	</packing>
	249	</child>
	250	</widget>
	251	<packing>
	252	<property name="padding">0</property>
	253	<property name="expand">True</property>
	254	<property name="fill">True</property>
	255	</packing>
	256	</child>
	257
	258	<child>
	259	<widget class="GtkCheckButton" id="use_login_shell">
	260	<property name="visible">True</property>
	261	<property name="can_focus">True</property>
	262	<property name="label" translatable="yes">_Run command as a login shell</property>
	263	<property name="use_underline">True</property>
	264	<property name="relief">GTK_RELIEF_NORMAL</property>
	265	<property name="focus_on_click">True</property>
	266	<property name="active">False</property>
	267	<property name="inconsistent">False</property>
	268	<property name="draw_indicator">True</property>
	269	<signal name="toggled" handler="on_use_login_shell_toggled"/>
	270	</widget>
	271	<packing>
	272	<property name="padding">0</property>
	273	<property name="expand">True</property>
	274	<property name="fill">True</property>
	275	</packing>
	276	</child>
	277	</widget>
	278	</child>
	279	</widget>
	280	</child>
	281
	282	<child>
	283	<widget class="GtkLabel" id="label13">
	284	<property name="visible">True</property>
	285	<property name="label" translatable="yes"><b>Shell</b></property>
	286	<property name="use_underline">False</property>
	287	<property name="use_markup">True</property>
	288	<property name="justify">GTK_JUSTIFY_LEFT</property>
	289	<property name="wrap">False</property>
	290	<property name="selectable">False</property>
	291	<property name="xalign">0.5</property>
	292	<property name="yalign">0.5</property>
	293	<property name="xpad">0</property>
	294	<property name="ypad">6</property>
	295	<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
	296	<property name="width_chars">-1</property>
	297	<property name="single_line_mode">False</property>
	298	<property name="angle">0</property>
	299	</widget>
	300	<packing>
	301	<property name="type">label_item</property>
	302	</packing>
	303	</child>
	304	</widget>
	305	<packing>
	306	<property name="padding">0</property>
	307	<property name="expand">True</property>
	308	<property name="fill">True</property>
	309	</packing>
	310	</child>
	311
	312	<child>
	313	<widget class="GtkFrame" id="frame7">
	314	<property name="visible">True</property>
	315	<property name="label_xalign">0</property>
	316	<property name="label_yalign">0.5</property>
	317	<property name="shadow_type">GTK_SHADOW_NONE</property>
	318
	319	<child>
	320	<widget class="GtkAlignment" id="alignment8">
	321	<property name="visible">True</property>
	322	<property name="xalign">0.5</property>
	323	<property name="yalign">0.5</property>
	324	<property name="xscale">1</property>
	325	<property name="yscale">1</property>
	326	<property name="top_padding">0</property>
	327	<property name="bottom_padding">0</property>
	328	<property name="left_padding">12</property>
	329	<property name="right_padding">0</property>
	330
	331	<child>
	332	<widget class="GtkVBox" id="vbox2">
	333	<property name="visible">True</property>
	334	<property name="homogeneous">True</property>
	335	<property name="spacing">6</property>
	336
	337	<child>
	338	<widget class="GtkCheckButton" id="use_trayicon">
	339	<property name="visible">True</property>
	340	<property name="can_focus">True</property>
	341	<property name="label" translatable="yes">Show tray icon</property>
	342	<property name="use_underline">True</property>
	343	<property name="relief">GTK_RELIEF_NORMAL</property>
	344	<property name="focus_on_click">True</property>
	345	<property name="active">False</property>
	346	<property name="inconsistent">False</property>
	347	<property name="draw_indicator">True</property>
	348	<signal name="toggled" handler="on_use_trayicon_toggled"/>
	349	</widget>
	350	<packing>
	351	<property name="padding">0</property>
	352	<property name="expand">True</property>
	353	<property name="fill">True</property>
	354	</packing>
	355	</child>
	356
	357	<child>
	358	<widget class="GtkCheckButton" id="use_popup">
	359	<property name="visible">True</property>
	360	<property name="can_focus">True</property>
	361	<property name="label" translatable="yes">Enable popup notifications on startup</property>
	362	<property name="use_underline">True</property>
	363	<property name="relief">GTK_RELIEF_NORMAL</property>
	364	<property name="focus_on_click">True</property>
	365	<property name="active">False</property>
	366	<property name="inconsistent">False</property>
	367	<property name="draw_indicator">True</property>
	368	<signal name="toggled" handler="on_use_popup_toggled"/>
	369	</widget>
	370	<packing>
	371	<property name="padding">0</property>
	372	<property name="expand">True</property>
	373	<property name="fill">True</property>
	374	</packing>
	375	</child>
	376	</widget>
	377	</child>
	378	</widget>
	379	</child>
	380
	381	<child>
	382	<widget class="GtkLabel" id="label8">
	383	<property name="visible">True</property>
	384	<property name="label" translatable="yes"><b>General</b></property>
	385	<property name="use_underline">False</property>
	386	<property name="use_markup">True</property>
	387	<property name="justify">GTK_JUSTIFY_LEFT</property>
	388	<property name="wrap">False</property>
	389	<property name="selectable">False</property>
	390	<property name="xalign">0.5</property>
	391	<property name="yalign">0.5</property>
	392	<property name="xpad">0</property>
	393	<property name="ypad">6</property>
	394	<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
	395	<property name="width_chars">-1</property>
	396	<property name="single_line_mode">False</property>
	397	<property name="angle">0</property>
	398	</widget>
	399	<packing>
	400	<property name="type">label_item</property>
	401	</packing>
	402	</child>
	403	</widget>
	404	<packing>
	405	<property name="padding">0</property>
	406	<property name="expand">True</property>
	407	<property name="fill">True</property>
	408	</packing>
	409	</child>
	410
	411	<child>
	412	<widget class="GtkFrame" id="frame4">
	413	<property name="visible">True</property>
	414	<property name="label_xalign">0</property>
	415	<property name="label_yalign">0.5</property>
	416	<property name="shadow_type">GTK_SHADOW_NONE</property>
	417
	418	<child>
	419	<widget class="GtkAlignment" id="alignment4">
	420	<property name="visible">True</property>
	421	<property name="xalign">0.5</property>
	422	<property name="yalign">0.5</property>
	423	<property name="xscale">1</property>
	424	<property name="yscale">1</property>
	425	<property name="top_padding">0</property>
	426	<property name="bottom_padding">0</property>
	427	<property name="left_padding">12</property>
	428	<property name="right_padding">0</property>
	429
	430	<child>
	431	<widget class="GtkVBox" id="vbox11">
	432	<property name="visible">True</property>
	433	<property name="homogeneous">True</property>
	434	<property name="spacing">6</property>
	435
	436	<child>
	437	<widget class="GtkCheckButton" id="window_ontop">
	438	<property name="visible">True</property>
	439	<property name="label" translatable="yes">Stay on top</property>
	440	<property name="use_underline">True</property>
	441	<property name="relief">GTK_RELIEF_NORMAL</property>
	442	<property name="focus_on_click">False</property>
	443	<property name="active">True</property>
	444	<property name="inconsistent">False</property>
	445	<property name="draw_indicator">True</property>
	446	<signal name="toggled" handler="on_window_ontop_toggled"/>
	447	</widget>
	448	<packing>
	449	<property name="padding">0</property>
	450	<property name="expand">False</property>
	451	<property name="fill">True</property>
	452	</packing>
	453	</child>
	454
	455	<child>
	456	<widget class="GtkCheckButton" id="window_losefocus">
	457	<property name="visible">True</property>
	458	<property name="can_focus">True</property>
	459	<property name="label" translatable="yes">Hide on lose focus</property>
	460	<property name="use_underline">True</property>
	461	<property name="relief">GTK_RELIEF_NORMAL</property>
	462	<property name="focus_on_click">True</property>
	463	<property name="active">True</property>
	464	<property name="inconsistent">False</property>
	465	<property name="draw_indicator">True</property>
	466	<signal name="toggled" handler="on_window_losefocus_toggled"/>
	467	</widget>
	468	<packing>
	469	<property name="padding">0</property>
	470	<property name="expand">False</property>
	471	<property name="fill">False</property>
	472	</packing>
	473	</child>
	474
	475	<child>
	476	<widget class="GtkCheckButton" id="window_tabbar">
	477	<property name="visible">True</property>
	478	<property name="can_focus">True</property>
	479	<property name="label" translatable="yes">Show tab bar</property>
	480	<property name="use_underline">True</property>
	481	<property name="relief">GTK_RELIEF_NORMAL</property>
	482	<property name="focus_on_click">True</property>
	483	<property name="active">False</property>
	484	<property name="inconsistent">False</property>
	485	<property name="draw_indicator">True</property>
	486	<signal name="toggled" handler="on_window_tabbar_toggled"/>
	487	</widget>
	488	<packing>
	489	<property name="padding">0</property>
	490	<property name="expand">True</property>
	491	<property name="fill">True</property>
	492	</packing>
	493	</child>
	494	</widget>
	495	</child>
	496	</widget>
	497	</child>
	498
	499	<child>
	500	<widget class="GtkLabel" id="label20">
	501	<property name="visible">True</property>
	502	<property name="label" translatable="yes"><b>Main Window</b></property>
	503	<property name="use_underline">False</property>
	504	<property name="use_markup">True</property>
	505	<property name="justify">GTK_JUSTIFY_LEFT</property>
	506	<property name="wrap">False</property>
	507	<property name="selectable">False</property>
	508	<property name="xalign">0.5</property>
	509	<property name="yalign">0.5</property>
	510	<property name="xpad">0</property>
	511	<property name="ypad">6</property>
	512	<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
	513	<property name="width_chars">-1</property>
	514	<property name="single_line_mode">False</property>
	515	<property name="angle">0</property>
	516	</widget>
	517	<packing>
	518	<property name="type">label_item</property>
	519	</packing>
	520	</child>
	521	</widget>
	522	<packing>
	523	<property name="padding">0</property>
	524	<property name="expand">True</property>
	525	<property name="fill">True</property>
	526	</packing>
	527	</child>
	528
	529	<child>
	530	<widget class="GtkFrame" id="frame11">
	531	<property name="visible">True</property>
	532	<property name="label_xalign">0</property>
	533	<property name="label_yalign">0.5</property>
	534	<property name="shadow_type">GTK_SHADOW_NONE</property>
	535
	536	<child>
	537	<widget class="GtkAlignment" id="alignment11">
	538	<property name="visible">True</property>
	539	<property name="xalign">0.5</property>
	540	<property name="yalign">0.5</property>
	541	<property name="xscale">1</property>
	542	<property name="yscale">1</property>
	543	<property name="top_padding">0</property>
	544	<property name="bottom_padding">0</property>
	545	<property name="left_padding">12</property>
	546	<property name="right_padding">0</property>
	547
	548	<child>
	549	<widget class="GtkHScale" id="window_size">
	550	<property name="visible">True</property>
	551	<property name="can_focus">True</property>
	552	<property name="draw_value">False</property>
	553	<property name="value_pos">GTK_POS_RIGHT</property>
	554	<property name="digits">0</property>
	555	<property name="update_policy">GTK_UPDATE_DISCONTINUOUS</property>
	556	<property name="inverted">False</property>
	557	<property name="adjustment">50 10 110 10 10 10</property>
	558	<signal name="value_changed" handler="on_window_size_value_changed"/>
	559	</widget>
	560	</child>
	561	</widget>
	562	</child>
	563
	564	<child>
	565	<widget class="GtkLabel" id="label24">
	566	<property name="visible">True</property>
	567	<property name="label" translatable="yes"><b>Main Window size</b></property>
	568	<property name="use_underline">False</property>
	569	<property name="use_markup">True</property>
	570	<property name="justify">GTK_JUSTIFY_LEFT</property>
	571	<property name="wrap">False</property>
	572	<property name="selectable">False</property>
	573	<property name="xalign">0.5</property>
	574	<property name="yalign">0.5</property>
	575	<property name="xpad">0</property>
	576	<property name="ypad">6</property>
	577	<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
	578	<property name="width_chars">-1</property>
	579	<property name="single_line_mode">False</property>
	580	<property name="angle">0</property>
	581	</widget>
	582	<packing>
	583	<property name="type">label_item</property>
	584	</packing>
	585	</child>
	586	</widget>
	587	<packing>
	588	<property name="padding">0</property>
	589	<property name="expand">True</property>
	590	<property name="fill">True</property>
	591	</packing>
	592	</child>
	593
	594	<child>
	595	<widget class="GtkFrame" id="frame12">
	596	<property name="visible">True</property>
	597	<property name="label_xalign">0</property>
	598	<property name="label_yalign">0.5</property>
	599	<property name="shadow_type">GTK_SHADOW_NONE</property>
	600
	601	<child>
	602	<widget class="GtkAlignment" id="alignment10102">
	603	<property name="visible">True</property>
	604	<property name="xalign">0.5</property>
	605	<property name="yalign">0.5</property>
	606	<property name="xscale">1</property>
	607	<property name="yscale">1</property>
	608	<property name="top_padding">0</property>
	609	<property name="bottom_padding">0</property>
	610	<property name="left_padding">12</property>
	611	<property name="right_padding">0</property>
	612
	613	<child>
	614	<widget class="GtkHBox" id="hbox30">
	615	<property name="visible">True</property>
	616	<property name="homogeneous">False</property>
	617	<property name="spacing">0</property>
	618
	619	<child>
	620	<widget class="GtkLabel" id="monchoicelabel">
	621	<property name="visible">True</property>
	622	<property name="label" translatable="yes">Display on monitor:</property>
	623	<property name="use_underline">False</property>
	624	<property name="use_markup">False</property>
	625	<property name="justify">GTK_JUSTIFY_LEFT</property>
	626	<property name="wrap">False</property>
	627	<property name="selectable">False</property>
	628	<property name="xalign">0.5</property>
	629	<property name="yalign">0.5</property>
	630	<property name="xpad">0</property>
	631	<property name="ypad">0</property>
	632	<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
	633	<property name="width_chars">-1</property>
	634	<property name="single_line_mode">False</property>
	635	<property name="angle">0</property>
	636	</widget>
	637	<packing>
	638	<property name="padding">0</property>
	639	<property name="expand">False</property>
	640	<property name="fill">False</property>
	641	</packing>
	642	</child>
	643
	644	<child>
	645	<widget class="GtkSpinButton" id="monitorinput">
	646	<property name="visible">True</property>
	647	<property name="can_focus">True</property>
	648	<property name="climb_rate">1</property>
	649	<property name="digits">0</property>
	650	<property name="numeric">False</property>
	651	<property name="update_policy">GTK_UPDATE_ALWAYS</property>
	652	<property name="snap_to_ticks">True</property>
	653	<property name="wrap">False</property>
	654	<property name="adjustment">0 0 10 1 10 10</property>
	655	<signal name="value_changed" handler="on_monitorinput_value_changed" last_modification_time="Mon, 23 Feb 2009 00:22:13 GMT"/>
	656	</widget>
	657	<packing>
	658	<property name="padding">0</property>
	659	<property name="expand">False</property>
	660	<property name="fill">True</property>
	661	</packing>
	662	</child>
	663	</widget>
	664	</child>
	665	</widget>
	666	</child>
	667
	668	<child>
	669	<widget class="GtkLabel" id="monitor">
	670	<property name="visible">True</property>
	671	<property name="label" translatable="yes"><b>Monitor</b></property>
	672	<property name="use_underline">False</property>
	673	<property name="use_markup">True</property>
	674	<property name="justify">GTK_JUSTIFY_LEFT</property>
	675	<property name="wrap">False</property>
	676	<property name="selectable">False</property>
	677	<property name="xalign">0.5</property>
	678	<property name="yalign">0.5</property>
	679	<property name="xpad">0</property>
	680	<property name="ypad">0</property>
	681	<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
	682	<property name="width_chars">-1</property>
	683	<property name="single_line_mode">False</property>
	684	<property name="angle">0</property>
	685	</widget>
	686	<packing>
	687	<property name="type">label_item</property>
	688	</packing>
	689	</child>
	690	</widget>
	691	<packing>
	692	<property name="padding">0</property>
	693	<property name="expand">True</property>
	694	<property name="fill">True</property>
	695	</packing>
	696	</child>
	697	</widget>
	698	<packing>
	699	<property name="tab_expand">False</property>
	700	<property name="tab_fill">True</property>
	701	</packing>
	702	</child>
	703
	704	<child>
	705	<widget class="GtkLabel" id="label6">
	706	<property name="visible">True</property>
	707	<property name="label" translatable="yes">General</property>
	708	<property name="use_underline">False</property>
	709	<property name="use_markup">True</property>
	710	<property name="justify">GTK_JUSTIFY_LEFT</property>
	711	<property name="wrap">False</property>
	712	<property name="selectable">False</property>
	713	<property name="xalign">0.5</property>
	714	<property name="yalign">0.5</property>
	715	<property name="xpad">0</property>
	716	<property name="ypad">0</property>
	717	<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
	718	<property name="width_chars">-1</property>
	719	<property name="single_line_mode">False</property>
	720	<property name="angle">0</property>
	721	</widget>
	722	<packing>
	723	<property name="type">tab</property>
	724	</packing>
	725	</child>
	726
	727	<child>
	728	<widget class="GtkVBox" id="vbox12">
	729	<property name="visible">True</property>
	730	<property name="homogeneous">False</property>
	731	<property name="spacing">0</property>
	732
	733	<child>
	734	<widget class="GtkFrame" id="frame6">
	735	<property name="visible">True</property>
	736	<property name="label_xalign">0</property>
	737	<property name="label_yalign">0.5</property>
	738	<property name="shadow_type">GTK_SHADOW_NONE</property>
	739
	740	<child>
	741	<widget class="GtkAlignment" id="alignment6">
	742	<property name="visible">True</property>
	743	<property name="xalign">0.5</property>
	744	<property name="yalign">0.5</property>
	745	<property name="xscale">1</property>
	746	<property name="yscale">1</property>
	747	<property name="top_padding">0</property>
	748	<property name="bottom_padding">0</property>
	749	<property name="left_padding">12</property>
	750	<property name="right_padding">0</property>
	751
	752	<child>
	753	<widget class="GtkVBox" id="vbox13">
	754	<property name="visible">True</property>
	755	<property name="homogeneous">True</property>
	756	<property name="spacing">6</property>
	757
	758	<child>
	759	<widget class="GtkCheckButton" id="use_scrollbar">
	760	<property name="visible">True</property>
	761	<property name="can_focus">True</property>
	762	<property name="label" translatable="yes">Show scrollbar</property>
	763	<property name="use_underline">True</property>
	764	<property name="relief">GTK_RELIEF_NORMAL</property>
	765	<property name="focus_on_click">True</property>
	766	<property name="active">False</property>
	767	<property name="inconsistent">False</property>
	768	<property name="draw_indicator">True</property>
	769	<signal name="toggled" handler="on_use_scrollbar_toggled"/>
	770	</widget>
	771	<packing>
	772	<property name="padding">0</property>
	773	<property name="expand">True</property>
	774	<property name="fill">True</property>
	775	</packing>
	776	</child>
	777
	778	<child>
	779	<widget class="GtkHBox" id="hbox2">
	780	<property name="visible">True</property>
	781	<property name="homogeneous">False</property>
	782	<property name="spacing">0</property>
	783
	784	<child>
	785	<widget class="GtkLabel" id="lblChooseShell3">
	786	<property name="width_request">120</property>
	787	<property name="visible">True</property>
	788	<property name="label" translatable="yes">Scrollback lines:</property>
	789	<property name="use_underline">False</property>
	790	<property name="use_markup">True</property>
	791	<property name="justify">GTK_JUSTIFY_LEFT</property>
	792	<property name="wrap">False</property>
	793	<property name="selectable">False</property>
	794	<property name="xalign">0</property>
	795	<property name="yalign">0.5</property>
	796	<property name="xpad">0</property>
	797	<property name="ypad">0</property>
	798	<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
	799	<property name="width_chars">-1</property>
	800	<property name="single_line_mode">False</property>
	801	<property name="angle">0</property>
	802	</widget>
	803	<packing>
	804	<property name="padding">0</property>
	805	<property name="expand">False</property>
	806	<property name="fill">False</property>
	807	</packing>
	808	</child>
	809
	810	<child>
	811	<widget class="GtkSpinButton" id="history_size">
	812	<property name="visible">True</property>
	813	<property name="can_focus">True</property>
	814	<property name="events">GDK_POINTER_MOTION_MASK \| GDK_POINTER_MOTION_HINT_MASK \| GDK_BUTTON_PRESS_MASK \| GDK_BUTTON_RELEASE_MASK</property>
	815	<property name="climb_rate">1</property>
	816	<property name="digits">0</property>
	817	<property name="numeric">True</property>
	818	<property name="update_policy">GTK_UPDATE_ALWAYS</property>
	819	<property name="snap_to_ticks">True</property>
	820	<property name="wrap">False</property>
	821	<property name="adjustment">512 256 100000 1 1 0</property>
	822	<signal name="value_changed" handler="on_history_size_value_changed"/>
	823	</widget>
	824	<packing>
	825	<property name="padding">0</property>
	826	<property name="expand">False</property>
	827	<property name="fill">True</property>
	828	</packing>
	829	</child>
	830	</widget>
	831	<packing>
	832	<property name="padding">0</property>
	833	<property name="expand">True</property>
	834	<property name="fill">True</property>
	835	</packing>
	836	</child>
	837	</widget>
	838	</child>
	839	</widget>
	840	</child>
	841
	842	<child>
	843	<widget class="GtkLabel" id="label11">
	844	<property name="visible">True</property>
	845	<property name="label" translatable="yes"><b>General</b></property>
	846	<property name="use_underline">False</property>
	847	<property name="use_markup">True</property>
	848	<property name="justify">GTK_JUSTIFY_LEFT</property>
	849	<property name="wrap">False</property>
	850	<property name="selectable">False</property>
	851	<property name="xalign">0.5</property>
	852	<property name="yalign">0.5</property>
	853	<property name="xpad">0</property>
	854	<property name="ypad">6</property>
	855	<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
	856	<property name="width_chars">-1</property>
	857	<property name="single_line_mode">False</property>
	858	<property name="angle">0</property>
	859	</widget>
	860	<packing>
	861	<property name="type">label_item</property>
	862	</packing>
	863	</child>
	864	</widget>
	865	<packing>
	866	<property name="padding">0</property>
	867	<property name="expand">False</property>
	868	<property name="fill">True</property>
	869	</packing>
	870	</child>
	871
	872	<child>
	873	<widget class="GtkFrame" id="frame8">
	874	<property name="visible">True</property>
	875	<property name="label_xalign">0</property>
	876	<property name="label_yalign">0.5</property>
	877	<property name="shadow_type">GTK_SHADOW_NONE</property>
	878
	879	<child>
	880	<widget class="GtkAlignment" id="alignment7">
	881	<property name="visible">True</property>
	882	<property name="xalign">0.5</property>
	883	<property name="yalign">0.5</property>
	884	<property name="xscale">1</property>
	885	<property name="yscale">1</property>
	886	<property name="top_padding">0</property>
	887	<property name="bottom_padding">0</property>
	888	<property name="left_padding">12</property>
	889	<property name="right_padding">0</property>
	890
	891	<child>
	892	<widget class="GtkVBox" id="vbox14">
	893	<property name="visible">True</property>
	894	<property name="homogeneous">True</property>
	895	<property name="spacing">6</property>
	896
	897	<child>
	898	<widget class="GtkCheckButton" id="scroll_output">
	899	<property name="visible">True</property>
	900	<property name="can_focus">True</property>
	901	<property name="label" translatable="yes">On output</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	<signal name="toggled" handler="on_scroll_output_toggled"/>
	909	</widget>
	910	<packing>
	911	<property name="padding">0</property>
	912	<property name="expand">True</property>
	913	<property name="fill">True</property>
	914	</packing>
	915	</child>
	916
	917	<child>
	918	<widget class="GtkCheckButton" id="scroll_keystroke">
	919	<property name="visible">True</property>
	920	<property name="can_focus">True</property>
	921	<property name="label" translatable="yes">On key stroke</property>
	922	<property name="use_underline">True</property>
	923	<property name="relief">GTK_RELIEF_NORMAL</property>
	924	<property name="focus_on_click">True</property>
	925	<property name="active">False</property>
	926	<property name="inconsistent">False</property>
	927	<property name="draw_indicator">True</property>
	928	<signal name="toggled" handler="on_scroll_keystroke_toggled"/>
	929	</widget>
	930	<packing>
	931	<property name="padding">0</property>
	932	<property name="expand">True</property>
	933	<property name="fill">True</property>
	934	</packing>
	935	</child>
	936	</widget>
	937	</child>
	938	</widget>
	939	</child>
	940
	941	<child>
	942	<widget class="GtkLabel" id="label15">
	943	<property name="visible">True</property>
	944	<property name="label" translatable="yes"><b>Scroll</b></property>
	945	<property name="use_underline">False</property>
	946	<property name="use_markup">True</property>
	947	<property name="justify">GTK_JUSTIFY_LEFT</property>
	948	<property name="wrap">False</property>
	949	<property name="selectable">False</property>
	950	<property name="xalign">0.5</property>
	951	<property name="yalign">0.5</property>
	952	<property name="xpad">0</property>
	953	<property name="ypad">6</property>
	954	<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
	955	<property name="width_chars">-1</property>
	956	<property name="single_line_mode">False</property>
	957	<property name="angle">0</property>
	958	</widget>
	959	<packing>
	960	<property name="type">label_item</property>
	961	</packing>
	962	</child>
	963	</widget>
	964	<packing>
	965	<property name="padding">0</property>
	966	<property name="expand">False</property>
	967	<property name="fill">True</property>
	968	</packing>
	969	</child>
	970	</widget>
	971	<packing>
	972	<property name="tab_expand">False</property>
	973	<property name="tab_fill">True</property>
	974	</packing>
	975	</child>
	976
	977	<child>
	978	<widget class="GtkLabel" id="label1">
	979	<property name="visible">True</property>
	980	<property name="label" translatable="yes">Scrolling</property>
	981	<property name="use_underline">False</property>
	982	<property name="use_markup">False</property>
	983	<property name="justify">GTK_JUSTIFY_LEFT</property>
	984	<property name="wrap">False</property>
	985	<property name="selectable">False</property>
	986	<property name="xalign">0.5</property>
	987	<property name="yalign">0.5</property>
	988	<property name="xpad">0</property>
	989	<property name="ypad">0</property>
	990	<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
	991	<property name="width_chars">-1</property>
	992	<property name="single_line_mode">False</property>
	993	<property name="angle">0</property>
	994	</widget>
	995	<packing>
	996	<property name="type">tab</property>
	997	</packing>
	998	</child>
	999
	1000	<child>
	1001	<widget class="GtkVBox" id="vbox6">
	1002	<property name="border_width">10</property>
	1003	<property name="visible">True</property>
	1004	<property name="homogeneous">False</property>
	1005	<property name="spacing">18</property>
	1006
	1007	<child>
	1008	<widget class="GtkFrame" id="frame1">
	1009	<property name="visible">True</property>
	1010	<property name="label_xalign">0</property>
	1011	<property name="label_yalign">0.5</property>
	1012	<property name="shadow_type">GTK_SHADOW_NONE</property>
	1013
	1014	<child>
	1015	<widget class="GtkAlignment" id="alignment1">
	1016	<property name="visible">True</property>
	1017	<property name="xalign">0.5</property>
	1018	<property name="yalign">0.5</property>
	1019	<property name="xscale">1</property>
	1020	<property name="yscale">1</property>
	1021	<property name="top_padding">0</property>
	1022	<property name="bottom_padding">0</property>
	1023	<property name="left_padding">12</property>
	1024	<property name="right_padding">0</property>
	1025
	1026	<child>
	1027	<widget class="GtkVBox" id="vbox9">
	1028	<property name="visible">True</property>
	1029	<property name="homogeneous">False</property>
	1030	<property name="spacing">6</property>
	1031
	1032	<child>
	1033	<widget class="GtkCheckButton" id="use_default_font">
	1034	<property name="visible">True</property>
	1035	<property name="can_focus">True</property>
	1036	<property name="label" translatable="yes">Use system defaults</property>
	1037	<property name="use_underline">True</property>
	1038	<property name="relief">GTK_RELIEF_NORMAL</property>
	1039	<property name="focus_on_click">True</property>
	1040	<property name="active">False</property>
	1041	<property name="inconsistent">False</property>
	1042	<property name="draw_indicator">True</property>
	1043	<signal name="toggled" handler="on_use_default_font_toggled"/>
	1044	<signal name="toggled" handler="toggle_style_sensitivity"/>
	1045	</widget>
	1046	<packing>
	1047	<property name="padding">0</property>
	1048	<property name="expand">True</property>
	1049	<property name="fill">True</property>
	1050	</packing>
	1051	</child>
	1052
	1053	<child>
	1054	<widget class="GtkHBox" id="hbox5">
	1055	<property name="visible">True</property>
	1056	<property name="homogeneous">False</property>
	1057	<property name="spacing">0</property>
	1058
	1059	<child>
	1060	<widget class="GtkLabel" id="label">
	1061	<property name="width_request">140</property>
	1062	<property name="visible">True</property>
	1063	<property name="label" translatable="yes">Style:</property>
	1064	<property name="use_underline">False</property>
	1065	<property name="use_markup">True</property>
	1066	<property name="justify">GTK_JUSTIFY_LEFT</property>
	1067	<property name="wrap">False</property>
	1068	<property name="selectable">False</property>
	1069	<property name="xalign">0</property>
	1070	<property name="yalign">0.5</property>
	1071	<property name="xpad">0</property>
	1072	<property name="ypad">0</property>
	1073	<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
	1074	<property name="width_chars">-1</property>
	1075	<property name="single_line_mode">False</property>
	1076	<property name="angle">0</property>
	1077	</widget>
	1078	<packing>
	1079	<property name="padding">0</property>
	1080	<property name="expand">False</property>
	1081	<property name="fill">False</property>
	1082	</packing>
	1083	</child>
	1084
	1085	<child>
	1086	<widget class="GtkFontButton" id="font_style">
	1087	<property name="visible">True</property>
	1088	<property name="title" translatable="yes">Choose some font</property>
	1089	<property name="show_style">True</property>
	1090	<property name="show_size">True</property>
	1091	<property name="use_font">False</property>
	1092	<property name="use_size">False</property>
	1093	<property name="focus_on_click">False</property>
	1094	<signal name="font_set" handler="on_font_style_font_set"/>
	1095	</widget>
	1096	<packing>
	1097	<property name="padding">0</property>
	1098	<property name="expand">True</property>
	1099	<property name="fill">True</property>
	1100	</packing>
	1101	</child>
	1102	</widget>
	1103	<packing>
	1104	<property name="padding">0</property>
	1105	<property name="expand">True</property>
	1106	<property name="fill">True</property>
	1107	</packing>
	1108	</child>
	1109
	1110	<child>
	1111	<widget class="GtkHBox" id="hbox6">
	1112	<property name="visible">True</property>
	1113	<property name="homogeneous">False</property>
	1114	<property name="spacing">0</property>
	1115
	1116	<child>
	1117	<widget class="GtkLabel" id="labelx">
	1118	<property name="width_request">140</property>
	1119	<property name="visible">True</property>
	1120	<property name="label" translatable="yes">Color:</property>
	1121	<property name="use_underline">False</property>
	1122	<property name="use_markup">True</property>
	1123	<property name="justify">GTK_JUSTIFY_LEFT</property>
	1124	<property name="wrap">False</property>
	1125	<property name="selectable">False</property>
	1126	<property name="xalign">0</property>
	1127	<property name="yalign">0.5</property>
	1128	<property name="xpad">0</property>
	1129	<property name="ypad">0</property>
	1130	<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
	1131	<property name="width_chars">-1</property>
	1132	<property name="single_line_mode">False</property>
	1133	<property name="angle">0</property>
	1134	</widget>
	1135	<packing>
	1136	<property name="padding">0</property>
	1137	<property name="expand">False</property>
	1138	<property name="fill">False</property>
	1139	</packing>
	1140	</child>
	1141
	1142	<child>
	1143	<widget class="GtkColorButton" id="font_color">
	1144	<property name="visible">True</property>
	1145	<property name="use_alpha">False</property>
	1146	<property name="title" translatable="yes">Choose some color</property>
	1147	<property name="focus_on_click">True</property>
	1148	<signal name="color_set" handler="on_font_color_color_set"/>
	1149	</widget>
	1150	<packing>
	1151	<property name="padding">0</property>
	1152	<property name="expand">True</property>
	1153	<property name="fill">True</property>
	1154	</packing>
	1155	</child>
	1156	</widget>
	1157	<packing>
	1158	<property name="padding">0</property>
	1159	<property name="expand">True</property>
	1160	<property name="fill">True</property>
	1161	</packing>
	1162	</child>
	1163	</widget>
	1164	</child>
	1165	</widget>
	1166	</child>
	1167
	1168	<child>
	1169	<widget class="GtkLabel" id="label9">
	1170	<property name="visible">True</property>
	1171	<property name="label" translatable="yes"><b>Fonts</b></property>
	1172	<property name="use_underline">False</property>
	1173	<property name="use_markup">True</property>
	1174	<property name="justify">GTK_JUSTIFY_LEFT</property>
	1175	<property name="wrap">False</property>
	1176	<property name="selectable">False</property>
	1177	<property name="xalign">0.5</property>
	1178	<property name="yalign">0.5</property>
	1179	<property name="xpad">0</property>
	1180	<property name="ypad">6</property>
	1181	<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
	1182	<property name="width_chars">-1</property>
	1183	<property name="single_line_mode">False</property>
	1184	<property name="angle">0</property>
	1185	</widget>
	1186	<packing>
	1187	<property name="type">label_item</property>
	1188	</packing>
	1189	</child>
	1190	</widget>
	1191	<packing>
	1192	<property name="padding">0</property>
	1193	<property name="expand">False</property>
	1194	<property name="fill">True</property>
	1195	</packing>
	1196	</child>
	1197
	1198	<child>
	1199	<widget class="GtkFrame" id="frame2">
	1200	<property name="visible">True</property>
	1201	<property name="label_xalign">0</property>
	1202	<property name="label_yalign">0.5</property>
	1203	<property name="shadow_type">GTK_SHADOW_NONE</property>
	1204
	1205	<child>
	1206	<widget class="GtkAlignment" id="alignment2">
	1207	<property name="visible">True</property>
	1208	<property name="xalign">0.5</property>
	1209	<property name="yalign">0.5</property>
	1210	<property name="xscale">1</property>
	1211	<property name="yscale">1</property>
	1212	<property name="top_padding">0</property>
	1213	<property name="bottom_padding">0</property>
	1214	<property name="left_padding">12</property>
	1215	<property name="right_padding">0</property>
	1216
	1217	<child>
	1218	<widget class="GtkVBox" id="vbox10">
	1219	<property name="visible">True</property>
	1220	<property name="homogeneous">False</property>
	1221	<property name="spacing">6</property>
	1222
	1223	<child>
	1224	<widget class="GtkHBox" id="hbox8">
	1225	<property name="visible">True</property>
	1226	<property name="homogeneous">False</property>
	1227	<property name="spacing">0</property>
	1228
	1229	<child>
	1230	<widget class="GtkLabel" id="label10">
	1231	<property name="width_request">140</property>
	1232	<property name="visible">True</property>
	1233	<property name="label" translatable="yes">Color:</property>
	1234	<property name="use_underline">False</property>
	1235	<property name="use_markup">True</property>
	1236	<property name="justify">GTK_JUSTIFY_LEFT</property>
	1237	<property name="wrap">False</property>
	1238	<property name="selectable">False</property>
	1239	<property name="xalign">0</property>
	1240	<property name="yalign">0.5</property>
	1241	<property name="xpad">0</property>
	1242	<property name="ypad">0</property>
	1243	<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
	1244	<property name="width_chars">-1</property>
	1245	<property name="single_line_mode">False</property>
	1246	<property name="angle">0</property>
	1247	</widget>
	1248	<packing>
	1249	<property name="padding">0</property>
	1250	<property name="expand">False</property>
	1251	<property name="fill">False</property>
	1252	</packing>
	1253	</child>
	1254
	1255	<child>
	1256	<widget class="GtkColorButton" id="background_color">
	1257	<property name="visible">True</property>
	1258	<property name="use_alpha">False</property>
	1259	<property name="title" translatable="yes">Choose some color</property>
	1260	<property name="focus_on_click">True</property>
	1261	<signal name="color_set" handler="on_background_color_color_set"/>
	1262	</widget>
	1263	<packing>
	1264	<property name="padding">0</property>
	1265	<property name="expand">True</property>
	1266	<property name="fill">True</property>
	1267	</packing>
	1268	</child>
	1269	</widget>
	1270	<packing>
	1271	<property name="padding">0</property>
	1272	<property name="expand">False</property>
	1273	<property name="fill">False</property>
	1274	</packing>
	1275	</child>
	1276
	1277	<child>
	1278	<widget class="GtkHBox" id="hbox4">
	1279	<property name="visible">True</property>
	1280	<property name="homogeneous">False</property>
	1281	<property name="spacing">0</property>
	1282
	1283	<child>
	1284	<widget class="GtkLabel" id="label2">
	1285	<property name="width_request">140</property>
	1286	<property name="visible">True</property>
	1287	<property name="label" translatable="yes">Image:</property>
	1288	<property name="use_underline">False</property>
	1289	<property name="use_markup">True</property>
	1290	<property name="justify">GTK_JUSTIFY_LEFT</property>
	1291	<property name="wrap">False</property>
	1292	<property name="selectable">False</property>
	1293	<property name="xalign">0</property>
	1294	<property name="yalign">0.5</property>
	1295	<property name="xpad">0</property>
	1296	<property name="ypad">0</property>
	1297	<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
	1298	<property name="width_chars">-1</property>
	1299	<property name="single_line_mode">False</property>
	1300	<property name="angle">0</property>
	1301	</widget>
	1302	<packing>
	1303	<property name="padding">0</property>
	1304	<property name="expand">False</property>
	1305	<property name="fill">False</property>
	1306	</packing>
	1307	</child>
	1308
	1309	<child>
	1310	<widget class="GtkHBox" id="hbox9">
	1311	<property name="visible">True</property>
	1312	<property name="homogeneous">False</property>
	1313	<property name="spacing">4</property>
	1314
	1315	<child>
	1316	<widget class="GtkFileChooserButton" id="background_image">
	1317	<property name="visible">True</property>
	1318	<property name="title" translatable="yes">SÃ©lectionner un fichier</property>
	1319	<property name="action">GTK_FILE_CHOOSER_ACTION_OPEN</property>
	1320	<property name="local_only">True</property>
	1321	<property name="show_hidden">False</property>
	1322	<property name="do_overwrite_confirmation">False</property>
	1323	<property name="width_chars">-1</property>
	1324	<signal name="selection_changed" handler="on_background_image_changed"/>
	1325	</widget>
	1326	<packing>
	1327	<property name="padding">0</property>
	1328	<property name="expand">True</property>
	1329	<property name="fill">True</property>
	1330	</packing>
	1331	</child>
	1332
	1333	<child>
	1334	<widget class="GtkButton" id="button2">
	1335	<property name="visible">True</property>
	1336	<property name="can_focus">True</property>
	1337	<property name="relief">GTK_RELIEF_NORMAL</property>
	1338	<property name="focus_on_click">True</property>
	1339	<signal name="clicked" handler="clear_background_image"/>
	1340
	1341	<child>
	1342	<widget class="GtkImage" id="image1">
	1343	<property name="visible">True</property>
	1344	<property name="stock">gtk-clear</property>
	1345	<property name="icon_size">1</property>
	1346	<property name="xalign">0.5</property>
	1347	<property name="yalign">0.5</property>
	1348	<property name="xpad">0</property>
	1349	<property name="ypad">0</property>
	1350	</widget>
	1351	</child>
	1352	</widget>
	1353	<packing>
	1354	<property name="padding">0</property>
	1355	<property name="expand">False</property>
	1356	<property name="fill">True</property>
	1357	</packing>
	1358	</child>
	1359	</widget>
	1360	<packing>
	1361	<property name="padding">0</property>
	1362	<property name="expand">True</property>
	1363	<property name="fill">True</property>
	1364	</packing>
	1365	</child>
	1366	</widget>
	1367	<packing>
	1368	<property name="padding">0</property>
	1369	<property name="expand">False</property>
	1370	<property name="fill">False</property>
	1371	</packing>
	1372	</child>
	1373
	1374	<child>
	1375	<widget class="GtkHBox" id="hbox7">
	1376	<property name="visible">True</property>
	1377	<property name="homogeneous">False</property>
	1378	<property name="spacing">0</property>
	1379
	1380	<child>
	1381	<widget class="GtkLabel" id="labelx1">
	1382	<property name="width_request">140</property>
	1383	<property name="visible">True</property>
	1384	<property name="label" translatable="yes">Opacity:</property>
	1385	<property name="use_underline">False</property>
	1386	<property name="use_markup">True</property>
	1387	<property name="justify">GTK_JUSTIFY_LEFT</property>
	1388	<property name="wrap">False</property>
	1389	<property name="selectable">False</property>
	1390	<property name="xalign">0</property>
	1391	<property name="yalign">0.5</property>
	1392	<property name="xpad">0</property>
	1393	<property name="ypad">0</property>
	1394	<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
	1395	<property name="width_chars">-1</property>
	1396	<property name="single_line_mode">False</property>
	1397	<property name="angle">0</property>
	1398	</widget>
	1399	<packing>
	1400	<property name="padding">0</property>
	1401	<property name="expand">False</property>
	1402	<property name="fill">False</property>
	1403	</packing>
	1404	</child>
	1405
	1406	<child>
	1407	<widget class="GtkHScale" id="background_opacity">
	1408	<property name="visible">True</property>
	1409	<property name="can_focus">True</property>
	1410	<property name="draw_value">False</property>
	1411	<property name="value_pos">GTK_POS_RIGHT</property>
	1412	<property name="digits">1</property>
	1413	<property name="update_policy">GTK_UPDATE_CONTINUOUS</property>
	1414	<property name="inverted">False</property>
	1415	<property name="adjustment">0 0 100 1 10 10</property>
	1416	<signal name="value_changed" handler="on_opacity_value_changed"/>
	1417	</widget>
	1418	<packing>
	1419	<property name="padding">0</property>
	1420	<property name="expand">True</property>
	1421	<property name="fill">True</property>
	1422	</packing>
	1423	</child>
	1424	</widget>
	1425	<packing>
	1426	<property name="padding">0</property>
	1427	<property name="expand">False</property>
	1428	<property name="fill">True</property>
	1429	</packing>
	1430	</child>
	1431	</widget>
	1432	</child>
	1433	</widget>
	1434	</child>
	1435
	1436	<child>
	1437	<widget class="GtkLabel" id="label12">
	1438	<property name="visible">True</property>
	1439	<property name="label" translatable="yes"><b>Background</b></property>
	1440	<property name="use_underline">False</property>
	1441	<property name="use_markup">True</property>
	1442	<property name="justify">GTK_JUSTIFY_LEFT</property>
	1443	<property name="wrap">False</property>
	1444	<property name="selectable">False</property>
	1445	<property name="xalign">0.5</property>
	1446	<property name="yalign">0.5</property>
	1447	<property name="xpad">0</property>
	1448	<property name="ypad">6</property>
	1449	<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
	1450	<property name="width_chars">-1</property>
	1451	<property name="single_line_mode">False</property>
	1452	<property name="angle">0</property>
	1453	</widget>
	1454	<packing>
	1455	<property name="type">label_item</property>
	1456	</packing>
	1457	</child>
	1458	</widget>
	1459	<packing>
	1460	<property name="padding">0</property>
	1461	<property name="expand">False</property>
	1462	<property name="fill">True</property>
	1463	</packing>
	1464	</child>
	1465	</widget>
	1466	<packing>
	1467	<property name="tab_expand">False</property>
	1468	<property name="tab_fill">True</property>
	1469	</packing>
	1470	</child>
	1471
	1472	<child>
	1473	<widget class="GtkLabel" id="label7">
	1474	<property name="visible">True</property>
	1475	<property name="label" translatable="yes">Appearance</property>
	1476	<property name="use_underline">False</property>
	1477	<property name="use_markup">True</property>
	1478	<property name="justify">GTK_JUSTIFY_LEFT</property>
	1479	<property name="wrap">False</property>
	1480	<property name="selectable">False</property>
	1481	<property name="xalign">0.5</property>
	1482	<property name="yalign">0.5</property>
	1483	<property name="xpad">0</property>
	1484	<property name="ypad">0</property>
	1485	<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
	1486	<property name="width_chars">-1</property>
	1487	<property name="single_line_mode">False</property>
	1488	<property name="angle">0</property>
	1489	</widget>
	1490	<packing>
	1491	<property name="type">tab</property>
	1492	</packing>
	1493	</child>
	1494
	1495	<child>
	1496	<widget class="GtkHBox" id="hbox3">
	1497	<property name="border_width">8</property>
	1498	<property name="visible">True</property>
	1499	<property name="homogeneous">False</property>
	1500	<property name="spacing">0</property>
	1501
	1502	<child>
	1503	<widget class="GtkScrolledWindow" id="scrolledwindow1">
	1504	<property name="visible">True</property>
	1505	<property name="can_focus">True</property>
	1506	<property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
	1507	<property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
	1508	<property name="shadow_type">GTK_SHADOW_IN</property>
	1509	<property name="window_placement">GTK_CORNER_TOP_LEFT</property>
	1510
	1511	<child>
	1512	<widget class="GtkTreeView" id="treeview-keys">
	1513	<property name="visible">True</property>
	1514	<property name="can_focus">True</property>
	1515	<property name="events">GDK_POINTER_MOTION_MASK \| GDK_POINTER_MOTION_HINT_MASK \| GDK_BUTTON_PRESS_MASK \| GDK_BUTTON_RELEASE_MASK</property>
	1516	<property name="headers_visible">True</property>
	1517	<property name="rules_hint">False</property>
	1518	<property name="reorderable">False</property>
	1519	<property name="enable_search">True</property>
	1520	<property name="fixed_height_mode">False</property>
	1521	<property name="hover_selection">False</property>
	1522	<property name="hover_expand">False</property>
	1523	</widget>
	1524	</child>
	1525	</widget>
	1526	<packing>
	1527	<property name="padding">0</property>
	1528	<property name="expand">True</property>
	1529	<property name="fill">True</property>
	1530	</packing>
	1531	</child>
	1532	</widget>
	1533	<packing>
	1534	<property name="tab_expand">False</property>
	1535	<property name="tab_fill">True</property>
	1536	</packing>
	1537	</child>
	1538
	1539	<child>
	1540	<widget class="GtkLabel" id="label30">
	1541	<property name="visible">True</property>
	1542	<property name="label" translatable="yes">Keyboard shortcuts</property>
	1543	<property name="use_underline">False</property>
	1544	<property name="use_markup">False</property>
	1545	<property name="justify">GTK_JUSTIFY_LEFT</property>
	1546	<property name="wrap">False</property>
	1547	<property name="selectable">False</property>
	1548	<property name="xalign">0.5</property>
	1549	<property name="yalign">0.5</property>
	1550	<property name="xpad">0</property>
	1551	<property name="ypad">0</property>
	1552	<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
	1553	<property name="width_chars">-1</property>
	1554	<property name="single_line_mode">False</property>
	1555	<property name="angle">0</property>
	1556	</widget>
	1557	<packing>
	1558	<property name="type">tab</property>
	1559	</packing>
	1560	</child>
	1561
	1562	<child>
	1563	<widget class="GtkFrame" id="frame3">
	1564	<property name="border_width">10</property>
	1565	<property name="visible">True</property>
	1566	<property name="label_xalign">0</property>
	1567	<property name="label_yalign">0.5</property>
	1568	<property name="shadow_type">GTK_SHADOW_NONE</property>
	1569
	1570	<child>
	1571	<widget class="GtkAlignment" id="alignment3">
	1572	<property name="visible">True</property>
	1573	<property name="xalign">0.5</property>
	1574	<property name="yalign">0.5</property>
	1575	<property name="xscale">1</property>
	1576	<property name="yscale">1</property>
	1577	<property name="top_padding">0</property>
	1578	<property name="bottom_padding">0</property>
	1579	<property name="left_padding">12</property>
	1580	<property name="right_padding">0</property>
	1581
	1582	<child>
	1583	<widget class="GtkVBox" id="vbox7">
	1584	<property name="visible">True</property>
	1585	<property name="homogeneous">False</property>
	1586	<property name="spacing">6</property>
	1587
	1588	<child>
	1589	<widget class="GtkLabel" id="label51">
	1590	<property name="visible">True</property>
	1591	<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>
	1592	<property name="use_underline">False</property>
	1593	<property name="use_markup">True</property>
	1594	<property name="justify">GTK_JUSTIFY_LEFT</property>
	1595	<property name="wrap">True</property>
	1596	<property name="selectable">False</property>
	1597	<property name="xalign">0</property>
	1598	<property name="yalign">7.45058015283e-09</property>
	1599	<property name="xpad">0</property>
	1600	<property name="ypad">0</property>
	1601	<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
	1602	<property name="width_chars">-1</property>
	1603	<property name="single_line_mode">False</property>
	1604	<property name="angle">0</property>
	1605	</widget>
	1606	<packing>
	1607	<property name="padding">0</property>
	1608	<property name="expand">False</property>
	1609	<property name="fill">True</property>
	1610	</packing>
	1611	</child>
	1612
	1613	<child>
	1614	<widget class="GtkTable" id="table30">
	1615	<property name="visible">True</property>
	1616	<property name="n_rows">2</property>
	1617	<property name="n_columns">3</property>
	1618	<property name="homogeneous">False</property>
	1619	<property name="row_spacing">6</property>
	1620	<property name="column_spacing">12</property>
	1621
	1622	<child>
	1623	<widget class="GtkComboBox" id="delete-binding-combobox">
	1624	<property name="visible">True</property>
	1625	<property name="items" translatable="yes">ASCII DEL
888	1626	Escape sequence
889	1627	Control-H</property>
890		<signal name="changed" handler="on_delete_binding_changed"/>
891		</widget>
892		<packing>
893		<property name="left_attach">1</property>
894		<property name="right_attach">3</property>
895		<property name="top_attach">1</property>
896		<property name="bottom_attach">2</property>
897		<property name="y_options">GTK_FILL</property>
898		</packing>
899		</child>
900		<child>
901		<widget class="GtkComboBox" id="backspace-binding-combobox">
902		<property name="visible">True</property>
903		<property name="items" translatable="yes">ASCII DEL
	1628	<property name="add_tearoffs">False</property>
	1629	<property name="focus_on_click">True</property>
	1630	<signal name="changed" handler="on_delete_binding_changed"/>
	1631	</widget>
	1632	<packing>
	1633	<property name="left_attach">1</property>
	1634	<property name="right_attach">3</property>
	1635	<property name="top_attach">1</property>
	1636	<property name="bottom_attach">2</property>
	1637	<property name="y_options"></property>
	1638	</packing>
	1639	</child>
	1640
	1641	<child>
	1642	<widget class="GtkComboBox" id="backspace-binding-combobox">
	1643	<property name="visible">True</property>
	1644	<property name="items" translatable="yes">ASCII DEL
904	1645	Escape sequence
905	1646	Control-H</property>
906		<signal name="changed" handler="on_backspace_binding_changed"/>
907		</widget>
908		<packing>
909		<property name="left_attach">1</property>
910		<property name="right_attach">3</property>
911		<property name="y_options">GTK_FILL</property>
912		</packing>
913		</child>
914		<child>
915		<widget class="GtkLabel" id="backspace-binding-combobox-label">
916		<property name="visible">True</property>
917		<property name="xalign">0</property>
918		<property name="label" translatable="yes">_Backspace key generates:</property>
919		<property name="use_underline">True</property>
920		<property name="justify">GTK_JUSTIFY_CENTER</property>
921		<property name="mnemonic_widget">backspace-binding-combobox</property>
922		</widget>
923		<packing>
924		<property name="x_options">GTK_FILL</property>
925		<property name="y_options"></property>
926		</packing>
927		</child>
928		<child>
929		<widget class="GtkLabel" id="delete-binding-combobox-label">
930		<property name="visible">True</property>
931		<property name="xalign">0</property>
932		<property name="label" translatable="yes">_Delete key generates:</property>
933		<property name="use_underline">True</property>
934		<property name="justify">GTK_JUSTIFY_CENTER</property>
935		<property name="mnemonic_widget">delete-binding-combobox</property>
936		</widget>
937		<packing>
938		<property name="top_attach">1</property>
939		<property name="bottom_attach">2</property>
940		<property name="x_options">GTK_FILL</property>
941		<property name="y_options"></property>
942		</packing>
943		</child>
944		</widget>
945		<packing>
946		<property name="expand">False</property>
947		<property name="position">1</property>
948		</packing>
949		</child>
950		<child>
951		<widget class="GtkAlignment" id="alignment010101">
952		<property name="visible">True</property>
953		<property name="xalign">1.1175900205273592e-08</property>
954		<property name="xscale">0</property>
955		<property name="yscale">0</property>
956		<child>
957		<widget class="GtkButton" id="reset-compat-defaults-button">
958		<property name="visible">True</property>
959		<property name="can_focus">True</property>
960		<property name="label" translatable="yes">_Reset Compatibility Options to Defaults</property>
961		<property name="use_underline">True</property>
962		<property name="response_id">0</property>
963		<signal name="clicked" handler="on_reset_compat_defaults_clicked"/>
964		<signal name="clicked" handler="reload_erase_combos"/>
965		</widget>
966		</child>
967		</widget>
968		<packing>
969		<property name="expand">False</property>
970		<property name="fill">False</property>
971		<property name="position">2</property>
972		</packing>
973		</child>
974		</widget>
975		</child>
976		</widget>
977		</child>
978		<child>
979		<widget class="GtkLabel" id="label5">
980		<property name="visible">True</property>
981		<property name="ypad">6</property>
982		<property name="label" translatable="yes"><b>Keyboard compatibility</b></property>
983		<property name="use_markup">True</property>
984		</widget>
985		<packing>
986		<property name="type">label_item</property>
987		</packing>
988		</child>
989		</widget>
990		<packing>
991		<property name="position">4</property>
992		</packing>
993		</child>
994		<child>
995		<widget class="GtkLabel" id="label3">
996		<property name="visible">True</property>
997		<property name="label" translatable="yes">Compatibility</property>
998		</widget>
999		<packing>
1000		<property name="position">4</property>
1001		<property name="tab_fill">False</property>
1002		<property name="type">tab</property>
1003		</packing>
1004		</child>
1005		</widget>
1006		<packing>
1007		<property name="expand">False</property>
1008		<property name="fill">False</property>
1009		</packing>
1010		</child>
1011		<child>
1012		<widget class="GtkHButtonBox" id="hbuttonbox1">
1013		<property name="visible">True</property>
1014		<property name="layout_style">GTK_BUTTONBOX_END</property>
1015		<child>
1016		<widget class="GtkButton" id="button1">
1017		<property name="visible">True</property>
1018		<property name="can_focus">True</property>
1019		<property name="label">gtk-close</property>
1020		<property name="use_stock">True</property>
1021		<property name="response_id">0</property>
1022		<signal name="clicked" handler="gtk_widget_destroy" object="config-window"/>
1023		</widget>
1024		</child>
1025		</widget>
1026		<packing>
1027		<property name="expand">False</property>
1028		<property name="fill">False</property>
1029		<property name="position">1</property>
1030		</packing>
1031		</child>
1032		</widget>
1033		<packing>
1034		<property name="position">1</property>
1035		</packing>
1036		</child>
1037		</widget>
1038		</child>
1039		</widget>
	1647	<property name="add_tearoffs">False</property>
	1648	<property name="focus_on_click">True</property>
	1649	<signal name="changed" handler="on_backspace_binding_changed"/>
	1650	</widget>
	1651	<packing>
	1652	<property name="left_attach">1</property>
	1653	<property name="right_attach">3</property>
	1654	<property name="top_attach">0</property>
	1655	<property name="bottom_attach">1</property>
	1656	<property name="y_options"></property>
	1657	</packing>
	1658	</child>
	1659
	1660	<child>
	1661	<widget class="GtkLabel" id="backspace-binding-combobox-label">
	1662	<property name="visible">True</property>
	1663	<property name="label" translatable="yes">_Backspace key generates:</property>
	1664	<property name="use_underline">True</property>
	1665	<property name="use_markup">False</property>
	1666	<property name="justify">GTK_JUSTIFY_CENTER</property>
	1667	<property name="wrap">False</property>
	1668	<property name="selectable">False</property>
	1669	<property name="xalign">0</property>
	1670	<property name="yalign">0.5</property>
	1671	<property name="xpad">0</property>
	1672	<property name="ypad">0</property>
	1673	<property name="mnemonic_widget">backspace-binding-combobox</property>
	1674	<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
	1675	<property name="width_chars">-1</property>
	1676	<property name="single_line_mode">False</property>
	1677	<property name="angle">0</property>
	1678	</widget>
	1679	<packing>
	1680	<property name="left_attach">0</property>
	1681	<property name="right_attach">1</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="GtkLabel" id="delete-binding-combobox-label">
	1691	<property name="visible">True</property>
	1692	<property name="label" translatable="yes">_Delete key generates:</property>
	1693	<property name="use_underline">True</property>
	1694	<property name="use_markup">False</property>
	1695	<property name="justify">GTK_JUSTIFY_CENTER</property>
	1696	<property name="wrap">False</property>
	1697	<property name="selectable">False</property>
	1698	<property name="xalign">0</property>
	1699	<property name="yalign">0.5</property>
	1700	<property name="xpad">0</property>
	1701	<property name="ypad">0</property>
	1702	<property name="mnemonic_widget">delete-binding-combobox</property>
	1703	<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
	1704	<property name="width_chars">-1</property>
	1705	<property name="single_line_mode">False</property>
	1706	<property name="angle">0</property>
	1707	</widget>
	1708	<packing>
	1709	<property name="left_attach">0</property>
	1710	<property name="right_attach">1</property>
	1711	<property name="top_attach">1</property>
	1712	<property name="bottom_attach">2</property>
	1713	<property name="x_options"></property>
	1714	<property name="y_options"></property>
	1715	</packing>
	1716	</child>
	1717	</widget>
	1718	<packing>
	1719	<property name="padding">0</property>
	1720	<property name="expand">False</property>
	1721	<property name="fill">True</property>
	1722	</packing>
	1723	</child>
	1724
	1725	<child>
	1726	<widget class="GtkAlignment" id="alignment010101">
	1727	<property name="visible">True</property>
	1728	<property name="xalign">1.11759002053e-08</property>
	1729	<property name="yalign">0.5</property>
	1730	<property name="xscale">0</property>
	1731	<property name="yscale">0</property>
	1732	<property name="top_padding">0</property>
	1733	<property name="bottom_padding">0</property>
	1734	<property name="left_padding">0</property>
	1735	<property name="right_padding">0</property>
	1736
	1737	<child>
	1738	<widget class="GtkButton" id="reset-compat-defaults-button">
	1739	<property name="visible">True</property>
	1740	<property name="can_focus">True</property>
	1741	<property name="label" translatable="yes">_Reset Compatibility Options to Defaults</property>
	1742	<property name="use_underline">True</property>
	1743	<property name="relief">GTK_RELIEF_NORMAL</property>
	1744	<property name="focus_on_click">True</property>
	1745	<signal name="clicked" handler="on_reset_compat_defaults_clicked"/>
	1746	<signal name="clicked" handler="reload_erase_combos"/>
	1747	</widget>
	1748	</child>
	1749	</widget>
	1750	<packing>
	1751	<property name="padding">0</property>
	1752	<property name="expand">False</property>
	1753	<property name="fill">False</property>
	1754	</packing>
	1755	</child>
	1756	</widget>
	1757	</child>
	1758	</widget>
	1759	</child>
	1760
	1761	<child>
	1762	<widget class="GtkLabel" id="label5">
	1763	<property name="visible">True</property>
	1764	<property name="label" translatable="yes"><b>Keyboard compatibility</b></property>
	1765	<property name="use_underline">False</property>
	1766	<property name="use_markup">True</property>
	1767	<property name="justify">GTK_JUSTIFY_LEFT</property>
	1768	<property name="wrap">False</property>
	1769	<property name="selectable">False</property>
	1770	<property name="xalign">0.5</property>
	1771	<property name="yalign">0.5</property>
	1772	<property name="xpad">0</property>
	1773	<property name="ypad">6</property>
	1774	<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
	1775	<property name="width_chars">-1</property>
	1776	<property name="single_line_mode">False</property>
	1777	<property name="angle">0</property>
	1778	</widget>
	1779	<packing>
	1780	<property name="type">label_item</property>
	1781	</packing>
	1782	</child>
	1783	</widget>
	1784	<packing>
	1785	<property name="tab_expand">False</property>
	1786	<property name="tab_fill">True</property>
	1787	</packing>
	1788	</child>
	1789
	1790	<child>
	1791	<widget class="GtkLabel" id="label3">
	1792	<property name="visible">True</property>
	1793	<property name="label" translatable="yes">Compatibility</property>
	1794	<property name="use_underline">False</property>
	1795	<property name="use_markup">False</property>
	1796	<property name="justify">GTK_JUSTIFY_LEFT</property>
	1797	<property name="wrap">False</property>
	1798	<property name="selectable">False</property>
	1799	<property name="xalign">0.5</property>
	1800	<property name="yalign">0.5</property>
	1801	<property name="xpad">0</property>
	1802	<property name="ypad">0</property>
	1803	<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
	1804	<property name="width_chars">-1</property>
	1805	<property name="single_line_mode">False</property>
	1806	<property name="angle">0</property>
	1807	</widget>
	1808	<packing>
	1809	<property name="type">tab</property>
	1810	</packing>
	1811	</child>
	1812	</widget>
	1813	<packing>
	1814	<property name="padding">0</property>
	1815	<property name="expand">False</property>
	1816	<property name="fill">False</property>
	1817	</packing>
	1818	</child>
	1819
	1820	<child>
	1821	<widget class="GtkHButtonBox" id="hbuttonbox1">
	1822	<property name="visible">True</property>
	1823	<property name="layout_style">GTK_BUTTONBOX_END</property>
	1824	<property name="spacing">0</property>
	1825
	1826	<child>
	1827	<widget class="GtkButton" id="button1">
	1828	<property name="visible">True</property>
	1829	<property name="can_focus">True</property>
	1830	<property name="label">gtk-close</property>
	1831	<property name="use_stock">True</property>
	1832	<property name="relief">GTK_RELIEF_NORMAL</property>
	1833	<property name="focus_on_click">True</property>
	1834	<signal name="clicked" handler="gtk_widget_destroy" object="config-window"/>
	1835	</widget>
	1836	</child>
	1837	</widget>
	1838	<packing>
	1839	<property name="padding">0</property>
	1840	<property name="expand">False</property>
	1841	<property name="fill">False</property>
	1842	</packing>
	1843	</child>
	1844	</widget>
	1845	<packing>
	1846	<property name="padding">0</property>
	1847	<property name="expand">True</property>
	1848	<property name="fill">True</property>
	1849	</packing>
	1850	</child>
	1851	</widget>
	1852	</child>
	1853	</widget>
	1854
1040	1855	</glade-interface>

src/guake.py

diff --git a/src/guake.py b/src/guake.py
index 3055bf1..396a8b7 100644

a	b
647	647	"""
648	648	# setting window in all desktops
649	649	self.get_widget('window-root').stick()
	650	monitor = self.client.get_int(KEY('/general/monitor'))
650	651
651	652	# add tab must be called before window.show to avoid a
652	653	# blank screen before adding the tab.
…	…
655	656
656	657	width, height = self.get_final_window_size()
657	658	self.window.resize(width, height)
	659	screen = self.window.get_screen()
	660	self.window.move(screen.get_monitor_geometry(monitor).x, 0)
658	661	self.window.show_all()
659		~~self.window.move(0, 0)~~
660	662
661	663	try:
662	664	# does it work in other gtk backends
…	…
685	687	"""
686	688	screen = self.window.get_screen()
687	689	height = self.client.get_int(KEY('/general/window_size'))
	690	monitor = self.client.get_int(KEY('/general/monitor'))
688	691
689	692	# avoiding X Window system error
690	693	max_height = screen.get_height()
691	694	if height > max_height:
692	695	height = max_height
693	696
694		# get the width just from the first/default monitor in the
695		# future we might create a field to select which monitor you
696		# wanna use
697		width = screen.get_monitor_geometry(0).width
	697	# get the width from the selected monitor
	698	width = screen.get_monitor_geometry(monitor).width
698	699
699	700	total_height = self.window.get_screen().get_height()
700	701	final_height = total_height * height / 100

src/prefs.py

diff --git a/src/prefs.py b/src/prefs.py
index cc0e90e..a1385d3 100644

a	b
134	134	val = hscale.get_value()
135	135	self.client.set_int(KEY('/general/window_size'), int(val))
136	136
	137	def on_monitorinput_value_changed(self, monitor):
	138	"""Changes the monitor
	139	"""
	140	val = monitor.get_value()
	141	self.client.set_int(KEY('/general/monitor'), int(val))
	142
137	143	# scrolling tab
138	144
139	145	def on_use_scrollbar_toggled(self, chk):
…	…
388	394	value = float(self.client.get_int(KEY('/general/window_size')))
389	395	self.get_widget('window_size').set_value(value)
390	396
	397	# monitor
	398	value = float(self.client.get_int(KEY('/general/monitor')))
	399	self.get_widget('monitorinput').set_value(value)
	400
391	401	# scrollbar
392	402	value = self.client.get_bool(KEY('/general/use_scrollbar'))
393	403	self.get_widget('use_scrollbar').set_active(value)

Download in other formats:

Original Format

Guake terminal

Context Navigation

Ticket #124: 0001-Add-capability-to-set-up-monitor.patch

data/prefs.glade

src/guake.py

src/prefs.py

Download in other formats: