@Override
public void onCreate(Bundle savedInstanceState) {
super.onCreate(savedInstanceState);
setContentView(R.layout.typein);
try {
Intent intent = getIntent();
if (null == intent) {
finish();
return;
}
String[] saved = intent.getStringArrayExtra(SAVED);
if (null == saved) {
finish();
return;
}
Type type = Types.restoreType(saved, Files.types());
if (null == type) {
finish();
return;
}
Program program = type.restore(saved);
if (null == program) {
finish();
return;
}
scrollView = (ScrollView) findViewById(R.id.sourceCodeVScroll);
sourceView = new SourceView(this, type, program);
ViewGroup.LayoutParams params =
new ViewGroup.LayoutParams(
ViewGroup.LayoutParams.MATCH_PARENT, ViewGroup.LayoutParams.WRAP_CONTENT);
sourceView.setLayoutParams(params);
sourceView.setTextLayout(textLayout());
sourceView.setTextSize(textSize());
sourceView.setVisibleWhitesapces(visibleWhitespaces());
scrollView.addView(sourceView);
scrollView.setOnTouchListener(new OnTouch(this));
registerForContextMenu(scrollView);
if (keepScreenOn()) {
getWindow().addFlags(WindowManager.LayoutParams.FLAG_KEEP_SCREEN_ON);
}
} catch (Throwable throwable) {
AndroidErrorHandler.d(throwable);
finish();
}
}
private void textSize(int textSize) {
sourceView.setTextSize(textSize);
SharedPreferences.Editor editor = SettingsManager.sharedPreferences(TypeInActivity.this).edit();
editor.putString(TextSizeSetting.KEY, Integer.toString(textSize));
editor.commit();
}