[PATCH 3/3] user32: Refresh MDI menus when DefMDIChildProc(WM_SETTEXT) is called.