# HG changeset patch
# User laurent
# Date 1318629240 -7200
# Node ID ff7f76c936b971de615752ce36193156c268970c
# Parent  2b9bd5dcf8d22b773b05b9576b26acb313362ea8
Fix bug frame title not refreshed when the plugin attributes are modified

diff -r 2b9bd5dcf8d2 -r ff7f76c936b9 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()