Fix for the issue #476: really close all documents on close

diff --git a/src/Model/Model_Application.cpp b/src/Model/Model_Application.cpp
index a825e747104b6482f68a0b14a7bbbbcc4b13d182..212fd4c9cab1ec924a6fe9fd14d2ced24b7a74ec 100644 (file)
--- a/src/Model/Model_Application.cpp
+++ b/src/Model/Model_Application.cpp
@@ -61,6 +61,10 @@ void Model_Application::deleteDocument(string theDocID)
 
 void Model_Application::deleteAllDocuments()
 {
+  std::map<std::string, std::shared_ptr<Model_Document> >::iterator aDoc = myDocs.begin();
+  for(; aDoc != myDocs.end(); aDoc++) {
+    aDoc->second->close();
+  }
   myDocs.clear();
   myLoadedByDemand.clear();
 }