diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-07-10 10:31:09 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-07-10 10:31:09 -0700 |
commit | 26e540c5821a531fc1c795bc6e971ab128c7ae64 (patch) | |
tree | ede7a1f23dced55d839fde4358312328aec7fe12 | |
parent | ba32c4f0594c68bd8d3ef53d818d30193a308d95 (diff) | |
download | mu-26e540c5821a531fc1c795bc6e971ab128c7ae64.tar.gz |
1747
-rw-r--r-- | edit.mu | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/edit.mu b/edit.mu index 501fdd75..eb0eb8be 100644 --- a/edit.mu +++ b/edit.mu @@ -477,8 +477,7 @@ recipe event-loop [ do-run?:boolean <- equal k:address:number/deref, 65526:literal/F10 break-unless do-run?:boolean run-sandboxes env:address:programming-environment-data - render-all screen:address, env:address:programming-environment-data - loop +next-event:label # done with this event; no need to send to editors + jump +continue:label } } # 'touch' event - send to both editors @@ -487,8 +486,7 @@ recipe event-loop [ break-unless t:address:touch-event _ <- move-cursor-in-editor screen:address, recipes:address:editor-data, t:address:touch-event/deref sandbox-in-focus?:boolean <- move-cursor-in-editor screen:address, current-sandbox:address:editor-data, t:address:touch-event/deref - render-all screen:address, env:address:programming-environment-data - loop +next-event:label + jump +continue:label } # if it's not global, send to appropriate editor { @@ -501,6 +499,7 @@ recipe event-loop [ handle-event screen:address, console:address, current-sandbox:address:editor-data, e:event } } + +continue render-all screen:address, env:address:programming-environment-data loop } |