+ Log.d("ShisenSho", "starting up...");
+ loadOptions();
+ }
+
+ private void loadOptions() {
+ SharedPreferences sp = PreferenceManager.getDefaultSharedPreferences(this);
+
+ // FIXME: handle NumberFormatException here?
+ 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", "");