Fix bug frame title not refreshed when the plugin attributes are modified
authorlaurent
Fri, 14 Oct 2011 23:54:00 +0200
changeset 627 ff7f76c936b9
parent 626 2b9bd5dcf8d2
child 628 2a8476222ba8
Fix bug frame title not refreshed when the plugin attributes are modified
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()