beremiz

Parents 2b9bd5dcf8d2
Children 2a8476222ba8
Fix bug frame title not refreshed when the plugin attributes are modified
  • +3 -3
    Beremiz.py
  • --- a/Beremiz.py Fri Oct 14 19:27:22 2011 +0200
    +++ b/Beremiz.py Fri Oct 14 23:54:00 2011 +0200
    @@ -779,7 +779,7 @@
    for i in items:
    self.PluginInfos[plugin][i].SetBackgroundColour(bkgdclr)
    self.PluginInfos[plugin][i].Refresh()
    - self.RefreshFileMenu()
    + self._Refresh(TITLE, FILEMENU)
    return res
    def ExpandPlugin(self, plugin, force = False):
    @@ -1497,7 +1497,7 @@
    PluginName = dialog.GetValue()
    plugin.PlugAddChild(PluginName, PluginType)
    self.PluginRoot.RefreshPluginsBlockLists()
    - self.RefreshFileMenu()
    + self._Refresh(TITLE, FILEMENU)
    self.RefreshPluginTree()
    dialog.Destroy()
    @@ -1509,7 +1509,7 @@
    plugin.PlugRemove()
    del plugin
    self.PluginRoot.RefreshPluginsBlockLists()
    - self.RefreshFileMenu()
    + self._Refresh(TITLE, FILEMENU)
    self.RefreshPluginTree()
    dialog.Destroy()