log widgets/LevelPanToolButton.h @ 1227:a8e126fe6a53

age author description
2016-12-16 Chris Cannam Support mouse wheel on level-pan tool button levelpanwidget
2016-12-15 Chris Cannam Moving around some UI bits levelpanwidget
2016-12-06 Chris Cannam Some work on play parameters and level controls in property box levelpanwidget