diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-08-08 23:35:36 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-08-08 23:35:36 -0700 |
| commit | 54ecaa36c0bad247653022a93c446b0fa4469165 (patch) | |
| tree | 6f1313ca66b03f4581a1f586de81190f86bae010 /081run_interactive.cc | |
| parent | 37ae39ce3faf5eb3d5e720aed2d2076122fca1ff (diff) | |
| download | mu-54ecaa36c0bad247653022a93c446b0fa4469165.tar.gz | |
1958 - reimplement page-up
The old approach with cached page starts doesn't work when you mix scrolling by line and page.
Diffstat (limited to '081run_interactive.cc')
0 files changed, 0 insertions, 0 deletions