diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-07-15 19:11:39 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-07-15 19:11:39 -0700 |
commit | 44babc860a59b2838515ac83d80ee94946012444 (patch) | |
tree | bc6d183606ec5335e75505fe11ff14b2abbf63ff | |
parent | d6c9fe6305ed9775c5ad814dee45e405da3fbecd (diff) | |
download | mu-44babc860a59b2838515ac83d80ee94946012444.tar.gz |
1788
-rw-r--r-- | edit.mu | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/edit.mu b/edit.mu index 5141b0f7..4c3e76ab 100644 --- a/edit.mu +++ b/edit.mu @@ -542,7 +542,9 @@ recipe event-loop [ } } +continue - # if no more events currently left to process, render + # if no more events currently left to process, render. + # we rely on 'render' to update 'before-cursor' on pointer events, but + # they won't usually come fast enough to trigger this. # todo: test this { more-events?:boolean <- has-more-events? console:address |