diff options
Diffstat (limited to 'edit/005-sandbox.mu')
| -rw-r--r-- | edit/005-sandbox.mu | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/edit/005-sandbox.mu b/edit/005-sandbox.mu index 9e175378..16754946 100644 --- a/edit/005-sandbox.mu +++ b/edit/005-sandbox.mu @@ -131,11 +131,7 @@ after <global-keypress> [ screen <- update-status screen, [running... ], 245/grey error?:bool <- run-sandboxes env, resources, screen # we could just render-all, but we do some work to minimize the number of prints to screen - <render-recipe-errors-on-F4> - { - break-unless error? - <render-sandbox-errors-on-F4> - } + <end-run-sandboxes-on-F4> screen <- render-sandbox-side screen, env, render { break-if error? |