|
|
481.
|
|
|
Underline
|
|
|
Cursor shape
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/preferences.ui:134
|
|
|
482.
|
|
|
Exit the terminal
|
|
|
When command exits
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/preferences.ui:202
|
|
|
483.
|
|
|
Restart the command
|
|
|
When command exits
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/preferences.ui:205
|
|
|
484.
|
|
|
Hold the terminal open
|
|
|
When command exits
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/preferences.ui:208
|
|
|
485.
|
|
|
On the left side
|
|
|
Translators: Scrollbar is: ...
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../src/extra-strings.c:49
|
|
|
486.
|
|
|
On the right side
|
|
|
Translators: Scrollbar is: ...
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../src/extra-strings.c:51
|
|
|
488.
|
|
|
Replace initial title
|
|
|
When terminal commands set their own titles
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/preferences.ui:182
|
|
|
489.
|
|
|
Append initial title
|
|
|
When terminal commands set their own titles
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/preferences.ui:185
|
|
|
490.
|
|
|
Prepend initial title
|
|
|
When terminal commands set their own titles
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/preferences.ui:188
|
|
|
491.
|
|
|
Keep initial title
|
|
|
When terminal commands set their own titles
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/preferences.ui:191
|
