patch 7.4.840

Problem:    Tooltip window stays open.
Solution:   Send a WM_CLOSE message. (Jurgen Kramer)

diff --git a/src/gui_w32.c b/src/gui_w32.c
index 463351eea75abacc45ea9a7746050779ce6b5c4a..20e94c3690dcd144ad8417b8e384d4e81b606aee 100644 (file)
--- a/src/gui_w32.c
+++ b/src/gui_w32.c
@@ -4836,6 +4836,7 @@ make_tooltip(beval, text, pt)
 delete_tooltip(beval)
     BalloonEval        *beval;
 {
+    PostMessage(beval->balloon, WM_CLOSE, 0, 0);
     PostMessage(beval->balloon, WM_DESTROY, 0, 0);
     PostMessage(beval->balloon, WM_NCDESTROY, 0, 0);
 }

diff --git a/src/version.c b/src/version.c
index a69d93dc46b77dd394e296edc83e2e733140dc11..b842fcf76bc3d9da3cfda2d773183825bb2eefbf 100644 (file)
--- a/src/version.c
+++ b/src/version.c
@@ -741,6 +741,8 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    840,
 /**/
     839,
 /**/