• Robert Knight's avatar
    Fix bug where search result highlights in the terminal display did not move... · 2a090c41
    Robert Knight authored
    Fix bug where search result highlights in the terminal display did not move when the display was scrolled.  When the search bar is active, update the filters and the view whenever it is scrolled or the output otherwise changes.  This has a perceptible (but in future fixable) performance impact when scrolling with the search bar active.
    
    svn path=/trunk/KDE/kdebase/apps/konsole/; revision=756104
    2a090c41
TerminalDisplay.cpp 81.4 KB