1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-31 20:52:13 +01:00

When deleting set modal to false so editor can resume

This commit is contained in:
Joe Wegner 2019-08-23 11:22:25 -04:00 committed by Martino Facchin
parent aaef9221a2
commit b9c3f008b0

View File

@ -252,6 +252,7 @@ public class NotificationPopup extends JDialog {
if (autoClose) { if (autoClose) {
autoCloseTimer.cancel(); autoCloseTimer.cancel();
} }
setModal(false);
dispatchEvent(new WindowEvent(this, WindowEvent.WINDOW_CLOSING)); dispatchEvent(new WindowEvent(this, WindowEvent.WINDOW_CLOSING));
} }