| commit | 2246029447c83a171d3e4d3c462969c678aa2be9 | [log] [tgz] |
|---|---|---|
| author | Benno Schulenberg <bensberg@justemail.net> | Wed Apr 13 13:14:36 2016 +0200 |
| committer | Benno Schulenberg <bensberg@justemail.net> | Wed Apr 13 13:19:24 2016 +0200 |
| tree | 5df50bb07f8261fb4fb9bcd5b856158c691f4f90 | |
| parent | 503654e60ea42f5f12a01d1fdba7f63eb85431f0 [diff] |
screen: elide a variable and serialize some logic for clarity Also, don't force a full refresh of the edit window simply because the current line needs to be horizontally scrolled. And further, when the adjustment of edittop has determined that a full refresh is needed, get out and don't bother scrolling some lines first.