Bug not refreshing FileMenu when saving fixed

2009-12-12, laurent