# HG changeset patch
# User vimboss
# Date 1182240378 0
# Node ID 2a256978a64649b75d424eec6e703f99f7f28636
# Parent  49b5a7f186aae9fdd9b633037e8da484c61c55bf
updated for version 7.1-003

diff --git a/src/gui_w32.c b/src/gui_w32.c
--- 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;
diff --git a/src/version.c b/src/version.c
--- a/src/version.c
+++ b/src/version.c
@@ -667,6 +667,8 @@ static char *(features[]) =
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    3,
+/**/
     2,
 /**/
     1,