diff main/MainWindow.cpp @ 1434:387bc365aac1 levelpanwidget

When the window is actually being closed, we need to close the prefs quickly (otherwise we get a crash on Mac)

--- a/main/MainWindow.cpp	Thu Dec 15 11:54:12 2016 +0000
+++ b/main/MainWindow.cpp	Thu Dec 15 14:40:20 2016 +0000
@@ -3323,7 +3323,7 @@
     if (m_preferencesDialog &&
         m_preferencesDialog->isVisible()) {
         closeSession(); // otherwise we'll have to wait for prefs changes
-        m_preferencesDialog->applicationClosing(false);
+        m_preferencesDialog->applicationClosing(true);
     }
 
     closeSession();