[PATCH 2/3] user32: Always refresh the MDI menu on WM_MDISETMENU.