mirror of
https://github.com/hneemann/Digital.git
synced 2025-09-23 04:11:54 -04:00
avoids closing the window if file is unsaved, closes #619
This commit is contained in:
parent
a341ef3b4d
commit
9332febb1f
@ -116,8 +116,10 @@ public class ClosingWindowListener extends WindowAdapter {
|
||||
if (r == JOptionPane.YES_OPTION || r == JOptionPane.NO_OPTION) {
|
||||
if (r == JOptionPane.YES_OPTION) {
|
||||
guiCloser.saveChanges();
|
||||
}
|
||||
guiCloser.closeGUI();
|
||||
if (!guiCloser.isStateChanged())
|
||||
guiCloser.closeGUI();
|
||||
} else
|
||||
guiCloser.closeGUI();
|
||||
}
|
||||
} else {
|
||||
guiCloser.closeGUI();
|
||||
|
Loading…
x
Reference in New Issue
Block a user