ignore already disposed exception (from GA)

This commit is contained in:
Anton Keks 2021-02-15 19:34:29 +02:00
parent e47ba85c89
commit 3bc2360a3c

View File

@ -76,7 +76,10 @@ public class GUI implements AutoCloseable {
}
@Override public void close() {
display.dispose();
try {
display.dispose();
}
catch (SWTException ignore) {}
}
/**