summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorBram Moolenaar <Bram@vim.org>2007-06-19 08:06:18 +0000
committerBram Moolenaar <Bram@vim.org>2007-06-19 08:06:18 +0000
commit2d8ab99d100b6c6075d15f758702e126f0962527 (patch)
tree55683c83ac75ecee568513ba6f655ca5b984c362
parent10425273718ab343dcc6e08a61a5340bb9a092d2 (diff)
updated for version 7.1-003v7.1.003
-rw-r--r--src/gui_w32.c2
-rw-r--r--src/version.c2
2 files changed, 4 insertions, 0 deletions
diff --git a/src/gui_w32.c b/src/gui_w32.c
index e644813199..d6aa1a503b 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 17966651f2..68614db719 100644
--- 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,