SuccessChanges

Summary

  1. Fix condition (commit: 0dee778) (details)
  2. Show VdmDebugConsole on top in the View (commit: 52901b2) (details)
Commit 0dee7780df793555f5bd644b8e8aaa5440993b88 by idhugoid
Fix condition

In case there is an exception coverage is not written
(commit: 0dee778)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/model/internal/VdmThreadStateManager.java
Commit 52901b2937543e2ed461048c49c4301f94cd23b0 by idhugoid
Show VdmDebugConsole on top in the View

The console gets hidden behind the Interpreter one that is blank. This
commit moves towards a solution. Unfortunately in the case the
Interpreter console is pinned or there is a write to the out or error
of it, the VdmDebugConsole will not be visible.
(commit: 52901b2)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/ui/ProcessConsolePageParticipant.java
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/ui/VdmDebugConsole.java
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/launching/VdmLaunchConfigurationDelegate.java
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/ui/DebugConsoleManager.java