diff widgets/PropertyBox.h @ 19:46d8f5add6f0

* Introduce potentially-separate read and write ring buffers, so we can swap in a new set when something changes -- thus allowing us to respond quickly when something changes during playback, without losing the long buffers * Some fixes for display & editing
author Chris Cannam
date Fri, 27 Jan 2006 18:04:07 +0000
parents 37b110168acf
children 651e4e868bcc
line wrap: on
line diff