# HG changeset patch
# User František Kučera <franta-hg@frantovo.cz>
# Date 1702669301 -3600
# Node ID c2ce9d9161031bcbf4da11e46267edfd0b4735cd
# Parent  4805f1eef561f3e734c8132b7fe5dc1ae8ef09cd
při zavření okna nedělat tvrdý EXIT, ale jen DISPOSE a počkat, až se vše ukončí

diff -r 4805f1eef561 -r c2ce9d916103 java/rozsirene-atributy/src/cz/frantovo/rozsireneatributy/Startér.java
--- a/java/rozsirene-atributy/src/cz/frantovo/rozsireneatributy/Startér.java	Fri Dec 15 02:30:46 2023 +0100
+++ b/java/rozsirene-atributy/src/cz/frantovo/rozsireneatributy/Startér.java	Fri Dec 15 20:41:41 2023 +0100
@@ -86,7 +86,7 @@
 					KeyStroke.getKeyStroke(KeyEvent.VK_ESCAPE, 0),
 					JComponent.WHEN_IN_FOCUSED_WINDOW);
 
-				f.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
+				f.setDefaultCloseOperation(JFrame.DISPOSE_ON_CLOSE);
 				f.setTitle(MessageFormat
 					.format(překlady.getString("titulek"), soubor));
 				f.setSize(640, 240);