diff install-sh @ 1249:8ef67917c301

Ctrl-click, and middle-button click, on level-pan widget reset to default (not implemented yet for level-pan tool button though)
author Chris Cannam
date Tue, 28 Feb 2017 14:20:56 +0000
parents 7fb9b939722f
children
line wrap: on
line diff