Skip to content

Polish the highlightScrolledLines feature

Thomas Surrel requested to merge work/highlightImproved into master

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)

Merge request reports