another little stab in the dark. shouldn't cause any harm at any rate

This commit is contained in:
Gered 2016-03-21 12:06:39 -04:00
parent e1972daa11
commit b28eb18c75

View file

@ -148,6 +148,12 @@ final class Actions {
about();
} else if ( source == MenuItem.EXIT ) {
if ( confirmOverwrite() ) {
// these might not really be necessary, but at this point just trying to be sure a running timer isn't
// sometimes keeping the app open somehow ??
run.stop();
run.reset();
// exit the app
master.dispose();
}
}