diff widgets/WindowTypeSelector.h @ 173:9c40dc10c88c

* Rename the existing Panner to Overview (big duh!) * Fixes to the new Panner.
author Chris Cannam
date Thu, 19 Oct 2006 09:57:27 +0000
parents 5ec6b60658d8
children 4a578a360011
line wrap: on
line diff