diff widgets/WindowTypeSelector.h @ 1303:13f5f84fbfad

Collect the bits of bookkeeping for mouse wheel events, and use in all widgets
author Chris Cannam
date Fri, 22 Jun 2018 17:19:48 +0100
parents 4a578a360011
children 05d614f6e46d
line wrap: on
line diff