Changes
Summary
- Adds a check to avoid managing the console of external tools. Fixes #763 (commit: ab7de77) (details)
![]() | ide/debug/src/main/java/org/overture/ide/debug/ui/DebugConsoleManager.java |
![]() | ide/debug/src/main/java/org/overture/ide/debug/ui/DebugConsoleManager.java |