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

Bug 50

Summary:	Focus changes when zooming in close.
Product:	UPPAAL	Reporter:	Ulrik Nyman <ulrik>
Component:	GUI	Assignee:	Robert Olesen <egir>
Status:	RESOLVED FIXED
Severity:	minor	CC:	behrmann
Priority:	P5
Version:	3.5.7
Hardware:	All
OS:	All
Architecture:

Description Ulrik Nyman 2003-09-10 20:05:58 CEST

When zooming in so close that the whole model cannot fit inside the editing
window, the effect of zooming in closer is, both that the model becomes larger
but also that the window scrolls up and to the left. Similarly the effect of
zooming out again is both that the model becomes smaller but also that the
content is scrolled down and to the right.

Comment 1 Gerd Behrmann 2005-06-29 21:19:14 CEST

Moved bug to 3.5.7, as fixing a minor bug in a stable release series is not worth the risk.

Comment 2 Gerd Behrmann 2005-08-06 09:45:29 CEST

Mads, can you take a look at this problem.

The intended behaviour is that the center should stay in the center.

Comment 3 Mads Schaarup Andersen 2005-08-09 14:46:01 CEST

A fix has been checked into CVS.

Comment 4 Mads Schaarup Andersen 2005-08-09 16:09:31 CEST

The fix caused scrollbars to disfunction.

Comment 5 Mads Schaarup Andersen 2005-09-28 14:09:14 CEST

Reassigned to robert

Comment 6 Robert Olesen 2006-01-31 13:31:04 CET

The bug has been fixed. See SVN revision 1479.

Comment 7 Gerd Behrmann 2006-02-27 18:28:17 CET

Further improvements checked in at rev. 1567.