Index: Core/Gui/src/Core.Gui/Forms/Main/MainWindow.xaml.cs
===================================================================
diff -u -re22a39931dfa4f9b9856df0b0d043a7cb4ba9069 -r2835cfad71d9aab6f7373b628efdd896fdc09989
--- Core/Gui/src/Core.Gui/Forms/Main/MainWindow.xaml.cs	(.../MainWindow.xaml.cs)	(revision e22a39931dfa4f9b9856df0b0d043a7cb4ba9069)
+++ Core/Gui/src/Core.Gui/Forms/Main/MainWindow.xaml.cs	(.../MainWindow.xaml.cs)	(revision 2835cfad71d9aab6f7373b628efdd896fdc09989)
@@ -45,6 +45,7 @@
 using Core.Gui.Forms.ViewHost;
 using Core.Gui.Selection;
 using Core.Gui.Settings;
+using Application = System.Windows.Forms.Application;
 using FontFamily = System.Windows.Media.FontFamily;
 using UserControl = System.Windows.Forms.UserControl;
 
@@ -309,6 +310,8 @@
 
             gui.DocumentViewController.CloseAllViews();
 
+            Application.DoEvents();
+
             if (gui.Project == null)
             {
                 stateToggleButtonLookup.Keys.ForEachElementDo(stb =>