mark what's complete

2026-02-12 01:50:44 +01:00 · 2015-05-18 11:47:27 -04:00
parent ecee836ad1
commit 63d929072a
2 changed files with 10 additions and 9 deletions
--- a/java/src/processing/mode/java/JavaEditor.java
+++ b/java/src/processing/mode/java/JavaEditor.java
@@ -2154,6 +2154,7 @@ public class JavaEditor extends Editor {
    final boolean enabled = isDebuggerEnabled();
    rebuildToolbar();

+    // Hide the variable inspector if it's currently visible
    if (!enabled && inspector.isVisible()) {
      toggleVariableInspector();
    }