diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-09-10 19:22:27 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-09-10 19:22:27 -0700 |
commit | 8beff53e5a65ac23411221fdcf6e9607b6c2a715 (patch) | |
tree | 2989d80113058c3dafaaeff682780ecf2a535392 /edit/009-sandbox-trace.mu | |
parent | 42b3a2f820e92e7fefab54321f62aa9edf75bd81 (diff) | |
download | mu-8beff53e5a65ac23411221fdcf6e9607b6c2a715.tar.gz |
2180 - render the trace even if there's warnings
Diffstat (limited to 'edit/009-sandbox-trace.mu')
-rw-r--r-- | edit/009-sandbox-trace.mu | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/edit/009-sandbox-trace.mu b/edit/009-sandbox-trace.mu index a2b35ac0..1091981e 100644 --- a/edit/009-sandbox-trace.mu +++ b/edit/009-sandbox-trace.mu @@ -206,4 +206,5 @@ after <render-sandbox-results> [ break-unless sandbox-trace # nothing to print; move on row, screen <- render-string, screen, sandbox-trace, left, right, 245/grey, row } + <render-sandbox-trace-done> ] |