|
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
|
|
14.
|
|
|
E_ncodings shown in menu:
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../src/preferences.ui.h:20
|
|
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
|
|
24.
|
|
|
Profile to use for new terminals
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../src/gnome-terminal.schemas.in.h:3
|
|
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
|
|
26.
|
|
|
Whether the menubar has access keys
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/org.gnome.Terminal.gschema.xml:653
|