patch 8.2.3688: the window title is not updated when dragging the scrollbarv8.2.3688

Problem:    The window title is not updated when dragging the scrollbar.
Solution:   Call maketitle(). (Christian Brabandt, closes #9238, closes #5383)

1 files changed, 4 insertions, 0 deletions

diff --git a/src/gui.c b/src/gui.c
index 13f1fe4fa3..17f4e9506c 100644
--- a/src/gui.c
+++ b/src/gui.c
@@ -4412,6 +4412,10 @@ gui_update_scrollbars(
 					    val, size, max);
 	}
     }
+
+    // update the title, it may show the scroll position
+    maketitle();
+
     prev_curwin = curwin;
     --hold_gui_events;
 }