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:	GUI	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	minor
Priority:	P2
Version:	3.4.7
Hardware:	PC
OS:	Linux
Architecture:

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.