diff widgets/NotifyingPushButton.h @ 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 5b7472db612b
children 6a6a63506e3f
line wrap: on
line diff