diff configure @ 1434:387bc365aac1 levelpanwidget

When the window is actually being closed, we need to close the prefs quickly (otherwise we get a crash on Mac)
author Chris Cannam
date Thu, 15 Dec 2016 14:40:20 +0000
parents 2067e2c92cc8
children 9401d021b47b
line wrap: on
line diff