mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-06-16 00:56:33 +00:00

- Do not reset the layout. It messes up the editor's restoration. - Close all pro-mode only views when leaving pro-mode. - Initialize all views `onStart`. It is a NOOP in normal mode. Closes arduino/arduino-pro-ide#101 Signed-off-by: Akos Kitta <kittaakos@typefox.io>