mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-11-14 12:49:28 +00:00
Fall back to the current sketch, if `currentWidget` points to a file outside of the workspace. Closes: arduino/arduino-ide#46 Signed-off-by: Akos Kitta <kittaakos@typefox.io>