| commit | c24545fe9aa52da28252e5ad420bbffd0b14a12a | [log] [tgz] |
|---|---|---|
| author | David Lawrence Ramsey <address@hidden> | Thu Feb 09 10:20:04 2017 -0600 |
| committer | Benno Schulenberg <bensberg@justemail.net> | Mon Feb 13 20:25:38 2017 +0100 |
| tree | f3d5f6fe1b7758e34e27852b862c81d144ece51a | |
| parent | 8fbadecf0a332dc2c4382b4a4d3eb86d98e0bce9 [diff] |
tweaks: always directly do a refresh when the margin changes The previous code only directly refreshed the screen when the margin changed due to toggling line numbering on. When the margin changed due to toggling it off, it would indirectly refresh via do_toggle().