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)

No differences found