res/layout/preferences.xml
changeset 622 b3e1e7e1fddd
parent 526 62a448d5dfe9
child 628 c141eac87368
--- a/res/layout/preferences.xml	Wed Dec 30 02:30:59 2009 +0100
+++ b/res/layout/preferences.xml	Mon Jan 04 02:43:14 2010 +0100
@@ -25,7 +25,7 @@
 		    android:key="settings_key_priority"
 		    android:title="@string/SettingsPriorityTitle"
 		    android:summary="@string/SettingsPrioritySummary"
-		    android:numeric="integer"
+		    android:numeric="signed"
 		    android:defaultValue="0" />
 		<CheckBoxPreference android:title="@string/SettingsCheckboxText"
 			android:defaultValue="false" android:summary="@string/SettingsGmail"