diff widgets/Panner.cpp @ 338:1d3b27e69bf0

* Make font size in panes configurable, with a smaller default * Add [ and ] to select prev/next pane
author Chris Cannam
date Tue, 11 Dec 2007 14:58:29 +0000
parents c492902dba40
children 755243c67f59
line wrap: on
line diff