Fix scrolled line highlight

d3080e7f · Thomas Surrel · Tomaz Canabrava · fd5f08a3 · d3080e7f
Commit d3080e7f authored Jun 16, 2021 by Thomas Surrel Committed by Tomaz Canabrava Jun 18, 2021
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

src/terminalDisplay/TerminalPainter.cpp src/terminalDisplay/TerminalPainter.cpp +1 -0

No files found.
--- a/src/terminalDisplay/TerminalPainter.cpp
+++ b/src/terminalDisplay/TerminalPainter.cpp
@@ -316,6 +316,7 @@ namespace Konsole
                dirtyRegion |= scrollBar->highlightScrolledLines().rect();
                scrollBar->highlightScrolledLines().rect() = new_highlight;
            }
+            dirtyRegion |= new_highlight;

            scrollBar->highlightScrolledLines().startTimer();
        } else if (!nothingChanged || scrollBar->highlightScrolledLines().isNeedToClear()) {