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" />