cleaning up toolbar, tweaking theme, editor listener...

This commit is contained in:
benfry
2011-01-26 15:38:30 +00:00
parent ff8c284f09
commit 54bf1c34a0
7 changed files with 28 additions and 16 deletions

View File

@@ -35,10 +35,17 @@ import processing.app.SketchException;
public class JavaEditor extends Editor {
JavaMode jmode;
// TODO this needs prefs to be applied when necessary
PdeKeyListener listener;
protected JavaEditor(Base base, String path, int[] location, Mode mode) {
super(base, path, location, mode);
super(base, path, location, mode);
// hopefully these are no longer needed w/ swing
// (har har har.. that was wishful thinking)
listener = new PdeKeyListener(this, textarea);
jmode = (JavaMode) mode;
}

View File

@@ -30,7 +30,6 @@ import processing.app.Base;
import processing.app.Editor;
import processing.app.Mode;
import processing.app.RunnerListener;
import processing.app.Settings;
import processing.app.Sketch;
import processing.app.SketchException;
import processing.app.syntax.PdeKeywords;
@@ -62,13 +61,6 @@ public class JavaMode extends Mode {
"Could not load keywords.txt, please re-install Processing.", e);
}
try {
theme = new Settings(new File(folder, "theme/theme.txt"));
} catch (IOException e) {
Base.showError("Problem loading theme.txt",
"Could not load theme.txt, please re-install Processing", e);
}
/*
item = newJMenuItem("Export", 'E');
if (editor != null) {