equal
deleted
inserted
replaced
867 if self.PLCEditor: |
867 if self.PLCEditor: |
868 self.PLCEditor.RefreshTitle() |
868 self.PLCEditor.RefreshTitle() |
869 result = self.PlugRequestSave() |
869 result = self.PlugRequestSave() |
870 if result: |
870 if result: |
871 self.logger.write_error(result) |
871 self.logger.write_error(result) |
|
872 |
|
873 def CloseProject(self): |
|
874 if self.PLCEditor is not None: |
|
875 self.PLCEditor.Close() |
|
876 if self.PLCDebug is not None: |
|
877 self.PLCDebug.Close() |
|
878 |
872 |
879 |
873 # Update PLCOpenEditor Plugin Block types from loaded plugins |
880 # Update PLCOpenEditor Plugin Block types from loaded plugins |
874 def RefreshPluginsBlockLists(self): |
881 def RefreshPluginsBlockLists(self): |
875 if getattr(self, "PluggedChilds", None) is not None: |
882 if getattr(self, "PluggedChilds", None) is not None: |
876 self.ClearPluginTypes() |
883 self.ClearPluginTypes() |