Widget disposed error on project change
@@ -1109,7 +1109,11 @@ public class HopGui
}
public void replaceKeyboardShortcutListeners(Control control, HopGuiKeyHandler keyHandler) {
-
+ // Something closing in the background perhaps...
+ //
+ if (control == null || control.isDisposed()) {
+ return;
+ }
control.removeKeyListener(keyHandler);
control.addKeyListener(keyHandler);
