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
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 3.4.7
Hardware: PC Linux
: P2 minor
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2004-12-09 12:37 CET by Marius Mikučionis
Modified: 2005-02-04 15:21 CET (History)
0 users

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