diff options
| author | Christian Brabandt <cb@256bit.org> | 2021-11-28 18:41:05 +0000 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2021-11-28 18:41:05 +0000 |
| commit | 2e0f3ecb7046e6d7915327270f836c48ad033a67 (patch) | |
| tree | 1f86cc8fed54594eed7950e1c7b2aa6350a52a11 | |
| parent | 59f4f9505ae7ca2499904b94100db103e5ada5a6 (diff) | |
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)
| -rw-r--r-- | src/gui.c | 4 | ||||
| -rw-r--r-- | src/version.c | 2 |
2 files changed, 6 insertions, 0 deletions
@@ -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; } diff --git a/src/version.c b/src/version.c index 8972dbd36f..f43b33c8f8 100644 --- a/src/version.c +++ b/src/version.c @@ -758,6 +758,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 3688, +/**/ 3687, /**/ 3686, |