88
99
1010public class PDEX {
11- static private final boolean SHOW_DEBUG_TREE = false ;
12-
1311 private boolean enabled = true ;
1412
1513 private ErrorChecker errorChecker ;
1614
1715 private InspectMode inspect ;
1816 private ShowUsage usage ;
1917 private Rename rename ;
20- private DebugTree debugTree ;
2118
2219 private PreprocessingService pps ;
2320
@@ -33,10 +30,6 @@ public PDEX(JavaEditor editor, PreprocessingService pps) {
3330 inspect = new InspectMode (editor , pps , usage );
3431 rename = new Rename (editor , pps , usage );
3532
36- if (SHOW_DEBUG_TREE ) {
37- debugTree = new DebugTree (editor , pps );
38- }
39-
4033 for (SketchCode code : editor .getSketch ().getCode ()) {
4134 Document document = code .getDocument ();
4235 addDocumentListener (document );
@@ -47,26 +40,25 @@ public PDEX(JavaEditor editor, PreprocessingService pps) {
4740
4841
4942 public void addDocumentListener (Document doc ) {
50- if (doc != null ) doc .addDocumentListener (sketchChangedListener );
51- }
52-
53-
54- final DocumentListener sketchChangedListener = new DocumentListener () {
55- @ Override
56- public void insertUpdate (DocumentEvent e ) {
57- sketchChanged ();
43+ if (doc != null ) {
44+ doc .addDocumentListener (new DocumentListener () {
45+ @ Override
46+ public void insertUpdate (DocumentEvent e ) {
47+ sketchChanged ();
48+ }
49+
50+ @ Override
51+ public void removeUpdate (DocumentEvent e ) {
52+ sketchChanged ();
53+ }
54+
55+ @ Override
56+ public void changedUpdate (DocumentEvent e ) {
57+ sketchChanged ();
58+ }
59+ });
5860 }
59-
60- @ Override
61- public void removeUpdate (DocumentEvent e ) {
62- sketchChanged ();
63- }
64-
65- @ Override
66- public void changedUpdate (DocumentEvent e ) {
67- sketchChanged ();
68- }
69- };
61+ }
7062
7163
7264 public void sketchChanged () {
@@ -94,9 +86,6 @@ public void dispose() {
9486 errorChecker .dispose ();
9587 usage .dispose ();
9688 rename .dispose ();
97- if (debugTree != null ) {
98- debugTree .dispose ();
99- }
10089 }
10190
10291
0 commit comments