From 2d8ab99d100b6c6075d15f758702e126f0962527 Mon Sep 17 00:00:00 2001 From: Bram Moolenaar Date: Tue, 19 Jun 2007 08:06:18 +0000 Subject: updated for version 7.1-003 --- src/gui_w32.c | 2 ++ src/version.c | 2 ++ 2 files changed, 4 insertions(+) (limited to 'src') diff --git a/src/gui_w32.c b/src/gui_w32.c index e64481319..d6aa1a503 100644 --- a/src/gui_w32.c +++ b/src/gui_w32.c @@ -1051,7 +1051,9 @@ _WndProc( 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 index 17966651f..68614db71 100644 --- a/src/version.c +++ b/src/version.c @@ -666,6 +666,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ +/**/ + 3, /**/ 2, /**/ -- cgit v1.2.1