+
+ public void onOptionsChanged()
+ {
+ new AlertDialog.Builder(this)
+ .setTitle("Preferences changed!") // FIXME: hardcoded string
+ .setCancelable(true)
+ .setIcon(R.drawable.icon)
+ .setPositiveButton(android.R.string.yes,
+ new DialogInterface.OnClickListener() {
+ public void onClick(DialogInterface dialog, int id) {
+ // User clicked OK button - reset game
+ view.reset();
+ }
+ })
+ .setNegativeButton(android.R.string.no, null)
+ .setMessage("Changes in Preferences will only have an effect if" +
+ " a new game is started. Abort current game and start" +
+ " a new one?") // FIXME: hardcoded string
+ .create()
+ .show();
+ }