+ virtual void setActiveDocument(
+ std::shared_ptr<ModelAPI_Document> theDoc, bool theSendSignal = true) = 0;
+
+ /// Returns all the opened documents of the session (without postponed)
+ virtual std::list<std::shared_ptr<ModelAPI_Document> > allOpenedDocuments() = 0;