diff options
| author | Paul Buetow <paul@buetow.org> | 2026-03-27 15:36:48 +0200 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2026-03-27 15:36:48 +0200 |
| commit | 63b658f8fba0790aa5b6bf94d4c89012f552a7ca (patch) | |
| tree | 21ad3cffef8893316b347e2b2182bfc4ab5b7c37 /src/main | |
| parent | 69c5dbf50c36ae622c02b943cc6c471254bb2fa9 (diff) | |
Fix replay event visibility for loaded raft simulation
Diffstat (limited to 'src/main')
| -rw-r--r-- | src/main/java/core/VSTaskManager.java | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/main/java/core/VSTaskManager.java b/src/main/java/core/VSTaskManager.java index bd95a4e..c78af5b 100644 --- a/src/main/java/core/VSTaskManager.java +++ b/src/main/java/core/VSTaskManager.java @@ -553,7 +553,12 @@ public class VSTaskManager implements VSSerializable { for (int i = 0; i < numTasks; ++i) { VSTask task = new VSTask(serialize, objectInputStream); - addTask(task, task.isProgrammed()); + /* + * Serialized tasks define the replay state of a loaded simulation. + * Register them as programmed so they remain visible in the Event + * view and survive reset/replay after deserialization. + */ + addTask(task, PROGRAMMED); } /** For later backwards compatibility, to add more stuff */ |
