diff configure @ 1200:808d375a3b12 levelpanwidget

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