1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-03-14 11:29:26 +01:00
Matthijs Kooijman 1d15c434dc Let SketchFile.delete() call Sketch.removeFile()
Previously, callers of `SketchFile.delete()` would also call
`Sketch.removeFile()`, but letting SketchFile handle this is more
robust.

This is possible now that SketchFile keeps a reference to Sketch and
makes updating the Sketch file list less fragile.

Eventually this might be further decoupled by letting SketchFile
broadcast a "deleted" event instead.
2016-08-26 16:42:44 +02:00
..
2015-06-25 12:47:38 +02:00
2016-01-26 12:09:56 +01:00
2016-01-26 12:09:56 +01:00