log widgets/WheelCounter.h @ 1515:0fa49a6ce64f time-frequency-boxes

age author description
2018-06-22 Chris Cannam Collect the bits of bookkeeping for mouse wheel events, and use in all widgets