diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2017-05-06 14:54:26 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2017-05-06 14:54:26 -0700 |
commit | dc0e767cf5130461a6aa58774d1016ec3934396b (patch) | |
tree | cd4522ac4fb08a2679f663b813dd2e62f7332fb4 /084console.mu | |
parent | 71d4ce1800b5df555aa7786b30f4d5d7fcd30352 (diff) | |
download | mu-dc0e767cf5130461a6aa58774d1016ec3934396b.tar.gz |
3844
Once I start optimizing most events to not repaint everything there's no need to be smart about queued-up events.
Diffstat (limited to '084console.mu')
-rw-r--r-- | 084console.mu | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/084console.mu b/084console.mu index d566bc27..9f55ca91 100644 --- a/084console.mu +++ b/084console.mu @@ -96,10 +96,9 @@ def wait-for-event console:&:console -> console:&:console [ } ] -# use this helper to skip rendering if there's lots of other events queued up def has-more-events? console:&:console -> result:bool [ local-scope load-ingredients - return-if console, 0/false # fake consoles should be plenty fast; never skip + return-if console, 0/false # fake events are processed as soon as they arrive result <- interactions-left? ] |