Changes

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)
	ide/debug/src/main/java/org/overture/ide/debug/ui/DebugConsoleManager.java