diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-08-12 01:45:03 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-08-12 01:45:03 -0700 |
| commit | 9aaed87f13a03ab8da6aa8950623416763dee665 (patch) | |
| tree | 109aa15e22cd631456f5050a7eeff846a37b139d /edit.mu | |
| parent | d3f000c0592e105555cbb97d31cf603c6aa549f8 (diff) | |
| download | mu-9aaed87f13a03ab8da6aa8950623416763dee665.tar.gz | |
1978
Diffstat (limited to 'edit.mu')
| -rw-r--r-- | edit.mu | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/edit.mu b/edit.mu index d802c770..4f127249 100644 --- a/edit.mu +++ b/edit.mu @@ -4845,7 +4845,7 @@ scenario run-instruction-and-print-warnings-only-once [ ] scenario run-instruction-manages-screen-per-sandbox [ - $close-trace # trace too long for github #? 1 + $close-trace # trace too long for github assume-screen 100/width, 20/height # left editor is empty 1:address:array:character <- new [] |