|
|
28.
|
|
|
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
|
|
|
51.
|
|
|
If true, scrollback lines will never be discarded. The scrollback history is stored on disk temporarily, so this may cause the system to run out of disk space if there is a lot of output to the terminal.
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/org.gnome.Terminal.gschema.xml:250
|
|
|
57.
|
|
|
If true, the transparency setting defined in the theme will be used for defining the background type of the terminal, instead of the settings provided by the user.
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../src/gnome-terminal.schemas.in.h:97
|
|
|
86.
|
|
|
Keyboard shortcut key to save the current tab contents to a file. Expressed as a string in the same format used for GTK+ resource files. If you set the option to the special string "disabled", then there will be no keyboard shortcut for this action.
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../src/gnome-terminal.schemas.in.h:108
|
|
|
129.
|
|
|
Number of scrollback lines to keep around. You can scroll back in the terminal by this number of lines; lines that don't fit in the scrollback are discarded. If scrollback_unlimited is true, this value is ignored.
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../src/org.gnome.Terminal.gschema.xml.h:37
|
