diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2017-06-22 09:33:29 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2017-06-22 09:33:29 -0700 |
| commit | 5aac71e8758501964b83591fc26613bacbc1b758 (patch) | |
| tree | 595dfb339c6847c66c8d4dee7fa6c83e8c1b1e87 /edit | |
| parent | 124c67645cb6f1b9f06d7104c5398fa4732e2f25 (diff) | |
| download | mu-5aac71e8758501964b83591fc26613bacbc1b758.tar.gz | |
3935
Diffstat (limited to 'edit')
| -rw-r--r-- | edit/005-sandbox.mu | 2 | ||||
| -rw-r--r-- | edit/009-sandbox-test.mu | 2 | ||||
| -rw-r--r-- | edit/011-errors.mu | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/edit/005-sandbox.mu b/edit/005-sandbox.mu index 4ef76e01..ae322545 100644 --- a/edit/005-sandbox.mu +++ b/edit/005-sandbox.mu @@ -273,7 +273,7 @@ def render-sandboxes screen:&:screen, sandbox:&:sandbox, left:num, right:num, ro return-unless sandbox screen-height:num <- screen-height screen at-bottom?:bool <- greater-or-equal row, screen-height - return-if at-bottom?:bool + return-if at-bottom? hidden?:bool <- lesser-than idx, render-from { break-if hidden? diff --git a/edit/009-sandbox-test.mu b/edit/009-sandbox-test.mu index f0ec9cc9..1d1ed172 100644 --- a/edit/009-sandbox-test.mu +++ b/edit/009-sandbox-test.mu @@ -189,7 +189,7 @@ after <render-sandbox-response> [ break-unless expected-response # fall-through to print in grey response-is-expected?:bool <- equal expected-response, sandbox-response { - break-if response-is-expected?:bool + break-if response-is-expected? row, screen <- render-text screen, sandbox-response, left, right, 1/red, row } { diff --git a/edit/011-errors.mu b/edit/011-errors.mu index cf12f1c1..049a0853 100644 --- a/edit/011-errors.mu +++ b/edit/011-errors.mu @@ -87,7 +87,7 @@ def! update-sandbox sandbox:&:sandbox, env:&:environment, idx:num -> sandbox:&:s *sandbox <- put *sandbox, trace:offset, trace { break-if errors - break-if completed?:bool + break-if completed? errors <- new [took too long! ] *sandbox <- put *sandbox, errors:offset, errors |