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 463351e..20e94c3 100644
--- a/src/gui_w32.c
+++ b/src/gui_w32.c
@@ -4836,6 +4836,7 @@
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 a69d93d..b842fcf 100644
--- a/src/version.c
+++ b/src/version.c
@@ -742,6 +742,8 @@
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
+ 840,
+/**/
839,
/**/
838,