# HG changeset patch
# User Chris Cannam
# Date 1527239859 -3600
# Node ID e5229958a10c113b31a354c685d224c50faec7ca
# Parent  4551f634cd0946639a0533a27c11cdbe6bbefe39
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

diff -r 4551f634cd09 -r e5229958a10c main/MainWindow.cpp
--- 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);
     }