diff src/gui_w32.c @ 1288:2a256978a646 v7.1.003

updated for version 7.1-003
author vimboss
date Tue, 19 Jun 2007 08:06:18 +0000
parents 198a695ca8e7
children c87f38b71d27
line wrap: on
line diff
--- a/src/gui_w32.c
+++ b/src/gui_w32.c
@@ -1051,7 +1051,9 @@ set_tabline_font(void)
 	    if (pMenu != NULL && pMenu->strings[MENU_INDEX_TIP] != 0
 		    && GetMenuState(s_menuBar, pMenu->id, MF_BYCOMMAND) != -1)
 	    {
+		++msg_hist_off;
 		msg(pMenu->strings[MENU_INDEX_TIP]);
+		--msg_hist_off;
 		setcursor();
 		out_flush();
 		did_menu_tip = TRUE;