|
70.
|
|
|
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.h:10
|
|
76.
|
|
|
Custom color of the background of the terminal's cursor, as a color specification (can be HTML-style hex digits, or a color name such as "red"). This is ignored if cursor-colors-set is false.
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../src/org.gnome.Terminal.gschema.xml.h:16
|
|
78.
|
|
|
Custom color for the foreground of the text character at the terminal's cursor position, as a color specification (can be HTML-style hex digits, or a color name such as "red"). This is ignored if cursor-colors-set is false.
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../src/org.gnome.Terminal.gschema.xml.h:18
|
|
82.
|
|
|
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.h:22
|
|
84.
|
|
|
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.h:24
|
|
105.
|
|
|
Possible values are "close" to close the terminal, "restart" to restart the command, and "hold" to keep the terminal open with no command running inside.
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../src/org.gnome.Terminal.gschema.xml.h:45
|
|
376.
|
|
|
Option "%s " is deprecated and might be removed in a later version of gnome-terminal.
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../src/terminal-options.c:222
|