@@ -80,21 +80,6 @@ protected JavaEditor(Base base, String path, EditorState state,
8080 debugger = new Debugger (this );
8181 inspector = new VariableInspector (this );
8282
83- // set action on frame close
84- // addWindowListener(new WindowAdapter() {
85- // @Override
86- // public void windowClosing(WindowEvent e) {
87- // onWindowClosing(e);
88- // }
89- // });
90-
91-
92- // // load settings from theme.txt
93- // breakpointColor = mode.getColor("breakpoint.bgcolor");
94- // breakpointMarkerColor = mode.getColor("breakpoint.marker.color");
95- // currentLineColor = mode.getColor("currentline.bgcolor");
96- // currentLineMarkerColor = mode.getColor("currentline.marker.color");
97-
9883 // set breakpoints from marker comments
9984 for (LineID lineID : stripBreakpointComments ()) {
10085 //System.out.println("setting: " + lineID);
@@ -119,7 +104,7 @@ protected JavaEditor(Base base, String path, EditorState state,
119104 // add our hacked version back to the editor
120105 box .add (textAndError );
121106
122- getJavaTextArea ().setMode (jmode );
107+ getPdeTextArea ().setMode (jmode );
123108
124109 preprocessingService = new PreprocessingService (this );
125110 pdex = new PDEX (this , preprocessingService );
@@ -134,12 +119,6 @@ public void windowLostFocus(WindowEvent e) {
134119
135120 public void windowGainedFocus (WindowEvent e ) { }
136121 });
137-
138- textarea .addCaretListener (new CaretListener () {
139- public void caretUpdate (CaretEvent e ) {
140- updateEditorStatus ();
141- }
142- });
143122 }
144123
145124
0 commit comments