Handle error checker toggle

JakubValtar · JakubValtar · commit 27aaa4f0d84d · 2015-09-30T09:50:16.000-04:00
diff --git a/java/src/processing/mode/java/JavaEditor.java b/java/src/processing/mode/java/JavaEditor.java
@@ -2729,13 +2729,14 @@ private boolean checkForJavaTabs() {
   }
 
 
+  @Override
   protected void applyPreferences() {
     super.applyPreferences();
     if (jmode != null) {
       jmode.loadPreferences();
       Messages.log("Applying prefs");
       // trigger it once to refresh UI
-      errorCheckerService.request();
+      errorCheckerService.handleErrorCheckingToggle();
     }
   }
 
diff --git a/java/src/processing/mode/java/pdex/ErrorCheckerService.java b/java/src/processing/mode/java/pdex/ErrorCheckerService.java
@@ -275,7 +275,6 @@ public void run() {
         astGenerator.buildAST(lastCodeCheckResult.sourceCode,
                               lastCodeCheckResult.compilationUnit);
       }
-      handleErrorCheckingToggle();
 
       while (running) {
         try {
@@ -1556,18 +1555,18 @@ public static String substituteUnicode(String program) {
     return new String(p2, 0, index);
   }
 
+
   public void handleErrorCheckingToggle() {
     if (!JavaMode.errorCheckEnabled) {
-      Messages.log(editor.getSketch().getName() + " Error Checker paused.");
-      //editor.clearErrorPoints();
+      Messages.log(editor.getSketch().getName() + " Error Checker disabled.");
       editor.getErrorPoints().clear();
       lastCodeCheckResult.problems.clear();
       updateErrorTable(Collections.<Problem>emptyList());
       updateEditorStatus();
       editor.getTextArea().repaint();
       editor.repaintErrorBar();
     } else {
-      Messages.log(editor.getSketch().getName() + " Error Checker resumed.");
+      Messages.log(editor.getSketch().getName() + " Error Checker enabled.");
       request();
     }
   }

Original file line number	Diff line number	Diff line change
`@@ -2729,13 +2729,14 @@ private boolean checkForJavaTabs() {`
`2729`	`2729`	`}`
`2730`	`2730`
`2731`	`2731`
	`2732`	`+ @Override`
`2732`	`2733`	`protected void applyPreferences() {`
`2733`	`2734`	`super.applyPreferences();`
`2734`	`2735`	`if (jmode != null) {`
`2735`	`2736`	`jmode.loadPreferences();`
`2736`	`2737`	`Messages.log("Applying prefs");`
`2737`	`2738`	`// trigger it once to refresh UI`
`2738`		`- errorCheckerService.request();`
	`2739`	`+ errorCheckerService.handleErrorCheckingToggle();`
`2739`	`2740`	`}`
`2740`	`2741`	`}`
`2741`	`2742`