mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-04-27 00:37:20 +00:00

When opening sketches. Rules: - If `sketch` is missing from the URL, we reuse the same window. - NOOP, if we try to open the currently opened sketch. - Otherwise, use the existing logic: open sketch in a new window. Signed-off-by: Akos Kitta <kittaakos@typefox.io>