forked from aniani/vim
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)
This commit is contained in:
committed by
Bram Moolenaar
parent
59f4f9505a
commit
2e0f3ecb70
@@ -4412,6 +4412,10 @@ gui_update_scrollbars(
|
|||||||
val, size, max);
|
val, size, max);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
// update the title, it may show the scroll position
|
||||||
|
maketitle();
|
||||||
|
|
||||||
prev_curwin = curwin;
|
prev_curwin = curwin;
|
||||||
--hold_gui_events;
|
--hold_gui_events;
|
||||||
}
|
}
|
||||||
|
@@ -757,6 +757,8 @@ static char *(features[]) =
|
|||||||
|
|
||||||
static int included_patches[] =
|
static int included_patches[] =
|
||||||
{ /* Add new patch number below this line */
|
{ /* Add new patch number below this line */
|
||||||
|
/**/
|
||||||
|
3688,
|
||||||
/**/
|
/**/
|
||||||
3687,
|
3687,
|
||||||
/**/
|
/**/
|
||||||
|
Reference in New Issue
Block a user