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: GUIAssignee: Gerd Behrmann <behrmann>
Status: CLOSED FIXED    
Severity: trivial    
Priority: P5    
Version: 3.3.38   
Hardware: All   
OS: All   

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.