diff options
| -rw-r--r-- | src/gui_w32.c | 2 | ||||
| -rw-r--r-- | src/version.c | 2 |
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, |