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.