# HG changeset patch
# User laurent
# Date 1260784856 -3600
# Node ID 580b04db8c651a61c00a0095382ebd1982bbe2cb
# Parent  0daecbcbfbf4343ec868e5c697a03a9859b6c4e9
Bug not refreshing FileMenu when saving fixed

diff -r 0daecbcbfbf4 -r 580b04db8c65 Viewer.py
--- a/Viewer.py	Mon Dec 14 11:00:39 2009 +0100
+++ b/Viewer.py	Mon Dec 14 11:00:56 2009 +0100
@@ -776,6 +776,7 @@
     def RefreshBuffer(self):
         self.Controler.BufferProject()
         self.ParentWindow.RefreshTitle()
+        self.ParentWindow.RefreshFileMenu()
         self.ParentWindow.RefreshEditMenu()
 
     # Refresh the current scaling