@@ -60,31 +60,11 @@ public class JavaEditor extends Editor {
6060 protected LineHighlight currentLine ; // line the debugger is currently suspended at
6161 protected final String breakpointMarkerComment = " //<>//" ; // breakpoint marker comment
6262
63- protected JMenu debugMenu ; // the debug menu
64-
65- // protected JMenuItem debugMenuItem;
66- // protected JMenuItem continueMenuItem;
67- // protected JMenuItem stopMenuItem;
68-
69- // protected JMenuItem toggleBreakpointMenuItem;
70- // protected JMenuItem listBreakpointsMenuItem;
71-
72- // protected JMenuItem stepOverMenuItem;
73- // protected JMenuItem stepIntoMenuItem;
74- // protected JMenuItem stepOutMenuItem;
75-
76- // protected JMenuItem printStackTraceMenuItem;
77- // protected JMenuItem printLocalsMenuItem;
78- // protected JMenuItem printThisMenuItem;
79- // protected JMenuItem printSourceMenuItem;
80- // protected JMenuItem printThreads;
81-
82- // protected JMenuItem toggleVariableInspectorMenuItem;
63+ protected JMenu debugMenu ;
8364
8465 protected Debugger debugger ; // the debugger
8566 protected DebugTray tray ; // the variable inspector frame
8667
87- // public JavaTextArea ta; // the text area
8868 public ErrorBar errorBar ;
8969
9070 protected XQConsoleToggle btnShowConsole ;
@@ -94,16 +74,7 @@ public class JavaEditor extends Editor {
9474 protected XQErrorTable errorTable ;
9575
9676 // TODO how is this different from hasJavaTabs?
97- public boolean compilationCheckEnabled = true ;
98-
99- // protected JCheckBoxMenuItem showWarnings;
100- // public JCheckBoxMenuItem problemWindowMenuCB;
101- // protected JCheckBoxMenuItem debugMessagesEnabled;
102- // protected JMenuItem showOutline;
103- // protected JMenuItem showTabOutline;
104- // protected JCheckBoxMenuItem writeErrorLog;
105- // protected JCheckBoxMenuItem completionsEnabled;
106-
77+ // public boolean compilationCheckEnabled = true;
10778 private boolean hasJavaTabs ;
10879
10980
@@ -2428,7 +2399,6 @@ public boolean hasJavaTabs() {
24282399 private boolean checkForJavaTabs () {
24292400 for (SketchCode code : getSketch ().getCode ()) {
24302401 if (code .getExtension ().equals ("java" )) {
2431- compilationCheckEnabled = false ;
24322402 final String msg =
24332403 getSketch ().getName () + " contains .java tabs. Some editor " +
24342404 "features are not supported for .java tabs and will be disabled." ;
0 commit comments