- Display.getDefault().asyncExec(() ->
- {
- pauseButton.setSelection(false);
- setPauseText(pauseButton, false);
- });
+ if (!pauseButton.isDisposed())
+ Display.getDefault().asyncExec(() ->
+ {
+ if (!pauseButton.isDisposed())
+ pauseButton.setSelection(false);
+ setPauseText(pauseButton, false);
+ });