| commit | 0bffd99dcbcf653f3394cae36ccda096aa583cdc | [log] [tgz] |
|---|---|---|
| author | Benno Schulenberg <bensberg@justemail.net> | Sat Apr 16 11:38:39 2016 +0200 |
| committer | Benno Schulenberg <bensberg@justemail.net> | Sat Apr 16 11:38:39 2016 +0200 |
| tree | 5d77569506205be2b621bec30241113dce30eab3 | |
| parent | 4c075f377159caa42be09690d5a5a183c5a78e5f [diff] |
scrolling: elide a variable, to make clearer that edittop is being moved