mirror of
https://github.com/arduino/Arduino.git
synced 2025-04-02 19:25:26 +02:00
Don't call System.exit() but trust the ThinkDifferent handler Handle reopen only if no editor is visible Don't dispose last closing editor (so its toolbars are still in active state)