|
|
30.
|
|
|
Whether to use custom highlight colors
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/org.gnome.Terminal.gschema.xml:184
|
|
|
31.
|
|
|
If true, use the highlight colors from the profile.
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/org.gnome.Terminal.gschema.xml:185
|
|
|
32.
|
|
|
Highlight background color
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/org.gnome.Terminal.gschema.xml:189
|
|
|
33.
|
|
|
Custom color of the background of the terminal’s highlight, as a color specification (can be HTML-style hex digits, or a color name such as “red”). This is ignored if highlight-colors-set is false.
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/org.gnome.Terminal.gschema.xml:190
|
|
|
34.
|
|
|
Highlight foreground colour
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/org.gnome.Terminal.gschema.xml:194
|
|
|
35.
|
|
|
Custom color for the foreground of the text character at the terminal’s highlight position, as a color specification (can be HTML-style hex digits, or a color name such as “red”). This is ignored if highlight-colors-set is false.
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/org.gnome.Terminal.gschema.xml:195
|
|
|
36.
|
|
|
Whether to allow bold text
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../src/org.gnome.Terminal.gschema.xml.h:31
|
|
|
37.
|
|
|
If true, allow applications in the terminal to make text boldface.
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../src/org.gnome.Terminal.gschema.xml.h:32
|
|
|
38.
|
|
|
Whether bold is also bright
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/org.gnome.Terminal.gschema.xml:214
|
|
|
39.
|
|
|
If true, setting bold on the first 8 colors also switches to their bright variants.
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/org.gnome.Terminal.gschema.xml:215
|
