gui: better app exit
authorNiki Roo <niki@nikiroo.be>
Tue, 19 Mar 2019 18:09:54 +0000 (19:09 +0100)
committerNiki Roo <niki@nikiroo.be>
Tue, 19 Mar 2019 18:09:54 +0000 (19:09 +0100)
commit31e28683c108bb5903864c58b0cc06bfa258fbfc
tree6674a87bdb5c0d220e5c3b18398e47584b8a4496
parent14bb95fae33d405c0a43682c144d081bfbcad545
gui: better app exit
src/be/nikiroo/fanfix/Main.java
src/be/nikiroo/fanfix/reader/ui/GuiReader.java
src/be/nikiroo/fanfix/reader/ui/GuiReaderFrame.java
src/be/nikiroo/fanfix/reader/ui/GuiReaderPropertiesFrame.java