diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-05-29 13:37:02 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-05-29 13:37:02 -0700 |
| commit | e8eea70ab1f70822f756be3750817ac5e24bf24d (patch) | |
| tree | 6d9c1104d9e9d750822152f475eb954556ca87d7 /020run.cc | |
| parent | eea17dee20781db0e1aabacd736632d1f788994d (diff) | |
| download | mu-e8eea70ab1f70822f756be3750817ac5e24bf24d.tar.gz | |
3025 - fix a minor annoyance in edit/
When I floor the down-arrow too much, don't scroll unnecessarily off the bottom of the screen. But *do* scroll if there's errors to show.
Diffstat (limited to '020run.cc')
0 files changed, 0 insertions, 0 deletions