Translations by David Lodge

David Lodge has submitted the following strings to this translation. Contributions are visually coded: currently used translations, unreviewed suggestions, rejected suggestions.

150 of 325 results
1.
Terminal
2006-03-20
Terminal
2.
Use the command line
2006-03-20
Command line
10.
A_vailable encodings:
2006-03-20
A_vailable encodings:
11.
Add or Remove Terminal Encodings
2006-03-20
Add or Remove Terminal Encodings
12.
E_ncodings shown in menu:
2006-03-20
E_ncodings shown in menu:
20.
A subset of possible encodings are presented in the Encoding submenu. This is a list of encodings to appear there. The special encoding name "current" means to display the encoding of the current locale.
2006-03-20
A subset of possible encodings are presented in the Encoding submenu. This is a list of encodings to appear there. The special encoding name "current" means to display the encoding of the current locale.
21.
A value between 0.0 and 1.0 indicating how much to darken the background image. 0.0 means no darkness, 1.0 means fully dark. In the current implementation, there are only two levels of darkness possible, so the setting behaves as a boolean, where 0.0 disables the darkening effect.
2006-03-20
A value between 0.0 and 1.0 indicating how much to darken the background image. 0.0 means no darkness, 1.0 means fully dark. In the current implementation, there are only two levels of darkness possible, so the setting behaves as a boolean, where 0.0 disables the darkening effect.
28.
An Pango font name. Examples are "Sans 12" or "Monospace Bold 14".
2006-03-20
An Pango font name. Examples are "Sans 12" or "Monospace Bold 14".
29.
Background image
2006-03-20
Background image
30.
Background type
2006-03-20
Background type
31.
Characters that are considered "part of a word"
2006-03-20
Characters that are considered "part of a word"
32.
Custom command to use instead of the shell
2006-03-20
Custom command to use instead of the shell
36.
Default color of terminal background
2006-03-20
Default colour of terminal background
37.
Default color of terminal background, as a color specification (can be HTML-style hex digits, or a color name such as "red").
2006-03-20
Default colour of terminal background, as a colour specification (can be HTML-style hex digits, or a colour name such as "red").
38.
Default color of text in the terminal
2006-03-20
Default colour of text in the terminal
39.
Default color of text in the terminal, as a color specification (can be HTML-style hex digits, or a color name such as "red").
2006-03-20
Default colour of text in the terminal, as a colour specification (can be HTML-style hex digits, or a colour name such as "red").
42.
Effect of the Backspace key
2006-03-20
Effect of the Backspace key
43.
Effect of the Delete key
2006-03-20
Effect of the Delete key
44.
Filename of a background image.
2006-03-20
Filename of a background image.
45.
Font
2006-03-20
Font
47.
How much to darken the background image
2006-03-20
How much to darken the background image
48.
Human-readable name of the profile
2006-03-20
Human-readable name of the profile
49.
Human-readable name of the profile.
2006-03-20
Human-readable name of the profile.
50.
Icon for terminal window
2006-03-20
Icon for terminal window
51.
Icon to use for tabs/windows containing this profile.
2006-03-20
Icon to use for tabs/windows containing this profile.
52.
If the application in the terminal sets the title (most typically people have their shell set up to do this), the dynamically-set title can erase the configured title, go before it, go after it, or replace it. The possible values are "replace", "before", "after", and "ignore".
2006-03-20
If the application in the terminal sets the title (most typically people have their shell set up to do this), the dynamically-set title can erase the configured title, go before it, go after it, or replace it. The possible values are "replace", "before", "after", and "ignore".
53.
If true, allow applications in the terminal to make text boldface.
2006-03-20
If true, allow applications in the terminal to make text boldface.
55.
If true, don't make a noise when applications send the escape sequence for the terminal bell.
2006-03-20
If true, don't make a noise when applications send the escape sequence for the terminal bell.
57.
If true, pressing a key jumps the scrollbar to the bottom.
2006-03-20
If true, pressing a key jumps the scrollbar to the bottom.
58.
If true, scroll the background image with the foreground text; if false, keep the image in a fixed position and scroll the text above it.
2006-03-20
If true, scroll the background image with the foreground text; if false, keep the image in a fixed position and scroll the text above it.
61.
If true, the command inside the terminal will be launched as a login shell. (argv[0] will have a hyphen in front of it.)
2006-03-20
If true, the command inside the terminal will be launched as a login shell. (argv[0] will have a hyphen in front of it.)
62.
If true, the system login records utmp and wtmp will be updated when the command inside the terminal is launched.
2006-03-20
If true, the system login records utmp and wtmp will be updated when the command inside the terminal is launched.
63.
If true, the terminal will use the desktop-global standard font if it's monospace (and the most similar font it can come up with otherwise).
2006-03-20
If true, the terminal will use the desktop-global standard font if it's monospace (and the most similar font it can come up with otherwise).
64.
If true, the theme color scheme used for text entry boxes will be used for the terminal, instead of colors provided by the user.
2006-03-20
If true, the theme colour scheme used for text entry boxes will be used for the terminal, instead of colours provided by the user.
66.
If true, the value of the custom_command setting will be used in place of running a shell.
2006-03-20
If true, the value of the custom_command setting will be used in place of running a shell.
67.
If true, whenever there's new output the terminal will scroll to the bottom.
2006-03-20
If true, whenever there's new output the terminal will scroll to the bottom.
68.
Keyboard shortcut key for bringing up the dialog for profile creation. Expressed as a string in the same format used for GTK+ resource files. If you set the option to the special string "disabled", then there will be no keyboard shortcut for this action.
2006-03-20
Keyboard shortcut key for bringing up the dialog for profile creation. Expressed as a string in the same format used for GTK+ resource files. If you set the option to the special string "disabled", then there will be no keyboard shortcut for this action.
2006-03-20
Keyboard shortcut key for bringing up the dialog for profile creation. Expressed as a string in the same format used for GTK+ resource files. If you set the option to the special string "disabled", then there will be no keyboard shortcut for this action.
2006-03-20
Keyboard shortcut key for bringing up the dialog for profile creation. Expressed as a string in the same format used for GTK+ resource files. If you set the option to the special string "disabled", then there will be no keyboard shortcut for this action.
69.
Keyboard shortcut key for closing a tab. Expressed as a string in the same format used for GTK+ resource files. If you set the option to the special string "disabled", then there will be no keyboard shortcut for this action.
2006-03-20
Keyboard shortcut key for closing a tab. Expressed as a string in the same format used for GTK+ resource files. If you set the option to the special string "disabled", then there will be no keyboard shortcut for this action.
70.
Keyboard shortcut key for closing a window. Expressed as a string in the same format used for GTK+ resource files. If you set the option to the special string "disabled", then there will be no keyboard shortcut for this action.
2006-03-20
Keyboard shortcut key for closing a window. Expressed as a string in the same format used for GTK+ resource files. If you set the option to the special string "disabled", then there will be no keyboard shortcut for this action.
71.
Keyboard shortcut key for copying selected text to the clipboard. Expressed as a string in the same format used for GTK+ resource files. If you set the option to the special string "disabled", then there will be no keyboard shortcut for this action.
2006-03-20
Keyboard shortcut key for copying selected text to the clipboard. Expressed as a string in the same format used for GTK+ resource files. If you set the option to the special string "disabled", then there will be no keyboard shortcut for this action.
72.
Keyboard shortcut key for launching help. Expressed as a string in the same format used for GTK+ resource files. If you set the option to the special string "disabled", then there will be no keyboard shortcut for this action.
2006-03-20
Keyboard shortcut key for launching help. Expressed as a string in the same format used for GTK+ resource files. If you set the option to the special string "disabled", then there will be no keyboard shortcut for this action.
73.
Keyboard shortcut key for making font larger. Expressed as a string in the same format used for GTK+ resource files. If you set the option to the special string "disabled", then there will be no keyboard shortcut for this action.
2006-03-20
Keyboard shortcut key for making font larger. Expressed as a string in the same format used for GTK+ resource files. If you set the option to the special string "disabled", then there will be no keyboard shortcut for this action.
74.
Keyboard shortcut key for making font smaller. Expressed as a string in the same format used for GTK+ resource files. If you set the option to the special string "disabled", then there will be no keyboard shortcut for this action.
2006-03-20
Keyboard shortcut key for making font smaller. Expressed as a string in the same format used for GTK+ resource files. If you set the option to the special string "disabled", then there will be no keyboard shortcut for this action.
75.
Keyboard shortcut key for making font the normal size. Expressed as a string in the same format used for GTK+ resource files. If you set the option to the special string "disabled", then there will be no keyboard shortcut for this action.
2006-03-20
Keyboard shortcut key for making font the normal size. Expressed as a string in the same format used for GTK+ resource files. If you set the option to the special string "disabled", then there will be no keyboard shortcut for this action.
76.
Keyboard shortcut key for opening a new tab. Expressed as a string in the same format used for GTK+ resource files. If you set the option to the special string "disabled", then there will be no keyboard shortcut for this action.
2006-03-20
Keyboard shortcut key for opening a new tab. Expressed as a string in the same format used for GTK+ resource files. If you set the option to the special string "disabled", then there will be no keyboard shortcut for this action.
77.
Keyboard shortcut key for opening a new window. Expressed as a string in the same format used for GTK+ resource files. If you set the option to the special string "disabled", then there will be no keyboard shortcut for this action.
2006-03-20
Keyboard shortcut key for opening a new window. Expressed as a string in the same format used for GTK+ resource files. If you set the option to the special string "disabled", then there will be no keyboard shortcut for this action.
78.
Keyboard shortcut key for pasting the contents of the clipboard into the terminal. Expressed as a string in the same format used for GTK+ resource files. If you set the option to the special string "disabled", then there will be no keyboard shortcut for this action.
2006-03-20
Keyboard shortcut key for pasting the contents of the clipboard into the terminal. Expressed as a string in the same format used for GTK+ resource files. If you set the option to the special string "disabled", then there will be no keyboard shortcut for this action.
79.
Keyboard shortcut key for switch to tab 1. Expressed as a string in the same format used for GTK+ resource files. If you set the option to the special string "disabled", then there will be no keyboard shortcut for this action.
2006-03-20
Keyboard shortcut key for switch to tab 1. Expressed as a string in the same format used for GTK+ resource files. If you set the option to the special string "disabled", then there will be no keyboard shortcut for this action.