diff widgets/WindowTypeSelector.h @ 656:902c7c9d77ea tonioni

vertical scale adapts to note range
author matthiasm
date Wed, 19 Jun 2013 22:05:45 +0100
parents 5ec6b60658d8
children 4a578a360011
line wrap: on
line diff