Don't try to dispose the clipboard if the display is already disposed.

This avoids error during shutdown.
google · Jul 26, 2019 · 338bb67 · 338bb67
1 parent b828cc2
commit 338bb67
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/gapic/src/main/com/google/gapid/widgets/CopyPaste.java b/gapic/src/main/com/google/gapid/widgets/CopyPaste.java
@@ -48,9 +48,11 @@ public CopyPaste(Display display) {
   }
 
   public void dispose() {
-    display.removeFilter(SWT.FocusIn, focusListener);
-    display.removeFilter(SWT.FocusOut, focusListener);
-    clipboard.dispose();
+    if (!display.isDisposed()) {
+      display.removeFilter(SWT.FocusIn, focusListener);
+      display.removeFilter(SWT.FocusOut, focusListener);
+      clipboard.dispose();
+    }
   }
 
   public void registerCopySource(Control focusReceiver, CopySource source) {