author | laurent |
Mon, 14 Dec 2009 11:00:56 +0100 | |
changeset 487 | 580b04db8c65 |
parent 486 | 0daecbcbfbf4 |
child 488 | 93bf600bae11 |
--- 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