diff --git a/app/src/processing/mode/java/JavaEditor.java b/app/src/processing/mode/java/JavaEditor.java index 300a81a45..cb9c48471 100644 --- a/app/src/processing/mode/java/JavaEditor.java +++ b/app/src/processing/mode/java/JavaEditor.java @@ -552,6 +552,13 @@ public class JavaEditor extends Editor { } + public void statusError(String what) { + super.statusError(what); +// new Exception("deactivating RUN").printStackTrace(); + toolbar.deactivate(JavaToolbar.RUN); + } + + /** * Deactivate the Run button. This is called by Runner to notify that the * sketch has stopped running, usually in response to an error (or maybe