plugger.py
changeset 248 444d4db3faea
parent 246 3613c6ee9e0e
child 250 01963beca027
--- a/plugger.py	Sun Sep 07 15:54:09 2008 +0200
+++ b/plugger.py	Sun Sep 07 16:43:05 2008 +0200
@@ -690,12 +690,6 @@
     def PlugTestModified(self):
          return self.ChangesToSave or not self.ProjectIsSaved()
 
-    def HasProjectOpened(self):
-        """
-        Return if a project is actually opened
-        """
-        return self.ProjectPath != None
-
     def GetPlugRoot(self):
         return self
 
@@ -797,10 +791,6 @@
             self.PLCEditor.RefreshTitle()
         self.PlugRequestSave()
     
-    def CloseProject(self):
-        self.ProjectPath = None
-        self.PluggedChilds = {}
-    
     # Update PLCOpenEditor Plugin Block types from loaded plugins
     def RefreshPluginsBlockLists(self):
         if getattr(self, "PluggedChilds", None) is not None: