[Jenkins]Jenkins

SuccessChanges

Summary

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