|
|
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
|
|
|
6.
|
|
|
Specify file containing saved configuration
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../src/eggsmclient.c:229
|
|
|
8.
|
|
|
Specify session management ID
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../src/eggsmclient.c:232
|
|
|
10.
|
|
|
Session management options:
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../src/eggsmclient.c:253
|
|
|
11.
|
|
|
Show session management options
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../src/eggsmclient.c:254
|
|
|
19.
|
|
|
Match as _regular expression
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/search-popover.ui:204
|
|
|
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
|
