# HG changeset patch
# User laurent
# Date 1321482522 -3600
# Node ID 35c59bfc54f22f2bb6b323f3fba4919419946a2d
# Parent  fcdb60cacb2c00907418046404b712a0acf6f3fe
Fixing refresh of notebook tab titles after project save

diff -r fcdb60cacb2c -r 35c59bfc54f2 Beremiz.py
--- a/Beremiz.py	Wed Nov 16 17:47:13 2011 +0100
+++ b/Beremiz.py	Wed Nov 16 23:28:42 2011 +0100
@@ -148,7 +148,7 @@
 from wxPopen import ProcessLogger
 
 from docutils import *
-from PLCOpenEditor import IDEFrame, Viewer, AppendMenu, TITLE, TOOLBAR, FILEMENU, EDITMENU, DISPLAYMENU, TYPESTREE, INSTANCESTREE, LIBRARYTREE, SCALING
+from PLCOpenEditor import IDEFrame, Viewer, AppendMenu, TITLE, TOOLBAR, FILEMENU, EDITMENU, DISPLAYMENU, TYPESTREE, INSTANCESTREE, LIBRARYTREE, SCALING, PAGETITLES
 from PLCControler import LOCATION_PLUGIN, LOCATION_MODULE, LOCATION_GROUP, LOCATION_VAR_INPUT, LOCATION_VAR_OUTPUT, LOCATION_VAR_MEMORY
 
 SCROLLBAR_UNIT = 10
@@ -1455,13 +1455,13 @@
         if self.PluginRoot is not None:
             self.PluginRoot.SaveProject()
             self.RefreshAll()
-            self._Refresh(TITLE, FILEMENU)
+            self._Refresh(TITLE, FILEMENU, EDITMENU, PAGETITLES)
     
     def OnSaveProjectAsMenu(self, event):
         if self.PluginRoot is not None:
             self.PluginRoot.SaveProjectAs()
             self.RefreshAll()
-            self._Refresh(TITLE, FILEMENU)
+            self._Refresh(TITLE, FILEMENU, EDITMENU, PAGETITLES)
         event.Skip()
     
     def OnPropertiesMenu(self, event):