refresh stuff

2026-02-08 08:09:32 +01:00 · 2013-08-18 12:30:38 +05:30
parent a6af2cf54a
commit bc5eff6141
2 changed files with 3 additions and 1 deletions
--- a/pdex/src/processing/mode/experimental/DebugEditor.java
+++ b/pdex/src/processing/mode/experimental/DebugEditor.java
@@ -476,6 +476,7 @@ public class DebugEditor extends JavaEditor implements ActionListener {
              errorCheckerService.resumeThread();
              System.out.println(thisEditor.getSketch().getName()
                  + " - Error Checker resumed.");
+              errorCheckerService.runManualErrorCheck();
            }
          }
        });
@@ -507,6 +508,7 @@ public class DebugEditor extends JavaEditor implements ActionListener {
          public void actionPerformed(ActionEvent e) {
            errorCheckerService.warningsEnabled = ((JCheckBoxMenuItem) e
                .getSource()).isSelected();
+            errorCheckerService.runManualErrorCheck();
          }
        });
        debugMenu.add(showWarnings);