[Bug 1743] New: The MDI menus are not refreshed properly