plugger.py
changeset 25 fa7503684c28
parent 24 585d5b387b6a
child 29 282380dea497
--- a/plugger.py	Mon Sep 10 18:12:03 2007 +0200
+++ b/plugger.py	Mon Sep 10 18:19:53 2007 +0200
@@ -565,6 +565,8 @@
     def SaveProject(self):
         if not self.PLCManager.SaveXMLFile():
             self.PLCManager.SaveXMLFile(os.path.join(self.ProjectPath, 'plc.xml'))
+        if self.PLCEditor:
+            self.PLCEditor.RefreshTitle()
         self.PlugRequestSave()
     
     def PlugPath(self, PlugName=None):
@@ -705,11 +707,17 @@
 
     def _EditPLC(self, logger):
         if not self.PLCEditor:
+            def _onclose():
+                self.PLCEditor = None
+            def _onsave():
+                self.SaveProject()
             self.PLCEditor = PLCOpenEditor(self.AppFrame, self.PLCManager)
             self.PLCEditor.RefreshProjectTree()
             self.PLCEditor.RefreshFileMenu()
             self.PLCEditor.RefreshEditMenu()
             self.PLCEditor.RefreshToolBar()
+            self.PLCEditor._onclose = _onclose
+            self.PLCEditor._onsave = _onsave
             self.PLCEditor.Show()
 
     def _Clean(self, logger):