plugger.py
changeset 382 37f870528def
parent 366 cd90e4c10261
child 392 6617d3fb43e2
--- a/plugger.py	Fri Aug 14 16:26:19 2009 +0200
+++ b/plugger.py	Thu Aug 27 12:47:40 2009 +0200
@@ -870,6 +870,13 @@
         if result:
             self.logger.write_error(result)
     
+    def CloseProject(self):
+        if self.PLCEditor is not None:
+            self.PLCEditor.Close()
+        if self.PLCDebug is not None:
+            self.PLCDebug.Close()
+        
+    
     # Update PLCOpenEditor Plugin Block types from loaded plugins
     def RefreshPluginsBlockLists(self):
         if getattr(self, "PluggedChilds", None) is not None: