--- 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.ChangesToSave = True if self._View is not None:
+ self.AppFrame.RefreshTitle() + self.AppFrame.RefreshFileMenu() + self.AppFrame.RefreshEditMenu() + self.AppFrame.RefreshPageTitles() self._connector = connectors.ConnectorFactory(uri, self)