| commit | 023edffe3df701427b6d0a6da579a7424e0fac7d | [log] [tgz] |
|---|---|---|
| author | Benno Schulenberg <bensberg@justemail.net> | Fri Oct 21 14:31:37 2016 +0200 |
| committer | Benno Schulenberg <bensberg@justemail.net> | Fri Oct 21 14:56:56 2016 +0200 |
| tree | 7f613c7b90d0aaf2e0025b6a5239cdfb0a6e9110 | |
| parent | 2789bb0813376caf59da7f80b83c3db28c0fc370 [diff] |
screen: move the margin determination to the main loop There is no need to look at this for every painted line, because the margin can only change when some key is struck.