comparison icons/zoom-reset.png @ 1107:58ba8c9e7675 3.0-integration

Avoid reusing a large paint width if the zoom level has changed (in case it has changed dramatically, as for example when the user hits the F key). Also some tidying and adjustment to timing stuff
author Chris Cannam
date Fri, 22 Jan 2016 18:12:41 +0000
parents 4ba091beade5
children
comparison
equal deleted inserted replaced
1106:bd70f07121b3 1107:58ba8c9e7675