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

Bug 121 - MSC does not remember its state
Summary: MSC does not remember its state
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 3.4.7
Hardware: PC Linux
: P2 minor
Assignee: Gerd Behrmann
Depends on:
Reported: 2004-12-09 12:37 CET by Marius Mikučionis
Modified: 2005-02-04 15:21 CET (History)
0 users

See Also:


Note You need to log in before you can comment on or make changes to this bug.
Description Marius Mikučionis 2004-12-09 12:37:36 CET
I seldom use the MSC feature in simulator and want it to be hidden. 
However, if I go to the editor, change smth, then go back and update
the simulator the MSC takes 1/3 of the screen again..
E.g. the data view stays hidden if it was hidden as I would expect.
Comment 1 Gerd Behrmann 2005-01-04 12:49:37 CET
Confirmed. I will fix this when I get some time.
Comment 2 Gerd Behrmann 2005-02-04 15:21:12 CET
Fix is in CVS for version 3.5.