To Yongwei: Does this patch solve your problem?
To Bram: Please consider adding this patch. I think it is really a bug. Index: src/gui_w32.c =================================================================== --- src/gui_w32.c (revision 296) +++ src/gui_w32.c (working copy) @@ -1051,7 +1051,7 @@ if (pMenu != NULL && pMenu->strings[MENU_INDEX_TIP] != 0 && GetMenuState(s_menuBar, pMenu->id, MF_BYCOMMAND) != -1) { - msg(pMenu->strings[MENU_INDEX_TIP]); + msg_outtrans(pMenu->strings[MENU_INDEX_TIP]); setcursor(); out_flush(); did_menu_tip = TRUE;