diff icons/sv-32x32.png @ 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 c3114dffdff4
children
line wrap: on
line diff