mirror of
https://github.com/processing/processing4.git
synced 2026-02-13 02:20:45 +01:00
changing how editor state info is handled, restoring sketches, recent menu
This commit is contained in:
@@ -22,8 +22,8 @@ public class JavaEditor extends Editor {
|
||||
private Runner runtime;
|
||||
|
||||
|
||||
protected JavaEditor(Base base, String path, int[] location, Mode mode) {
|
||||
super(base, path, location, mode);
|
||||
protected JavaEditor(Base base, String path, EditorState state, Mode mode) {
|
||||
super(base, path, state, mode);
|
||||
|
||||
// hopefully these are no longer needed w/ swing
|
||||
// (har har har.. that was wishful thinking)
|
||||
|
||||
@@ -28,6 +28,7 @@ import java.util.HashMap;
|
||||
|
||||
import processing.app.Base;
|
||||
import processing.app.Editor;
|
||||
import processing.app.EditorState;
|
||||
import processing.app.Mode;
|
||||
import processing.app.RunnerListener;
|
||||
import processing.app.Sketch;
|
||||
@@ -44,8 +45,8 @@ public class JavaMode extends Mode {
|
||||
// static public String librariesClassPath;
|
||||
|
||||
|
||||
public Editor createEditor(Base base, String path, int[] location) {
|
||||
return new JavaEditor(base, path, location, this);
|
||||
public Editor createEditor(Base base, String path, EditorState state) {
|
||||
return new JavaEditor(base, path, state, this);
|
||||
}
|
||||
|
||||
|
||||
|
||||
Reference in New Issue
Block a user