Fri, 11 Dec 2009 13:02:30 +0100 laurent Adding support for refreshing FileMenu after plugin tree modification