<?xml version="1.0" encoding="utf-8"?>
<manifest xmlns:android="http://schemas.android.com/apk/res/android"
package="de.cwde.shisensho"
- android:versionCode="1"
- android:versionName="0.1">
+ android:versionCode="2"
+ android:versionName="0.2">
<uses-sdk android:minSdkVersion="5" android:targetSdkVersion="10"></uses-sdk>
public void setOptions() {
SharedPreferences sharedPref = PreferenceManager.getDefaultSharedPreferences(this);
- int size = sharedPref.getInt("size", 1);
- int difficulty = sharedPref.getInt("difficulty", 1);
- boolean gravity = sharedPref.getBoolean("gravity", true);
- boolean timeCounter = sharedPref.getBoolean("timeCounter", true);
+ // FIXME: handle NumberFormatException here?
+ 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);
boolean needsReset = false;