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 /sandbox/002-typing.mu | |
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 'sandbox/002-typing.mu')
0 files changed, 0 insertions, 0 deletions