mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-05-06 21:18:41 +00:00

- Made sure the `Explorer` is visible before raising the input dialog. - Removed unused module. Fixes arduino/arduino-pro-ide#84 Signed-off-by: Akos Kitta <kittaakos@typefox.io>