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: