log widgets/PropertyStack.h @ 809:51da09385b38 warnfix_no_size_t

age author description
Tue, 04 Mar 2014 15:28:32 +0000 Chris Cannam Fix failure to delete property stack when pane is deleted (sometimes). Fixes Tony crash bug #881, needs to go in SV as well. tonioni