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

Bug 52

Summary:	Focus does not change when opening new project or system.
Product:	UPPAAL	Reporter:	Ulrik Nyman <ulrik>
Component:	GUI	Assignee:	Gerd Behrmann <behrmann>
Status:	CLOSED FIXED
Severity:	trivial
Priority:	P5
Version:	3.3.38
Hardware:	All
OS:	All
Architecture:

Description Ulrik Nyman 2003-09-10 20:23:06 CEST

The zoom level does not change back to the standard setting when opening a
different project or system.

Comment 1 Gerd Behrmann 2004-03-14 14:03:57 CET

A fix has been checked into CVS.

Comment 2 Gerd Behrmann 2004-04-27 10:11:57 CEST

Looking at bug 96 I now realize that bug 52 was not at all about the simulator.
That one has always reset the system back to the original zoom level. Bug 52 is
about the *editor* not resetting the zoom level when a new model is loaded.

I therefore reopen the bug.

Comment 3 Gerd Behrmann 2004-04-27 10:26:02 CEST

A new fix has been checked into CVS.