diff deploy/osx/paths.sh @ 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 2d48532a074b
children
line wrap: on
line diff