patch 8.2.3688: the window title is not updated when dragging the scrollbar
Problem: The window title is not updated when dragging the scrollbar.
Solution: Call maketitle(). (Christian Brabandt, closes #9238, closes #5383)
diff --git a/src/gui.c b/src/gui.c
index 13f1fe4..17f4e95 100644
--- a/src/gui.c
+++ b/src/gui.c
@@ -4412,6 +4412,10 @@
val, size, max);
}
}
+
+ // update the title, it may show the scroll position
+ maketitle();
+
prev_curwin = curwin;
--hold_gui_events;
}
diff --git a/src/version.c b/src/version.c
index 8972dbd..f43b33c 100644
--- a/src/version.c
+++ b/src/version.c
@@ -758,6 +758,8 @@
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
+ 3688,
+/**/
3687,
/**/
3686,