diff main/MainWindow.cpp @ 1835:e5229958a10c plugin-path-config

Since the rapid applicationClosing(true) was introduced on the following line, this has no longer been necessary -- and it produces a crash itself, as closeSession deletes the preferences dialog itself

--- a/main/MainWindow.cpp	Fri May 25 09:45:36 2018 +0100
+++ b/main/MainWindow.cpp	Fri May 25 10:17:39 2018 +0100
@@ -3544,7 +3544,6 @@
 
     if (m_preferencesDialog &&
         m_preferencesDialog->isVisible()) {
-        closeSession(); // otherwise we'll have to wait for prefs changes
         m_preferencesDialog->applicationClosing(true);
     }