| commit | 58404e4ba295516c14848e80345572db702bf780 | [log] [tgz] |
|---|---|---|
| author | Benno Schulenberg <bensberg@justemail.net> | Wed May 11 13:29:38 2016 +0200 |
| committer | Benno Schulenberg <bensberg@justemail.net> | Mon May 16 17:03:45 2016 +0200 |
| tree | daef0f3103a08257a6ea3d3411540fd1c2c4cced | |
| parent | 36df5ceef65b34cc4738f5bdd29390545740237f [diff] |
browser: keep the highlight in the same spot or column, when possible When doing a PageUp or PageDown in the browser, don't move the highlight to the first line in the same column, but keep it in the same relative position of the screen. If we're already on the first or last page, move the highlight to the first or last line, but keep it in the same column. If we're already on the first or last line, only then move it to the first or last entry.