diff --git a/project/java/RestartMainActivity.java b/project/java/RestartMainActivity.java index 218b6bbc7..cd8482ad4 100644 --- a/project/java/RestartMainActivity.java +++ b/project/java/RestartMainActivity.java @@ -111,7 +111,9 @@ public class RestartMainActivity extends Activity _tv.setMaxLines(2); _tv.setMinLines(2); _tv.setText(R.string.restarting_please_wait); + _tv.setTextSize(30f); _tv.setPadding((int)(width * 0.1), (int)(height * 0.1), (int)(width * 0.1), 0); + _layout.addView(_tv); _videoLayout = new FrameLayout(this); _videoLayout.addView(_layout); diff --git a/project/java/Settings.java b/project/java/Settings.java index 1134bbcf7..b9452aab1 100644 --- a/project/java/Settings.java +++ b/project/java/Settings.java @@ -74,6 +74,7 @@ import android.hardware.Sensor; import android.widget.Toast; import android.content.pm.PackageManager; import android.os.Build; +import android.content.Intent; // TODO: too much code here, split into multiple files, possibly auto-generated menus? @@ -499,8 +500,8 @@ class Settings } catch ( IOException e ) { } new File( p.getFilesDir() + "/" + SettingsFileName ).delete(); - Intent intent = new Intent(context, RestartMainActivity.class); - context.startActivity(intent); + Intent intent = new Intent(p, RestartMainActivity.class); + p.startActivity(intent); System.exit(0); }