Wed, 16 Dec 2009 15:21:17 +0100Bug on FileMenu not refreshed when modifications fixed
laurent [Wed, 16 Dec 2009 15:21:17 +0100] rev 534
Bug on FileMenu not refreshed when modifications fixed