comparison widgets/InteractiveFileFinder.h @ 656:902c7c9d77ea tonioni

vertical scale adapts to note range
author matthiasm
date Wed, 19 Jun 2013 22:05:45 +0100
parents 3228b7913aa4
children d0fd7630d32f
comparison
equal deleted inserted replaced
655:c572a0705223 656:902c7c9d77ea