- int size = Integer.parseInt(sharedPref.getString("pref_size", "1"));
- int difficulty = Integer.parseInt(sharedPref.getString("pref_diff", "1"));
- boolean gravity = sharedPref.getBoolean("pref_grav", true);
- boolean timeCounter = sharedPref.getBoolean("pref_time", true);
- int tilesetid = tilesetStringToRes(sharedPref.getString("pref_tile", ""));
+ setSize(Integer.parseInt(sp.getString("pref_size", "1")));
+ difficulty = Integer.parseInt(sp.getString("pref_diff", "1"));
+ gravity = sp.getBoolean("pref_grav", true);
+ timeCounter = sp.getBoolean("pref_time", true);
+ tilesetid = sp.getString("pref_tile", "");
+ }
+
+ public void checkForChangedOptions() {
+ SharedPreferences sp = PreferenceManager.getDefaultSharedPreferences(this);
+
+ // FIXME: handle NumberFormatException here?
+ int size = Integer.parseInt(sp.getString("pref_size", "1"));
+ int difficulty = Integer.parseInt(sp.getString("pref_diff", "1"));
+ boolean gravity = sp.getBoolean("pref_grav", true);
+ boolean timeCounter = sp.getBoolean("pref_time", true);
+ String tilesetid = sp.getString("pref_tile", "");