SuccessChanges

Summary

  1. Resumes a single thread only (commit: 79517f0) (details)
  2. Updates the view when a thread is waiting (commit: 89d3ef8) (details)
Commit 79517f01a5a438a731337214fb1a5138383c91ac by idhugoid
Resumes a single thread only

When we call resume on a thread, it is better to resume that single
thread instead of calling resume on the manager, that iterates over all
available threads calling resume.
(commit: 79517f0)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/model/internal/VdmThread.java
Commit 89d3ef8d7590d8cfa12e1d191caae65e36e397b7 by idhugoid
Updates the view when a thread is waiting

In case the main thread is blocked in a permission predicate, the
blocked file is not shown to the user. This fix provides the view update
and thus the blocked file is bring to front.
(commit: 89d3ef8)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/internal/ui/viewers/update/VdmThreadEventHandler.java