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
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 3.5.7
Hardware: PC Linux
: P3 minor
Assignee: Mads Schaarup Andersen
URL:
Depends on:
Blocks:
 
Reported: 2005-06-24 13:54 CEST by Ferdy Hanssen
Modified: 2005-08-10 16:18 CEST (History)
1 user (show)

See Also:
Architecture:

Attachments
Add an attachment (proposed patch, testcase, etc.)

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 
Confirmed.
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.