|
|
3.
|
|
|
Disable connection to session manager
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../src/eggsmclient.c:226
|
|
|
4.
|
|
|
Specify file containing saved configuration
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../src/eggsmclient.c:229
|
|
|
5.
|
|
|
FILE
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/terminal-options.cc:1376
|
|
|
6.
|
|
|
Specify session management ID
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../src/eggsmclient.c:232
|
|
|
7.
|
|
|
ID
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../src/gterminal.vala:102
|
|
|
8.
|
|
|
Session management options:
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../src/eggsmclient.c:253
|
|
|
9.
|
|
|
Show session management options
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../src/eggsmclient.c:254
|
|
|
15.
|
|
|
Match as _regular expression
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/search-popover.ui:204
|
|
|
34.
|
|
|
Default color of bold text in the terminal
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/org.gnome.Terminal.gschema.xml:149
|
|
|
35.
|
|
|
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
|
