log widgets/LevelPanToolButton.h @ 1479:9bf8aa2916e9 by-id

age author description
Mon, 26 Nov 2018 13:52:27 +0000 Chris Cannam Use override throughout fix-static-analysis
Thu, 21 Jun 2018 10:43:14 +0100 Chris Cannam Ctrl-click on level-pan tool button now also resets to default