diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2017-06-25 13:04:04 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2017-06-25 13:04:04 -0700 |
| commit | e3c9e1536154e0dee2c15b556a2a6b9f6524e114 (patch) | |
| tree | 45afca3c6b1710188a25089717d1200d3c022932 /html/edit/012-editor-undo.mu.html | |
| parent | dc5f112c3ea8aff1a389513fa6c33d88fab07420 (diff) | |
| download | mu-e3c9e1536154e0dee2c15b556a2a6b9f6524e114.tar.gz | |
3959
Don't unnecessarily write sandboxes to disk on F4. This seems to save almost 20% time when processing a large lesson directory with 36 sandboxes.
Diffstat (limited to 'html/edit/012-editor-undo.mu.html')
0 files changed, 0 insertions, 0 deletions