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