diff options
Diffstat (limited to 'res')
| -rw-r--r-- | res/values/strings.xml | 3 | ||||
| -rw-r--r-- | res/xml/host_prefs.xml | 10 |
2 files changed, 12 insertions, 1 deletions
diff --git a/res/values/strings.xml b/res/values/strings.xml index e5153ca..ce841a7 100644 --- a/res/values/strings.xml +++ b/res/values/strings.xml @@ -220,6 +220,9 @@ <!-- Host color category preference title --> <string name="hostpref_color_title">Color category</string> + <!-- Host's default font size when opening the terminal in points (pt) --> + <string name="hostpref_fontsize_title">Font size (pt)</string> + <!-- Host pubkey usage preference title --> <string name="hostpref_pubkeyid_title">Use pubkey authentication</string> diff --git a/res/xml/host_prefs.xml b/res/xml/host_prefs.xml index 67f4e9d..2ae9f60 100644 --- a/res/xml/host_prefs.xml +++ b/res/xml/host_prefs.xml @@ -30,7 +30,15 @@ android:entries="@array/list_colors" android:entryValues="@array/list_color_values" /> -<!-- + + <EditTextPreference + android:key="fontsize" + android:title="@string/hostpref_fontsize_title" + android:inputType="number" + android:singleLine="true" + /> + +<!-- <CheckBoxPreference android:key="usekeys" android:title="Use SSH keys" |