diff res/xml/preferences.xml @ 192:f0b9ea35711a

read deployment.connections on startup for global preferences also
author Carl Byington <carl@five-ten-sg.com>
date Wed, 02 Jul 2014 18:06:59 -0700
parents 69333ca1563c
children c6157535e180
line wrap: on
line diff
--- a/res/xml/preferences.xml	Wed Jul 02 16:32:28 2014 -0700
+++ b/res/xml/preferences.xml	Wed Jul 02 18:06:59 2014 -0700
@@ -250,7 +250,7 @@
 			android:title="@string/pref_default_font_size"
 			android:summary="@string/pref_default_font_size_summary"
 			android:defaultValue="0"
-			android:numeric="integer"
+			android:numeric="decimal"
 			/>
 
 		<EditTextPreference