diff widgets/WindowTypeSelector.h @ 729:25b3d5802e6e

Fix failure to delete property stack when pane is deleted (sometimes)
author Chris Cannam
date Tue, 04 Mar 2014 15:32:28 +0000
parents 5ec6b60658d8
children 4a578a360011
line wrap: on
line diff