René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Better handling of float/integer in preferences","articleBody":"Hello, \n\nI'm using the @Pref annotations along with PreferenceFragment so that the built-in preference UI can publish my AA generated preferences.\n\nIt works great with string/checkbox pref (edited with : `EditTextPreference` / `CheckBoxPreference`), but there is an issue with a number (int or float).\n\nI use a this declaration to publish my float preference :\n\n```\n    \u003cEditTextPreference\n        android:key=\"listMaxSpeed\"\n        android:numeric=\"integer\"\n        android:title=\"Max speed for list\" /\u003e\n```\n\nWhen I update the value and try to use it with the `Pref_` class, I get this error : \n\n```\n Caused by: java.lang.ClassCastException: java.lang.String cannot be cast to java.lang.Float\n    at android.app.SharedPreferencesImpl.getFloat(SharedPreferencesImpl.java:254)\n    at com.googlecode.androidannotations.api.sharedpreferences.FloatPrefField.getOr(FloatPrefField.java:34)\n```\n\nThe reason is `EditTextPreference` convert the value to string which is not very smart.\nOf course, the `Pref_` class expects a float (and rightfully so).\n\nWould it possible to add this use case when doing : \n\n```\n    public float getOr(float defaultValue) {\n        return sharedPreferences.getFloat(key, defaultValue);\n    }\n```\n\n... and add a conversion from string to float if the value has been converted to a string by the (stupid) preference UI ?\n\nNote : I can provide a patch (and tests).\n","author":{"url":"https://github.com/PerfectCarl","@type":"Person","name":"PerfectCarl"},"datePublished":"2013-02-13T15:23:58.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":5},"url":"https://github.com/503/androidannotations/issues/503"}