diff widgets/WidgetScale.h @ 1300:1589bc7528b7

Ctrl-click on level-pan tool button now also resets to default
author Chris Cannam
date Thu, 21 Jun 2018 10:43:14 +0100
parents be5e43e2180c
children e7c9650e74a7
line wrap: on
line diff