# HG changeset patch
# User laurent
# Date 1260646721 -3600
# Node ID d5ebb8eac9341e3d33d807a63145e2d7ece0fb30
# Parent  acef952101a5ec32a0442f25e9fa6a49d9df6bd8
Bug on TextViewer fixed : FileMenu not refreshed when text modified

diff -r acef952101a5 -r d5ebb8eac934 TextViewer.py
--- a/TextViewer.py	Sat Dec 12 20:37:35 2009 +0100
+++ b/TextViewer.py	Sat Dec 12 20:38:41 2009 +0100
@@ -269,12 +269,14 @@
         self.Controler.BufferProject()
         if self.ParentWindow:
             self.ParentWindow.RefreshTitle()
+            self.ParentWindow.RefreshFileMenu()
             self.ParentWindow.RefreshEditMenu()
     
     def StartBuffering(self):
         self.Controler.StartBuffering()
         if self.ParentWindow:
             self.ParentWindow.RefreshTitle()
+            self.ParentWindow.RefreshFileMenu()
             self.ParentWindow.RefreshEditMenu()
     
     def ResetBuffer(self):