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;

Reply via email to