updated for version 7.1-003

diff --git a/src/gui_w32.c b/src/gui_w32.c
index e644813199f9a659a3913cfd9164c0acc8503d7b..d6aa1a503b22821ae9bee2ab6b6d6a2feebc83e1 100644 (file)
--- 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 17966651f2432552ce058e325c74d9787c4da3c4..68614db71978174bae7246b19cb81ca7e91b5c72 100644 (file)
--- 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,
 /**/