log widgets/LevelPanToolButton.cpp @ 1471:f2525e6cbdf1 by-id

age author description
Thu, 21 Jun 2018 10:43:14 +0100 Chris Cannam Ctrl-click on level-pan tool button now also resets to default