about summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2015-07-10 10:31:09 -0700
committerKartik K. Agaram <vc@akkartik.com>2015-07-10 10:31:09 -0700
commit26e540c5821a531fc1c795bc6e971ab128c7ae64 (patch)
treeede7a1f23dced55d839fde4358312328aec7fe12
parentba32c4f0594c68bd8d3ef53d818d30193a308d95 (diff)
downloadmu-26e540c5821a531fc1c795bc6e971ab128c7ae64.tar.gz
1747
-rw-r--r--edit.mu7
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
   }