-
Robert Knight authored
Optimize updates when changing the search text or scrolling with the search bar active. Compute the area covered by hotspots before and after the filter processing and then update the union of those two regions. svn path=/trunk/KDE/kdebase/apps/konsole/; revision=756109
eb3bf439