Polish the highlightScrolledLines feature
This patch improves the highlightScrolledLines feature in several ways: - fixes some inconsistences in its behavior - optimizes the region that needs to be repainted - fixes cases where the highlight was not cleared correclty when changing some profile properties (e.g. the scroll bar position) (cherry picked from commit 2d52fb86)
parent
8cdd9e23
Please register or sign in to comment