diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-08-04 21:08:06 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-08-04 21:08:06 -0700 |
commit | f90d8267d5b6e51b0a3c40fc204e023621b2bfa8 (patch) | |
tree | c1506f49a04de38f0761768e409f5ded62fb2d54 | |
parent | 11312cecee834fc91dd4d4282c2e1b339519eaef (diff) | |
download | mu-f90d8267d5b6e51b0a3c40fc204e023621b2bfa8.tar.gz |
1934
-rw-r--r-- | edit.mu | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/edit.mu b/edit.mu index a6359b4f..9677d28e 100644 --- a/edit.mu +++ b/edit.mu @@ -2510,8 +2510,11 @@ after +handle-special-key [ } ] -# cache old pages in a linked-list so page-up later doesn't have to recompute -# them +# Cache old pointers to top-of-page in a list as you scroll past them, so that +# page-up later doesn't have to recompute them. +# This only works because we can never ever have edits outside the current +# page. Any edits outside the current page might invalidate pointers to old +# pages. container editor-data [ previous-page:address:list:address:duplex-list:character ] |