diff options
| -rw-r--r-- | res/xml/host_prefs.xml | 2 | ||||
| -rw-r--r-- | res/xml/preferences.xml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/res/xml/host_prefs.xml b/res/xml/host_prefs.xml index 22b056c..490eeb0 100644 --- a/res/xml/host_prefs.xml +++ b/res/xml/host_prefs.xml @@ -94,7 +94,7 @@ <EditTextPreference android:key="port" android:title="@string/hostpref_port_title" - android:singleLine="true" + android:numeric="integer" /> </PreferenceCategory> diff --git a/res/xml/preferences.xml b/res/xml/preferences.xml index ef2ad49..ec75d48 100644 --- a/res/xml/preferences.xml +++ b/res/xml/preferences.xml @@ -51,7 +51,7 @@ android:title="@string/pref_scrollback_title" android:summary="@string/pref_scrollback_summary" android:defaultValue="140" - android:singleLine="true" + android:numeric="integer" /> </PreferenceCategory> |