diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-08-22 22:22:57 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-08-22 22:22:57 -0700 |
| commit | 63b94083336684c011e2fcdd23226043d0cf6bb7 (patch) | |
| tree | 7ea8dad481c9359818220187399abb0451fe9355 | |
| parent | fd35cc3f267d180cd843d202237a74ff3b68a0e1 (diff) | |
| download | mu-63b94083336684c011e2fcdd23226043d0cf6bb7.tar.gz | |
2061 - clear status only after repaint
| -rw-r--r-- | edit.mu | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/edit.mu b/edit.mu index f013dcf2..5a3dadd4 100644 --- a/edit.mu +++ b/edit.mu @@ -4990,9 +4990,14 @@ after +global-keypress [ break-unless do-run? status:address:array:character <- new [running... ] screen <- update-status screen, status, 245/grey - run-sandboxes env, screen + screen, error?:boolean <- run-sandboxes env, screen # F4 might update warnings and results on both sides screen <- render-all screen, env + { + break-if error? + status:address:array:character <- new [ ] + screen <- update-status screen, status, 245/grey + } screen <- update-cursor screen, recipes, current-sandbox, *sandbox-in-focus? loop +next-event:label } @@ -5013,7 +5018,7 @@ recipe run-sandboxes [ break-unless *recipe-warnings status:address:array:character <- new [errors found] update-status screen, status, 1/red - reply + reply screen/same-as-ingredient:1, 1/errors-found } # check contents of right editor (sandbox) current-sandbox:address:editor-data <- get *env, current-sandbox:offset @@ -5057,8 +5062,7 @@ recipe run-sandboxes [ curr <- get *curr, next-sandbox:offset loop } - status:address:array:character <- new [ ] - screen <- update-status screen, status, 245/grey + reply screen/same-as-ingredient:1, 0/no-errors-found ] recipe update-status [ |