diff widgets/CommandHistory.h @ 403:dc32f6e7839b

* minor enhancement to data edit make-current
author Chris Cannam
date Wed, 18 Jun 2008 14:34:13 +0000
parents e1a9e478b7f2
children 73a58a4dfebd
line wrap: on
line diff