diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-01-22 12:33:57 -0800 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-01-22 12:33:57 -0800 |
| commit | 2894e8d5deba8af7afb2548420c8014348027a19 (patch) | |
| tree | 8a3c2de525173e60a809a4fddb2bb4e7ac8bdba0 /edit | |
| parent | 1234e56e3e48d6d8d4a8e007c806ccc456bafa46 (diff) | |
| download | mu-2894e8d5deba8af7afb2548420c8014348027a19.tar.gz | |
2589 - tweak color for sandbox labels
I'm now thinking about how to support scrolling on the sandbox side. Caleb's idea is to use down-arrow inside the sandbox editor, and then "scroll off" the editor to the top of each successive sandbox. I think I'll reserve the white background as the cursor color in that situation. I wonder if I should just undo all the support for sandbox labels since yesterday. Labels are perhaps superfluous once I support scrolling and reorder sandboxes to always throw ones with errors up top. But then you can end up scrolling through lots of tests without any sense of how far down you are. So the other approach is to keep labels and try to keep them stable, not reorder them. Looking further ahead I'm going to need a way to jump to a specific sandbox. Maybe instead of reordering sandboxes I should just automatically render from the first sandbox with error. Maybe show the number of failed sandboxes in the status instead of the index of the first failure.
Diffstat (limited to 'edit')
| -rw-r--r-- | edit/005-sandbox.mu | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/edit/005-sandbox.mu b/edit/005-sandbox.mu index cd92bfa9..7c229b2f 100644 --- a/edit/005-sandbox.mu +++ b/edit/005-sandbox.mu @@ -83,7 +83,7 @@ scenario run-and-show-results [ . ┊ . ] # sandbox title in reverse video - screen-should-contain-in-color 0/black, [ + screen-should-contain-in-color 240/dark-grey, [ . . . . . . @@ -264,7 +264,7 @@ recipe render-sandboxes screen:address:shared:screen, sandbox:address:shared:san # render sandbox menu row <- add row, 1 screen <- move-cursor screen, row, left - print screen, idx, 0/black, 245/grey + print screen, idx, 240/dark-grey clear-line-delimited screen, left, right delete-icon:character <- copy 120/x print screen, delete-icon, 245/grey |