Changes
Summary
- Resumes a single thread only (commit: 79517f0) (details)
- Updates the view when a thread is waiting (commit: 89d3ef8) (details)
![]() | ide/debug/src/main/java/org/overture/ide/debug/core/model/internal/VdmThread.java |
![]() | ide/debug/src/main/java/org/overture/ide/debug/internal/ui/viewers/update/VdmThreadEventHandler.java |