| FazBrowse GitHub Viewer | Trending | | Home |
| Tools: [Download Repo ZIP] [Original HTTPS Page] |
1 parent 7135a40 commit 27aaa4f
2 files changed
| 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 | ||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
@@ -275,7 +275,6 @@ public void run() { | |||
| 275 | 275 | astGenerator.buildAST(lastCodeCheckResult.sourceCode, | |
| 276 | 276 | lastCodeCheckResult.compilationUnit); | |
| 277 | 277 | } | |
| 278 | - handleErrorCheckingToggle(); | ||
| 279 | 278 | ||
| 280 | 279 | while (running) { | |
| 281 | 280 | try { | |
@@ -1556,18 +1555,18 @@ public static String substituteUnicode(String program) { | |||
| 1556 | 1555 | return new String(p2, 0, index); | |
| 1557 | 1556 | } | |
| 1558 | 1557 | ||
| 1558 | + | ||
| 1559 | 1559 | public void handleErrorCheckingToggle() { | |
| 1560 | 1560 | if (!JavaMode.errorCheckEnabled) { | |
| 1561 | - Messages.log(editor.getSketch().getName() + " Error Checker paused."); | ||
| 1562 | - //editor.clearErrorPoints(); | ||
| 1561 | + Messages.log(editor.getSketch().getName() + " Error Checker disabled."); | ||
| 1563 | 1562 | editor.getErrorPoints().clear(); | |
| 1564 | 1563 | lastCodeCheckResult.problems.clear(); | |
| 1565 | 1564 | updateErrorTable(Collections.<Problem>emptyList()); | |
| 1566 | 1565 | updateEditorStatus(); | |
| 1567 | 1566 | editor.getTextArea().repaint(); | |
| 1568 | 1567 | editor.repaintErrorBar(); | |
| 1569 | 1568 | } else { | |
| 1570 | - Messages.log(editor.getSketch().getName() + " Error Checker resumed."); | ||
| 1569 | + Messages.log(editor.getSketch().getName() + " Error Checker enabled."); | ||
| 1571 | 1570 | request(); | |
| 1572 | 1571 | } | |
| 1573 | 1572 | } | |
| Back | FazBrowse Home | New Git URL |
0 commit comments