|Summary:||MSC does not remember its state|
|Product:||UPPAAL||Reporter:||Marius Mikučionis <marius>|
|Component:||GUI||Assignee:||Gerd Behrmann <behrmann>|
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.