plugger.py
changeset 176 d8cacbf276b5
parent 173 2a9c4eec8645
child 178 2390b409eb93
--- a/plugger.py	Wed Jun 25 17:36:24 2008 +0200
+++ b/plugger.py	Fri Jun 27 09:28:52 2008 +0200
@@ -797,6 +797,10 @@
             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: