This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 167 - MSC window in simulator not updated properly
Summary: MSC window in simulator not updated properly
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 3.5.7
Hardware: PC Linux
: P3 minor
Assignee: Mads Schaarup Andersen
Depends on:
Reported: 2005-06-24 13:54 CEST by Ferdy Hanssen
Modified: 2005-08-10 16:18 CEST (History)
1 user (show)

See Also:


Note You need to log in before you can comment on or make changes to this bug.
Description Ferdy Hanssen 2005-06-24 13:54:50 CEST
When something is changed in the model and you then switch to the simulator,
answer yes to the "upload now" question, the MSC window is not redrawn
completely.  The names of the processes are not redrawn.
Comment 1 Gerd Behrmann 2005-07-04 15:18:44 CEST
Comment 2 Gerd Behrmann 2005-08-06 09:49:07 CEST
Mads, here is another one for you.

For some reason the change does not trigger a repaint of the MSC header.
Comment 3 Mads Schaarup Andersen 2005-08-10 16:18:56 CEST
Bug fix checked into CVS.