diff widgets/LevelPanToolButton.cpp @ 1402:b0eeec95ab5b

Handle integer pixel scaling as well
author Chris Cannam
date Thu, 15 Nov 2018 14:18:26 +0000
parents 1589bc7528b7
children 27ea5d61b402
line wrap: on
line diff