6
<!-- Global settings -->
11
<key>/schemas/apps/gnome-terminal/global/profile_list</key>
12
<applyto>/apps/gnome-terminal/global/profile_list</applyto>
13
<owner>gnome-terminal</owner>
15
<list_type>string</list_type>
16
<default>[Default]</default>
18
<short>List of profiles</short>
20
List of profiles known to gnome-terminal. The list contains
21
strings naming subdirectories relative to
22
/apps/gnome-terminal/profiles.
28
<key>/schemas/apps/gnome-terminal/global/default_profile</key>
29
<applyto>/apps/gnome-terminal/global/default_profile</applyto>
30
<owner>gnome-terminal</owner>
32
<default>Default</default>
34
<short>Profile to use for new terminals</short>
36
Profile to be used when opening a new window or tab.
37
Must be in profile_list.
43
<key>/schemas/apps/gnome-terminal/global/use_mnemonics</key>
44
<applyto>/apps/gnome-terminal/global/use_mnemonics</applyto>
45
<owner>gnome-terminal</owner>
47
<default>true</default>
49
<short>Whether the menubar has access keys</short>
51
Whether to have Alt+letter access keys for the menubar.
52
They may interfere with some applications run inside the terminal
53
so it's possible to turn them off.
59
<key>/schemas/apps/gnome-terminal/global/use_menu_accelerators</key>
60
<applyto>/apps/gnome-terminal/global/use_menu_accelerators</applyto>
61
<owner>gnome-terminal</owner>
63
<default>true</default>
65
<short>Whether the standard GTK shortcut for menubar access is enabled</short>
67
Normally you can access the menubar with F10. This can also
68
be customized via gtkrc (gtk-menu-bar-accel =
69
"whatever"). This option allows the standard menubar
70
accelerator to be disabled.
77
<key>/schemas/apps/gnome-terminal/global/active_encodings</key>
78
<applyto>/apps/gnome-terminal/global/active_encodings</applyto>
79
<owner>gnome-terminal</owner>
81
<list_type>string</list_type>
83
<default><!-- Translators: Please note that this has to be a list of
84
valid encodings (which are to be taken from the list in src/encoding.c).
85
It has to include UTF-8 and the word 'current', which is not to be
86
translated. This is provided for customization of the default encoding
87
menu; see bug 144810 for an use case. In most cases, this should be
88
left alone. -->[UTF-8,current]</default>
89
<short>List of available encodings</short>
91
A subset of possible encodings are presented in
92
the Encoding submenu. This is a list of encodings
93
to appear there. The special encoding name "current"
94
means to display the encoding of the current locale.
100
<key>/schemas/apps/gnome-terminal/global/confirm_window_close</key>
101
<applyto>/apps/gnome-terminal/global/confirm_window_close</applyto>
102
<owner>gnome-terminal</owner>
104
<default>true</default>
106
<short>Whether to ask for confirmation when closing terminal windows</short>
108
Whether to ask for confirmation when closing a terminal window which has
109
more than one open tab.
117
<!-- Per-profile settings -->
123
<key>/schemas/apps/gnome-terminal/profiles/Default/visible_name</key>
124
<applyto>/apps/gnome-terminal/profiles/Default/visible_name</applyto>
125
<owner>gnome-terminal</owner>
127
<default>Default</default>
129
<short>Human-readable name of the profile</short>
131
Human-readable name of the profile.
137
<key>/schemas/apps/gnome-terminal/profiles/Default/cursor_blink</key>
138
<applyto>/apps/gnome-terminal/profiles/Default/cursor_blink</applyto>
139
<owner>gnome-terminal</owner>
141
<default>true</default>
143
<short>Whether to blink the cursor</short>
145
True if the cursor should blink when the terminal has focus,
146
for windows/tabs with this profile.
153
<key>/schemas/apps/gnome-terminal/profiles/Default/default_show_menubar</key>
154
<applyto>/apps/gnome-terminal/profiles/Default/default_show_menubar</applyto>
155
<owner>gnome-terminal</owner>
157
<default>true</default>
159
<short>Whether to show menubar in new windows/tabs</short>
161
True if the menubar should be shown in new windows,
162
for windows/tabs with this profile.
168
<key>/schemas/apps/gnome-terminal/profiles/Default/foreground_color</key>
169
<applyto>/apps/gnome-terminal/profiles/Default/foreground_color</applyto>
170
<owner>gnome-terminal</owner>
172
<default>#000000</default>
174
<short>Default color of text in the terminal</short>
176
Default color of text in the terminal, as a color
177
specification (can be HTML-style hex digits, or
178
a color name such as "red").
184
<key>/schemas/apps/gnome-terminal/profiles/Default/background_color</key>
185
<applyto>/apps/gnome-terminal/profiles/Default/background_color</applyto>
186
<owner>gnome-terminal</owner>
188
<default>#FFFFDD</default>
190
<short>Default color of terminal background</short>
192
Default color of terminal background, as a color
193
specification (can be HTML-style hex digits, or
194
a color name such as "red").
200
<key>/schemas/apps/gnome-terminal/profiles/Default/title_mode</key>
201
<applyto>/apps/gnome-terminal/profiles/Default/title_mode</applyto>
202
<owner>gnome-terminal</owner>
204
<default>replace</default>
206
<short>What to do with dynamic title</short>
208
If the application in the terminal sets the title
209
(most typically people have their shell set up to
210
do this), the dynamically-set title can
211
erase the configured title, go before it, go after it,
212
or replace it. The possible values are "replace",
213
"before", "after", and "ignore".
219
<key>/schemas/apps/gnome-terminal/profiles/Default/title</key>
220
<applyto>/apps/gnome-terminal/profiles/Default/title</applyto>
221
<owner>gnome-terminal</owner>
224
<default>Terminal</default>
225
<short>Title for terminal</short>
227
Title to display for the terminal window or tab.
228
This title may be replaced by or combined with
229
the title set by the application inside the terminal,
230
depending on the title_mode setting.
236
<key>/schemas/apps/gnome-terminal/profiles/Default/allow_bold</key>
237
<applyto>/apps/gnome-terminal/profiles/Default/allow_bold</applyto>
238
<owner>gnome-terminal</owner>
240
<default>true</default>
242
<short>Whether to allow bold text</short>
244
If true, allow applications in the terminal to make
251
<key>/schemas/apps/gnome-terminal/profiles/Default/silent_bell</key>
252
<applyto>/apps/gnome-terminal/profiles/Default/silent_bell</applyto>
253
<owner>gnome-terminal</owner>
255
<default>false</default>
257
<short>Whether to silence terminal bell</short>
259
If true, don't make a noise when applications send the
260
escape sequence for the terminal bell.
266
<key>/schemas/apps/gnome-terminal/profiles/Default/word_chars</key>
267
<applyto>/apps/gnome-terminal/profiles/Default/word_chars</applyto>
268
<owner>gnome-terminal</owner>
270
<default>-A-Za-z0-9,./?%&#:_</default>
272
<short>Characters that are considered "part of a word"</short>
274
When selecting text by word, sequences of these characters
275
are considered single words. Ranges can be given as
276
"A-Z". Literal hyphen (not expressing a range) should be
277
the first character given.
283
<key>/schemas/apps/gnome-terminal/profiles/Default/scrollbar_position</key>
284
<applyto>/apps/gnome-terminal/profiles/Default/scrollbar_position</applyto>
285
<owner>gnome-terminal</owner>
287
<default>right</default>
289
<short>Position of the scrollbar</short>
291
Where to put the terminal scrollbar. Possibilities are
292
"left", "right", and "disabled".
298
<key>/schemas/apps/gnome-terminal/profiles/Default/scrollback_lines</key>
299
<applyto>/apps/gnome-terminal/profiles/Default/scrollback_lines</applyto>
300
<owner>gnome-terminal</owner>
302
<default>500</default>
304
<short>Number of lines to keep in scrollback</short>
306
Number of scrollback lines to keep around. You can
307
scroll back in the terminal by this number of lines;
308
lines that don't fit in the scrollback are discarded.
309
Be careful with this setting; it's the primary factor
310
in determining how much memory the terminal will use.
316
<key>/schemas/apps/gnome-terminal/profiles/Default/scroll_on_keystroke</key>
317
<applyto>/apps/gnome-terminal/profiles/Default/scroll_on_keystroke</applyto>
318
<owner>gnome-terminal</owner>
320
<default>true</default>
322
<short>Whether to scroll to the bottom when a key is pressed</short>
324
If true, pressing a key jumps the scrollbar to the bottom.
330
<key>/schemas/apps/gnome-terminal/profiles/Default/scroll_on_output</key>
331
<applyto>/apps/gnome-terminal/profiles/Default/scroll_on_output</applyto>
332
<owner>gnome-terminal</owner>
334
<default>false</default>
336
<short>Whether to scroll to the bottom when there's new output</short>
338
If true, whenever there's new output the terminal will scroll
345
<key>/schemas/apps/gnome-terminal/profiles/Default/exit_action</key>
346
<applyto>/apps/gnome-terminal/profiles/Default/exit_action</applyto>
347
<owner>gnome-terminal</owner>
349
<default>close</default>
351
<short>What to do with the terminal when the child command exits</short>
353
Possible values are "close" to close the terminal, and
354
"restart" to restart the command.
360
<key>/schemas/apps/gnome-terminal/profiles/Default/login_shell</key>
361
<applyto>/apps/gnome-terminal/profiles/Default/login_shell</applyto>
362
<owner>gnome-terminal</owner>
364
<default>false</default>
366
<short>Whether to launch the command in the terminal as a login shell</short>
368
If true, the command inside the terminal will be launched as
369
a login shell. (argv[0] will have a hyphen in front of it.)
375
<key>/schemas/apps/gnome-terminal/profiles/Default/update_records</key>
376
<applyto>/apps/gnome-terminal/profiles/Default/update_records</applyto>
377
<owner>gnome-terminal</owner>
379
<default>true</default>
381
<short>Whether to update login records when launching terminal command</short>
383
If true, the system login records utmp and wtmp will be updated when the command inside the terminal
390
<key>/schemas/apps/gnome-terminal/profiles/Default/use_custom_command</key>
391
<applyto>/apps/gnome-terminal/profiles/Default/use_custom_command</applyto>
392
<owner>gnome-terminal</owner>
394
<default>false</default>
396
<short>Whether to run a custom command instead of the shell</short>
398
If true, the value of the custom_command setting will
399
be used in place of running a shell.
405
<key>/schemas/apps/gnome-terminal/profiles/Default/custom_command</key>
406
<applyto>/apps/gnome-terminal/profiles/Default/custom_command</applyto>
407
<owner>gnome-terminal</owner>
411
<short>Custom command to use instead of the shell</short>
413
Run this command in place of the shell, if
414
use_custom_command is true.
420
<key>/schemas/apps/gnome-terminal/profiles/Default/icon</key>
421
<applyto>/apps/gnome-terminal/profiles/Default/icon</applyto>
422
<owner>gnome-terminal</owner>
424
<default>gnome-terminal.png</default>
426
<short>Icon for terminal window</short>
428
Icon to use for tabs/windows containing this profile.
434
<key>/schemas/apps/gnome-terminal/profiles/Default/palette</key>
435
<applyto>/apps/gnome-terminal/profiles/Default/palette</applyto>
436
<owner>gnome-terminal</owner>
438
<default>#000000:#AA0000:#00AA00:#AA5500:#0000AA:#AA00AA:#00AAAA:#AAAAAA:#555555:#FF5555:#55FF55:#FFFF55:#5555FF:#FF55FF:#55FFFF:#FFFFFF</default>
440
<short>Palette for terminal applications</short>
442
Terminals have a 16-color palette that applications inside
443
the terminal can use. This is that palette, in the form
444
of a colon-separated list of color names. Color names
445
should be in hex format e.g. "#FF00FF"
451
<key>/schemas/apps/gnome-terminal/profiles/Default/x_font</key>
452
<applyto>/apps/gnome-terminal/profiles/Default/x_font</applyto>
453
<owner>gnome-terminal</owner>
455
<default>-misc-fixed-medium-r-semicondensed--*-120-*-*-c-*-*-*</default>
459
An X font name. See the X man page (type "man X") for more
460
details on the format of X font names.
467
<key>/schemas/apps/gnome-terminal/profiles/Default/font</key>
468
<applyto>/apps/gnome-terminal/profiles/Default/font</applyto>
469
<owner>gnome-terminal</owner>
471
<default>monospace 12</default>
475
An Pango font name. Examples are "Sans 12" or "Monospace Bold 14".
481
<key>/schemas/apps/gnome-terminal/profiles/Default/background_type</key>
482
<applyto>/apps/gnome-terminal/profiles/Default/background_type</applyto>
483
<owner>gnome-terminal</owner>
485
<default>solid</default>
487
<short>Background type</short>
489
Type of terminal background. May be "solid" for a solid color,
490
"image" for an image, or "transparent" for pseudo-transparency.
496
<key>/schemas/apps/gnome-terminal/profiles/Default/background_image</key>
497
<applyto>/apps/gnome-terminal/profiles/Default/background_image</applyto>
498
<owner>gnome-terminal</owner>
502
<short>Background image</short>
504
Filename of a background image.
510
<key>/schemas/apps/gnome-terminal/profiles/Default/scroll_background</key>
511
<applyto>/apps/gnome-terminal/profiles/Default/scroll_background</applyto>
512
<owner>gnome-terminal</owner>
514
<default>true</default>
516
<short>Whether to scroll background image</short>
518
If true, scroll the background image with the foreground
519
text; if false, keep the image in a fixed position and
520
scroll the text above it.
526
<key>/schemas/apps/gnome-terminal/profiles/Default/background_darkness</key>
527
<applyto>/apps/gnome-terminal/profiles/Default/background_darkness</applyto>
528
<owner>gnome-terminal</owner>
530
<default>0.5</default>
532
<short>How much to darken the background image</short>
534
A value between 0.0 and 1.0 indicating how much to darken
535
the background image. 0.0 means no darkness, 1.0 means fully
536
dark. In the current implementation, there are only two levels of
537
darkness possible, so the setting behaves as a boolean,
538
where 0.0 disables the darkening effect.
544
<key>/schemas/apps/gnome-terminal/profiles/Default/backspace_binding</key>
545
<applyto>/apps/gnome-terminal/profiles/Default/backspace_binding</applyto>
546
<owner>gnome-terminal</owner>
548
<default>ascii-del</default>
550
<short>Effect of the Backspace key</short>
552
Sets what code the backspace key generates. Possible values
553
are "ascii-del" for the ASCII DEL character,
554
"control-h" for Control-H (AKA the ASCII BS character),
555
"escape-sequence" for the escape sequence typically
556
bound to backspace or delete. "ascii-del" is normally
557
considered the correct setting for the Backspace key.
564
<key>/schemas/apps/gnome-terminal/profiles/Default/delete_binding</key>
565
<applyto>/apps/gnome-terminal/profiles/Default/delete_binding</applyto>
566
<owner>gnome-terminal</owner>
568
<default>escape-sequence</default>
570
<short>Effect of the Delete key</short>
572
Sets what code the delete key generates. Possible values
573
are "ascii-del" for the ASCII DEL character,
574
"control-h" for Control-H (AKA the ASCII BS character),
575
"escape-sequence" for the escape sequence typically
576
bound to backspace or delete. "escape-sequence" is normally
577
considered the correct setting for the Delete key.
584
<key>/schemas/apps/gnome-terminal/profiles/Default/use_theme_colors</key>
585
<applyto>/apps/gnome-terminal/profiles/Default/use_theme_colors</applyto>
586
<owner>gnome-terminal</owner>
588
<default>true</default>
590
<short>Whether to use the colors from the theme for the terminal widget</short>
592
If true, the theme color scheme used for text entry boxes will
593
be used for the terminal, instead of colors provided by the user.
599
<key>/schemas/apps/gnome-terminal/profiles/Default/use_system_font</key>
600
<applyto>/apps/gnome-terminal/profiles/Default/use_system_font</applyto>
601
<owner>gnome-terminal</owner>
603
<default>true</default>
605
<short>Whether to use the system font</short>
607
If true, the terminal will use the desktop-global standard
608
font if it's monospace (and the most similar font it can
609
come up with otherwise).
616
<key>/schemas/apps/gnome-terminal/profiles/Default/use_skey</key>
617
<applyto>/apps/gnome-terminal/profiles/Default/use_skey</applyto>
618
<owner>gnome-terminal</owner>
620
<default>true</default>
622
<short>Support skey dingus clicking</short>
624
Popup a dialog when an s/key challenge response query is
625
detected and clicked on. Typing a password into the dialog
626
will send it to the terminal.
634
<key>/schemas/apps/gnome-terminal/keybindings/new_tab</key>
635
<applyto>/apps/gnome-terminal/keybindings/new_tab</applyto>
636
<owner>gnome-terminal</owner>
638
<default><Ctrl><Shift>t</default>
640
<short>Keyboard shortcut to open a new tab</short>
642
Keyboard shortcut key for opening a new tab. Expressed as a string
643
in the same format used for GTK+ resource files.
644
If you set the option to the special string "disabled", then there
645
will be no keyboard shortcut for this action.
651
<key>/schemas/apps/gnome-terminal/keybindings/new_window</key>
652
<applyto>/apps/gnome-terminal/keybindings/new_window</applyto>
653
<owner>gnome-terminal</owner>
655
<default><Ctrl><Shift>n</default>
657
<short>Keyboard shortcut to open a new window</short>
659
Keyboard shortcut key for opening a new window. Expressed as a string
660
in the same format used for GTK+ resource files.
661
If you set the option to the special string "disabled", then there
662
will be no keyboard shortcut for this action.
668
<key>/schemas/apps/gnome-terminal/keybindings/new_profile</key>
669
<applyto>/apps/gnome-terminal/keybindings/new_profile</applyto>
670
<owner>gnome-terminal</owner>
673
<short>Keyboard shortcut to create a new profile</short>
675
Keyboard shortcut key for bringing up the dialog for profile
676
creation. Expressed as a string in the same format used for
677
GTK+ resource files. If you set the option to the special
678
string "disabled", then there will be no keyboard shortcut for this
685
<key>/schemas/apps/gnome-terminal/keybindings/close_tab</key>
686
<applyto>/apps/gnome-terminal/keybindings/close_tab</applyto>
687
<owner>gnome-terminal</owner>
689
<default><Ctrl><Shift>w</default>
691
<short>Keyboard shortcut to close a tab</short>
693
Keyboard shortcut key for closing a tab. Expressed as a string
694
in the same format used for GTK+ resource files.
695
If you set the option to the special string "disabled", then there
696
will be no keyboard shortcut for this action.
702
<key>/schemas/apps/gnome-terminal/keybindings/close_window</key>
703
<applyto>/apps/gnome-terminal/keybindings/close_window</applyto>
704
<owner>gnome-terminal</owner>
706
<default><Ctrl><Shift>q</default>
708
<short>Keyboard shortcut to close a window</short>
710
Keyboard shortcut key for closing a window. Expressed as a string
711
in the same format used for GTK+ resource files.
712
If you set the option to the special string "disabled", then there
713
will be no keyboard shortcut for this action.
720
<key>/schemas/apps/gnome-terminal/keybindings/copy</key>
721
<applyto>/apps/gnome-terminal/keybindings/copy</applyto>
722
<owner>gnome-terminal</owner>
724
<default><Ctrl><Shift>c</default>
726
<short>Keyboard shortcut to copy text</short>
728
Keyboard shortcut key for copying selected text to the
729
clipboard. Expressed as a string
730
in the same format used for GTK+ resource files.
731
If you set the option to the special string "disabled", then there
732
will be no keyboard shortcut for this action.
739
<key>/schemas/apps/gnome-terminal/keybindings/paste</key>
740
<applyto>/apps/gnome-terminal/keybindings/paste</applyto>
741
<owner>gnome-terminal</owner>
743
<default><Ctrl><Shift>v</default>
745
<short>Keyboard shortcut to paste text</short>
747
Keyboard shortcut key for pasting the contents of the
748
clipboard into the terminal. Expressed as a string
749
in the same format used for GTK+ resource files.
750
If you set the option to the special string "disabled", then there
751
will be no keyboard shortcut for this action.
757
<key>/schemas/apps/gnome-terminal/keybindings/full_screen</key>
758
<applyto>/apps/gnome-terminal/keybindings/full_screen</applyto>
759
<owner>gnome-terminal</owner>
762
<short>Keyboard shortcut to toggle full screen mode</short>
764
Keyboard shortcut key for toggling full screen mode. Expressed as a string
765
in the same format used for GTK+ resource files.
766
If you set the option to the special string "disabled", then there
767
will be no keyboard shortcut for this action.
772
<key>/schemas/apps/gnome-terminal/keybindings/toggle_menubar</key>
773
<applyto>/apps/gnome-terminal/keybindings/toggle_menubar</applyto>
774
<owner>gnome-terminal</owner>
777
<short>Keyboard shortcut to toggle the visibility of the menubar</short>
779
Keyboard shortcut key to toggle the visibility of the menubar. Expressed as a string
780
in the same format used for GTK+ resource files.
781
If you set the option to the special string "disabled", then there
782
will be no keyboard shortcut for this action.
788
<key>/schemas/apps/gnome-terminal/keybindings/set_terminal_title</key>
789
<applyto>/apps/gnome-terminal/keybindings/set_terminal_title</applyto>
790
<owner>gnome-terminal</owner>
793
<short>Keyboard shortcut to set the terminal title</short>
795
Keyboard shortcut key to set the terminal title. Expressed as a string
796
in the same format used for GTK+ resource files.
797
If you set the option to the special string "disabled", then there
798
will be no keyboard shortcut for this action.
804
<key>/schemas/apps/gnome-terminal/keybindings/reset</key>
805
<applyto>/apps/gnome-terminal/keybindings/reset</applyto>
806
<owner>gnome-terminal</owner>
809
<short>Keyboard shortcut to reset the terminal</short>
811
Keyboard shortcut key to reset the terminal. Expressed as a string
812
in the same format used for GTK+ resource files.
813
If you set the option to the special string "disabled", then there
814
will be no keyboard shortcut for this action.
820
<key>/schemas/apps/gnome-terminal/keybindings/reset_and_clear</key>
821
<applyto>/apps/gnome-terminal/keybindings/reset_and_clear</applyto>
822
<owner>gnome-terminal</owner>
825
<short>Keyboard shortcut to reset and clear the terminal</short>
827
Keyboard shortcut key to reset and clear the terminal. Expressed as a string
828
in the same format used for GTK+ resource files.
829
If you set the option to the special string "disabled", then there
830
will be no keyboard shortcut for this action.
836
<key>/schemas/apps/gnome-terminal/keybindings/prev_tab</key>
837
<applyto>/apps/gnome-terminal/keybindings/prev_tab</applyto>
838
<owner>gnome-terminal</owner>
840
<default><Control>Page_Up</default>
842
<short>Keyboard shortcut to switch to the previous tab</short>
844
Keyboard shortcut key to switch to the previous tab. Expressed as a string
845
in the same format used for GTK+ resource files.
846
If you set the option to the special string "disabled", then there
847
will be no keyboard shortcut for this action.
853
<key>/schemas/apps/gnome-terminal/keybindings/next_tab</key>
854
<applyto>/apps/gnome-terminal/keybindings/next_tab</applyto>
855
<owner>gnome-terminal</owner>
857
<default><Control>Page_Down</default>
859
<short>Keyboard shortcut to switch to the next tab</short>
861
Keyboard shortcut key to switch to the next tab. Expressed as a string
862
in the same format used for GTK+ resource files.
863
If you set the option to the special string "disabled", then there
864
will be no keyboard shortcut for this action.
870
<key>/schemas/apps/gnome-terminal/keybindings/switch_to_tab_1</key>
871
<applyto>/apps/gnome-terminal/keybindings/switch_to_tab_1</applyto>
872
<owner>gnome-terminal</owner>
874
<default><Alt>1</default>
876
<short>Keyboard shortcut to switch to tab 1</short>
878
Keyboard shortcut key for switch to tab 1. Expressed as a string
879
in the same format used for GTK+ resource files.
880
If you set the option to the special string "disabled", then there
881
will be no keyboard shortcut for this action.
887
<key>/schemas/apps/gnome-terminal/keybindings/switch_to_tab_2</key>
888
<applyto>/apps/gnome-terminal/keybindings/switch_to_tab_2</applyto>
889
<owner>gnome-terminal</owner>
891
<default><Alt>2</default>
893
<short>Keyboard shortcut to switch to tab 2</short>
895
Keyboard shortcut key for switch to tab 2. Expressed as a string
896
in the same format used for GTK+ resource files.
897
If you set the option to the special string "disabled", then there
898
will be no keyboard shortcut for this action.
904
<key>/schemas/apps/gnome-terminal/keybindings/switch_to_tab_3</key>
905
<applyto>/apps/gnome-terminal/keybindings/switch_to_tab_3</applyto>
906
<owner>gnome-terminal</owner>
908
<default><Alt>3</default>
910
<short>Keyboard shortcut to switch to tab 3</short>
912
Keyboard shortcut key for switch to tab 3. Expressed as a string
913
in the same format used for GTK+ resource files.
914
If you set the option to the special string "disabled", then there
915
will be no keyboard shortcut for this action.
921
<key>/schemas/apps/gnome-terminal/keybindings/switch_to_tab_4</key>
922
<applyto>/apps/gnome-terminal/keybindings/switch_to_tab_4</applyto>
923
<owner>gnome-terminal</owner>
925
<default><Alt>4</default>
927
<short>Keyboard shortcut to switch to tab 4</short>
929
Keyboard shortcut key for switch to tab 4. Expressed as a string
930
in the same format used for GTK+ resource files.
931
If you set the option to the special string "disabled", then there
932
will be no keyboard shortcut for this action.
938
<key>/schemas/apps/gnome-terminal/keybindings/switch_to_tab_5</key>
939
<applyto>/apps/gnome-terminal/keybindings/switch_to_tab_5</applyto>
940
<owner>gnome-terminal</owner>
942
<default><Alt>5</default>
944
<short>Keyboard shortcut to switch to tab 5</short>
946
Keyboard shortcut key for switch to tab 5. Expressed as a string
947
in the same format used for GTK+ resource files.
948
If you set the option to the special string "disabled", then there
949
will be no keyboard shortcut for this action.
955
<key>/schemas/apps/gnome-terminal/keybindings/switch_to_tab_6</key>
956
<applyto>/apps/gnome-terminal/keybindings/switch_to_tab_6</applyto>
957
<owner>gnome-terminal</owner>
959
<default><Alt>6</default>
961
<short>Keyboard shortcut to switch to tab 6</short>
963
Keyboard shortcut key for switch to tab 6. Expressed as a string
964
in the same format used for GTK+ resource files.
965
If you set the option to the special string "disabled", then there
966
will be no keyboard shortcut for this action.
972
<key>/schemas/apps/gnome-terminal/keybindings/switch_to_tab_7</key>
973
<applyto>/apps/gnome-terminal/keybindings/switch_to_tab_7</applyto>
974
<owner>gnome-terminal</owner>
976
<default><Alt>7</default>
978
<short>Keyboard shortcut to switch to tab 7</short>
980
Keyboard shortcut key for switch to tab 7. Expressed as a string
981
in the same format used for GTK+ resource files.
982
If you set the option to the special string "disabled", then there
983
will be no keyboard shortcut for this action.
989
<key>/schemas/apps/gnome-terminal/keybindings/switch_to_tab_8</key>
990
<applyto>/apps/gnome-terminal/keybindings/switch_to_tab_8</applyto>
991
<owner>gnome-terminal</owner>
993
<default><Alt>8</default>
995
<short>Keyboard shortcut to switch to tab 8</short>
997
Keyboard shortcut key for switch to tab 8. Expressed as a string
998
in the same format used for GTK+ resource files.
999
If you set the option to the special string "disabled", then there
1000
will be no keyboard shortcut for this action.
1006
<key>/schemas/apps/gnome-terminal/keybindings/switch_to_tab_9</key>
1007
<applyto>/apps/gnome-terminal/keybindings/switch_to_tab_9</applyto>
1008
<owner>gnome-terminal</owner>
1010
<default><Alt>9</default>
1012
<short>Keyboard shortcut to switch to tab 9</short>
1014
Keyboard shortcut key for switch to tab 9. Expressed as a string
1015
in the same format used for GTK+ resource files.
1016
If you set the option to the special string "disabled", then there
1017
will be no keyboard shortcut for this action.
1023
<key>/schemas/apps/gnome-terminal/keybindings/switch_to_tab_10</key>
1024
<applyto>/apps/gnome-terminal/keybindings/switch_to_tab_10</applyto>
1025
<owner>gnome-terminal</owner>
1029
<short>Keyboard shortcut to switch to tab 10</short>
1031
Keyboard shortcut key for switch to tab 10. Expressed as a string
1032
in the same format used for GTK+ resource files.
1033
If you set the option to the special string "disabled", then there
1034
will be no keyboard shortcut for this action.
1040
<key>/schemas/apps/gnome-terminal/keybindings/switch_to_tab_11</key>
1041
<applyto>/apps/gnome-terminal/keybindings/switch_to_tab_11</applyto>
1042
<owner>gnome-terminal</owner>
1046
<short>Keyboard shortcut to switch to tab 11</short>
1048
Keyboard shortcut key for switch to tab 11. Expressed as a string
1049
in the same format used for GTK+ resource files.
1050
If you set the option to the special string "disabled", then there
1051
will be no keyboard shortcut for this action.
1057
<key>/schemas/apps/gnome-terminal/keybindings/switch_to_tab_12</key>
1058
<applyto>/apps/gnome-terminal/keybindings/switch_to_tab_12</applyto>
1059
<owner>gnome-terminal</owner>
1063
<short>Keyboard shortcut to switch to tab 12</short>
1065
Keyboard shortcut key for switch to tab 12. Expressed as a string
1066
in the same format used for GTK+ resource files.
1067
If you set the option to the special string "disabled", then there
1068
will be no keyboard shortcut for this action.
1074
<key>/schemas/apps/gnome-terminal/keybindings/help</key>
1075
<applyto>/apps/gnome-terminal/keybindings/help</applyto>
1076
<owner>gnome-terminal</owner>
1078
<default>F1</default>
1080
<short>Keyboard shortcut to launch help</short>
1082
Keyboard shortcut key for launching help. Expressed as a string
1083
in the same format used for GTK+ resource files.
1084
If you set the option to the special string "disabled", then there
1085
will be no keyboard shortcut for this action.
1091
<key>/schemas/apps/gnome-terminal/keybindings/zoom_in</key>
1092
<applyto>/apps/gnome-terminal/keybindings/zoom_in</applyto>
1093
<owner>gnome-terminal</owner>
1095
<default><Ctrl>plus</default>
1097
<short>Keyboard shortcut to make font larger</short>
1099
Keyboard shortcut key for making font larger. Expressed as a string
1100
in the same format used for GTK+ resource files.
1101
If you set the option to the special string "disabled", then there
1102
will be no keyboard shortcut for this action.
1108
<key>/schemas/apps/gnome-terminal/keybindings/zoom_out</key>
1109
<applyto>/apps/gnome-terminal/keybindings/zoom_out</applyto>
1110
<owner>gnome-terminal</owner>
1112
<default><Ctrl>minus</default>
1114
<short>Keyboard shortcut to make font smaller</short>
1116
Keyboard shortcut key for making font smaller. Expressed as a string
1117
in the same format used for GTK+ resource files.
1118
If you set the option to the special string "disabled", then there
1119
will be no keyboard shortcut for this action.
1125
<key>/schemas/apps/gnome-terminal/keybindings/zoom_normal</key>
1126
<applyto>/apps/gnome-terminal/keybindings/zoom_normal</applyto>
1127
<owner>gnome-terminal</owner>
1129
<default><Ctrl>0</default>
1131
<short>Keyboard shortcut to make font normal-size</short>
1133
Keyboard shortcut key for making font the normal size. Expressed as a string
1134
in the same format used for GTK+ resource files.
1135
If you set the option to the special string "disabled", then there
1136
will be no keyboard shortcut for this action.