diff widgets/PropertyBox.cpp @ 1023:74755fa6ea9e colourschemes

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 3f7cdfc56dce
children c02c51ae5238 5c3333fb70b3
line wrap: on
line diff