mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-31 20:52:13 +01:00
parent
2ac2e23bd7
commit
2b11e94afe
@ -928,7 +928,9 @@ public class Base {
|
||||
public boolean handleClose(Editor editor) {
|
||||
|
||||
if (editors.size() == 1) {
|
||||
handleQuit();
|
||||
if (!handleQuit()) {
|
||||
return false;
|
||||
}
|
||||
// Everything called after handleQuit will only affect OSX
|
||||
editor.setVisible(false);
|
||||
editors.remove(editor);
|
||||
|
Loading…
x
Reference in New Issue
Block a user