beremiz

aa5645a25d64
Parents 73ecb803d8af
Children 8038c08b9874
Bug not refreshing FileMenu when saving fixed
  • +2 -2
    Beremiz.py
  • --- a/Beremiz.py Fri Dec 11 16:39:20 2009 +0100
    +++ b/Beremiz.py Sat Dec 12 20:49:07 2009 +0100
    @@ -1401,13 +1401,13 @@
    if self.PluginRoot is not None:
    self.PluginRoot.SaveProject()
    self.RefreshAll()
    - self.RefreshTitle()
    + self._Refresh(TITLE, FILEMENU)
    def OnSaveProjectAsMenu(self, event):
    if self.PluginRoot is not None:
    self.PluginRoot.SaveProjectAs()
    self.RefreshAll()
    - self.RefreshTitle()
    + self._Refresh(TITLE, FILEMENU)
    event.Skip()
    def OnPropertiesMenu(self, event):