mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-19 08:52:15 +01:00
36da22c086
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)