ProjectController.py
changeset 764 f338651eca36
parent 758 699a7bad5a8c
child 768 fe47069f214c
--- a/ProjectController.py	Fri Jun 08 12:39:37 2012 +0200
+++ b/ProjectController.py	Sun Jun 10 20:18:34 2012 +0200
@@ -1281,9 +1281,14 @@
                 self.\
                 BeremizRoot.\
                 setURI_location(uri)
+                self.ChangesToSave = True
                 if self._View is not None:
                     self._View.RefreshView()
-       
+                    self.AppFrame.RefreshTitle()
+                    self.AppFrame.RefreshFileMenu()
+                    self.AppFrame.RefreshEditMenu()
+                    self.AppFrame.RefreshPageTitles()
+                           
         # Get connector from uri
         try:
             self._connector = connectors.ConnectorFactory(uri, self)