Hi Edward, On 30/05/07, Edward L. Fox <[EMAIL PROTECTED]> wrote:
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;
This patch seems to have solved my problem, and I have not found any side-effects so far. Thanks! Best regards, Yongwei -- Wu Yongwei URL: http://wyw.dcweb.cn/
