SuccessChanges

Summary

  1. Adds a check to avoid managing the console of external tools (commit: 8fdfa29) (details)
Commit 8fdfa2909a8ed1c51884073f3503cb332511cd37 by idhugoid
Adds a check to avoid managing the console of external tools
(commit: 8fdfa29)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/ui/DebugConsoleManager.java