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

Bug 121

Summary: MSC does not remember its state
Product: UPPAAL Reporter: Marius Mikučionis <marius>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Severity: minor    
Priority: P2    
Version: 3.4.7   
Hardware: PC   
OS: Linux   

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.