ide/Debugger: (#780) Hiding debugging views on Debug/Stop

diff --git a/ide/src/debugger/Debugger.ec b/ide/src/debugger/Debugger.ec
index dbbd054..49a61f9 100644 (file)
--- a/ide/src/debugger/Debugger.ec
+++ b/ide/src/debugger/Debugger.ec
@@ -664,6 +664,7 @@ class Debugger
             GdbAbortExec();
          case loaded:
             GdbExit();
+            HideDebuggerViews();
             break;
       }
    }