diff options
| author | Bram Moolenaar <Bram@vim.org> | 2007-06-19 08:06:18 +0000 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2007-06-19 08:06:18 +0000 |
| commit | 2d8ab99d100b6c6075d15f758702e126f0962527 (patch) | |
| tree | 55683c83ac75ecee568513ba6f655ca5b984c362 /src/gui_w32.c | |
| parent | 10425273718ab343dcc6e08a61a5340bb9a092d2 (diff) | |
updated for version 7.1-003v7.1.003
Diffstat (limited to 'src/gui_w32.c')
| -rw-r--r-- | src/gui_w32.c | 2 |
1 files changed, 2 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; |