mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-17 11:54:33 +01:00
This isn't much code, but it makes deletion more consistent with renaming and saving with the SketchController handling the UI part and Sketch actually doing the delete.