diff -r 89f1be755b8d -r 7caab0161cf9 res/layout/preferences.xml
--- a/res/layout/preferences.xml Mon Jul 16 11:43:10 2012 +0200
+++ b/res/layout/preferences.xml Mon Jul 16 15:43:55 2012 +0200
@@ -101,7 +101,7 @@
@@ -117,7 +117,7 @@
android:key="settings_key_priority"
android:title="@string/SettingsPriorityTitle"
android:summary="@string/SettingsPrioritySummary"
- android:numeric="signed"
+ android:inputType="numberSigned"
android:defaultValue="0" />
@@ -219,7 +219,7 @@
android:summary="@string/SettingsAdvancedPortOpt"
android:title="@string/settings_xmpp_port"
android:defaultValue="5222"
- android:numeric="signed"
+ android:inputType="numberSigned"
android:key="settings_key_xmpp_port"
android:hint="@string/comments_xmpp_port" />