From 98bb4c9b88c53f6d44788115b8eb4bd2cd637ffe Mon Sep 17 00:00:00 2001 From: pelya Date: Thu, 1 Jan 2015 23:05:42 +0200 Subject: [PATCH] Fixed compilation --- project/java/RestartMainActivity.java | 2 ++ project/java/Settings.java | 5 +++-- 2 files changed, 5 insertions(+), 2 deletions(-) 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); }