search: improve viewport movements

* Don't move the viewport if the new match is already fully visible
* When we do have to move the viewport, position it such that the new
  match ends up roughly in the middle.
This commit is contained in:
Daniel Eklöf 2020-07-24 17:49:50 +02:00
parent 60984e7a24
commit 8d81dde5b8
No known key found for this signature in database
GPG key ID: 5BBD4992C116573F
2 changed files with 52 additions and 32 deletions

View file

@ -23,6 +23,12 @@
number and without any other separating characters. Thus, _1.4.2_
would be reported as `010402` (i.e. the full response would be
`\E[>1;010402;0c`).
* Scrollback search to only move the viewport if the match lies
outside it.
* Scrollback search to focus match, that requires a viewport change,
roughly in the center of the screen.
### Deprecated
### Removed
### Fixed