Fix for activation of deleted and undo-deleted documents.

[modules/shaper.git] / src / Model / Model_Session.h

diff --git a/src/Model/Model_Session.h b/src/Model/Model_Session.h
index 1e200f40e0bc03836bfa608b8b98b891ff529a65..04eadff1c12646b0ddff5b51e99177fbe6922808 100644 (file)
--- a/src/Model/Model_Session.h
+++ b/src/Model/Model_Session.h
@@ -81,6 +81,8 @@ class Model_Session : public ModelAPI_Session, public Events_Listener
 
   /// Returns the document by ID, loads if not loaded yet. Returns null if no such document.
   MODEL_EXPORT virtual std::shared_ptr<ModelAPI_Document> document(std::string theDocID);
+  /// Return true if document with such ID has been already created
+  MODEL_EXPORT virtual bool hasDocument(std::string theDocID);
 
   /// Return true if root document has been already created
   MODEL_EXPORT virtual bool hasModuleDocument();