diff view/ViewManager.h @ 1200:808d375a3b12 levelpanwidget

Support mouse wheel on level-pan tool button
author Chris Cannam
date Fri, 16 Dec 2016 16:29:53 +0000
parents e0ac21f07ab0
children efc7586de499
line wrap: on
line diff