Changes
Summary
- Adds a check to avoid managing the console of external tools (commit: 8fdfa29) (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 |