|
|
14.
|
|
|
Human-readable name of the profile.
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/org.gnome.Terminal.gschema.xml:135
|
|
|
15.
|
|
|
Default color of text in the terminal
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/org.gnome.Terminal.gschema.xml:139
|
|
|
16.
|
|
|
Default color of text in the terminal, as a color specification (can be HTML-style hex digits, or a color name such as “red”).
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/org.gnome.Terminal.gschema.xml:140
|
|
|
17.
|
|
|
Default color of terminal background
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/org.gnome.Terminal.gschema.xml:144
|
|
|
18.
|
|
|
Default color of terminal background, as a color specification (can be HTML-style hex digits, or a color name such as “red”).
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/org.gnome.Terminal.gschema.xml:145
|
|
|
19.
|
|
|
Default color of bold text in the terminal
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/org.gnome.Terminal.gschema.xml:149
|
|
|
20.
|
|
|
Default color of bold text in the terminal, as a color specification (can be HTML-style hex digits, or a color name such as “red”). This is ignored if bold-color-same-as-fg is true.
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/org.gnome.Terminal.gschema.xml:150
|
|
|
21.
|
|
|
Whether bold text should use the same color as normal text
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/org.gnome.Terminal.gschema.xml:154
|
|
|
22.
|
|
|
If true, boldface text will be rendered using the same color as normal text.
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/org.gnome.Terminal.gschema.xml:155
|
|
|
23.
|
|
|
Scale factor for the cell height to increase line spacing. (Does not increase the font’s height.)
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/org.gnome.Terminal.gschema.xml:160
|
