|
|
3.
|
|
|
Run;
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../gnome-terminal.desktop.in.in.h:3
|
|
|
4.
|
|
|
New Terminal
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/terminal-app.cc:576
|
|
|
19.
|
|
|
Match as _regular expression
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/search-popover.ui:204
|
|
|
44.
|
|
|
Default color of bold text in the terminal
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/org.gnome.Terminal.gschema.xml:149
|
|
|
45.
|
|
|
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
|
|
|
46.
|
|
|
Whether bold text should use the same color as normal text
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/org.gnome.Terminal.gschema.xml:154
|
|
|
47.
|
|
|
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
|
|
|
58.
|
|
|
Whether to use custom terminal size for new windows
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../src/gnome-terminal.schemas.in.h:44
|
|
|
59.
|
|
|
If true, newly created terminal windows will have custom size specified by default_size_columns and default_size_rows.
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../src/gnome-terminal.schemas.in.h:45
|
|
|
60.
|
|
|
Default number of columns
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/org.gnome.Terminal.gschema.xml:229
|
