# HG changeset patch
# User laurent
# Date 1260532950 -3600
# Node ID 7f38c773427bc79b98969e9fc83704405f1cc4ca
# Parent  688e84df3408768a6feae0fce30ce16642df09f4
Adding support for refreshing FileMenu after plugin tree modification

diff -r 688e84df3408 -r 7f38c773427b Beremiz.py
--- a/Beremiz.py	Fri Dec 11 08:49:32 2009 +0100
+++ b/Beremiz.py	Fri Dec 11 13:02:30 2009 +0100
@@ -732,6 +732,7 @@
             for i in items:
                 self.PluginInfos[plugin][i].SetBackgroundColour(bkgdclr)
                 self.PluginInfos[plugin][i].Refresh()
+        self.RefreshFileMenu()
         return res
 
     def ExpandPlugin(self, plugin, force = False):
@@ -1446,8 +1447,9 @@
             if dialog.ShowModal() == wx.ID_OK:
                 PluginName = dialog.GetValue()
                 plugin.PlugAddChild(PluginName, PluginType)
+                self.PluginRoot.RefreshPluginsBlockLists()
+                self.RefreshFileMenu()
                 self.RefreshPluginTree()
-                self.PluginRoot.RefreshPluginsBlockLists()
             dialog.Destroy()
     
     def DeletePlugin(self, plugin):
@@ -1458,6 +1460,7 @@
                 plugin.PlugRemove()
                 del plugin
                 self.PluginRoot.RefreshPluginsBlockLists()
+                self.RefreshFileMenu()
                 self.RefreshPluginTree()
             dialog.Destroy()