public void stop() {
dispose();
if (display != null) {
- display.dispose();
- display = null;
+ display.syncExec(() -> {
+ display.dispose();
+ display = null;
+ });
}
}
}
public void dispose() {
- if (!rootShell.isDisposed())
- rootShell.dispose();
+ if (!rootShell.isDisposed()) {
+ rootShell.getDisplay().syncExec(() -> {
+ rootShell.dispose();
+ });
+ }
}
protected boolean isFullscreen() {