diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-01-21 13:51:50 -0800 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-01-22 08:52:28 -0800 |
| commit | 3151fb2387439475e12a354f2905a77ccb80ca19 (patch) | |
| tree | ac9d527f475ea677e3fab90b7c1c0cdcf1e2b7ca /023boolean.cc | |
| parent | b35cdb494562feabc600a6eac2913385e507f455 (diff) | |
| download | mu-3151fb2387439475e12a354f2905a77ccb80ca19.tar.gz | |
2585 - label sandboxes with a number
It also seems useful that the number maps to the name of the file the sandbox is saved in. However this mapping is currently a happy accident and not actually tested. I'm starting to switch gears and help make the editor useable with many many sandboxes. This is just the first step of several.
Diffstat (limited to '023boolean.cc')
0 files changed, 0 insertions, 0 deletions