2
<enum id='org.gnome.gedit.plugins.terminal.VteTerminalCursorBlinkMode'>
3
<value nick='system' value='0'/>
4
<value nick='on' value='1'/>
5
<value nick='off' value='2'/>
7
<enum id='org.gnome.gedit.plugins.terminal.VteTerminalCursorShape'>
8
<value nick='block' value='0'/>
9
<value nick='ibeam' value='1'/>
10
<value nick='underline' value='2'/>
13
<schema gettext-domain="@GETTEXT_PACKAGE@" id="org.gnome.gedit.plugins.terminal" path="/org/gnome/gedit/plugins/terminal/">
14
<key name="silent-bell" type="b">
15
<default>true</default>
16
<_summary>Whether to silence terminal bell</_summary>
18
If true, don't make a noise when applications send the
19
escape sequence for the terminal bell.
22
<key name="scrollback-lines" type="i">
23
<default>100</default>
24
<_summary>Number of lines to keep in scrollback</_summary>
26
Number of scrollback lines to keep around. You can
27
scroll back in the terminal by this number of lines;
28
lines that don't fit in the scrollback are discarded.
29
If scrollback-unlimited is true, this value is ignored.
32
<key name="scrollback-unlimited" type="b">
33
<default>false</default>
35
Whether an unlimited number of lines should be kept in scrollback
38
If true, scrollback lines will never be discarded. The scrollback
39
history is stored on disk temporarily, so this may cause the system
40
to run out of disk space if there is a lot of output to the
44
<key name="scrollback-on-keystroke" type="b">
45
<default>true</default>
46
<_summary>Whether to scroll to the bottom when a key is pressed</_summary>
48
If true, pressing a key jumps the scrollbar to the bottom.
51
<key name="scrollback-on-output" type="b">
52
<default>false</default>
53
<_summary>Whether to scroll to the bottom when there's new output</_summary>
55
If true, whenever there's new output the terminal will scroll
59
<key name="allow-bold" type="b">
60
<default>true</default>
61
<_summary>Whether to allow bold text</_summary>
63
If true, allow applications in the terminal to make text boldface.
66
<key name="word-chars" type="s">
67
<default>'-A-Za-z0-9,./?%&#:_'</default>
68
<_summary>Characters that are considered "part of a word"</_summary>
70
When selecting text by word, sequences of these characters
71
are considered single words. Ranges can be given as
72
"A-Z". Literal hyphen (not expressing a range) should be
73
the first character given.
76
<key name="foreground-color" type="s">
77
<default>'#000000'</default>
78
<_summary>Default color of text in the terminal</_summary>
80
Default color of text in the terminal, as a color
81
specification (can be HTML-style hex digits, or
82
a color name such as "red").
85
<key name="background-color" type="s">
86
<default>'#FFFFDD'</default>
87
<_summary>Default color of terminal background</_summary>
89
Default color of terminal background, as a color
90
specification (can be HTML-style hex digits, or
91
a color name such as "red").
94
<key name="palette" type="s">
95
<default>'#2E2E34343636:#CCCC00000000:#4E4E9A9A0606:#C4C4A0A00000:#34346565A4A4:#757550507B7B:#060698209A9A:#D3D3D7D7CFCF:#555557575353:#EFEF29292929:#8A8AE2E23434:#FCFCE9E94F4F:#72729F9FCFCF:#ADAD7F7FA8A8:#3434E2E2E2E2:#EEEEEEEEECEC'</default>
96
<_summary>Palette for terminal applications</_summary>
98
Terminals have a 16-color palette that applications inside
99
the terminal can use. This is that palette, in the form
100
of a colon-separated list of color names. Color names
101
should be in hex format e.g. "#FF00FF"
104
<key name="use-theme-colors" type="b">
105
<default>true</default>
107
Whether to use the colors from the theme for the terminal widget
110
If true, the theme color scheme used for text entry boxes will
111
be used for the terminal, instead of colors provided by the user.
114
<key name="cursor-blink-mode" enum="org.gnome.gedit.plugins.terminal.VteTerminalCursorBlinkMode">
115
<default>'system'</default>
116
<_summary>Whether to blink the cursor</_summary>
118
The possible values are "system" to use the global cursor blinking
119
settings, or "on" or "off" to set the mode explicitly.
122
<key name="cursor-shape" enum="org.gnome.gedit.plugins.terminal.VteTerminalCursorShape">
123
<default>'block'</default>
124
<_summary>The cursor appearance</_summary>
126
The possible values are "block" to use a block cursor, "ibeam" to
127
use a vertical line cursor, or "underline" to use an underline cursor.
130
<key name="use-system-font" type="b">
131
<default>true</default>
132
<_summary>Whether to use the system font</_summary>
134
If true, the terminal will use the desktop-global standard
135
font if it's monospace (and the most similar font it can
136
come up with otherwise).
139
<key name="font" type="s">
140
<default>'Monospace 10'</default>
141
<_summary>Font</_summary>
143
A Pango font name. Examples are "Sans 12" or "Monospace Bold 14".