|
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
|
|
5.
|
|
|
Disable connection to session manager
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../src/eggsmclient.c:226
|
|
8.
|
|
|
Specify session management ID
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../src/eggsmclient.c:232
|
|
9.
|
|
|
ID
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../src/gterminal.vala:102
|
|
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
|
|
23.
|
|
|
List of profiles known to gnome-terminal. The list contains strings naming subdirectories relative to /apps/gnome-terminal/profiles.
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../src/gnome-terminal.schemas.in.h:2
|
|
25.
|
|
|
Profile to be used when opening a new window or tab. Must be in profile_list.
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../src/gnome-terminal.schemas.in.h:4
|