| commit | 914af36546bc5105e41ae263a837d2bfa51d1952 | [log] [tgz] |
|---|---|---|
| author | Benno Schulenberg <bensberg@justemail.net> | Fri Feb 10 22:03:37 2017 +0100 |
| committer | Benno Schulenberg <bensberg@justemail.net> | Fri Feb 10 22:09:03 2017 +0100 |
| tree | 45b22dc63c6b3491a685d13a41843995d4390e34 | |
| parent | 5c3d529761be36f4d4758f84ca0ac0153a2eb248 [diff] |
spelling: don't unnecessarily fiddle with the viewport If we're somewhere deep into the file and do a spell check, and the first misspelled word happens to be right there, onscreen already, then this word does not need to be centered -- it /should/ not be centered. We should scroll only when necessary.