commit 60b7c58e33fb9b2a1615e425edbffa7a45cfa3a9
author Ed Merks <ed.merks@gmail.com> Mon Mar 06 11:27:01 2023 +0100
committer Ed Merks <ed.merks@gmail.com> Mon Mar 06 11:27:01 2023 +0100
tree ab6f2cd527c261c3f214a41d200dcaa3e9705383
parent df0fb8f65d338d044b9f6835475f8206399765e0

[581630] NullPointerException in HelpListener

https://bugs.eclipse.org/bugs/show_bug.cgi?id=581630

plugins/org.eclipse.oomph.ui/src/org/eclipse/oomph/ui/HelpSupport.java

diff --git a/plugins/org.eclipse.oomph.ui/src/org/eclipse/oomph/ui/HelpSupport.java b/plugins/org.eclipse.oomph.ui/src/org/eclipse/oomph/ui/HelpSupport.java
index 8ea012c..fa3d4dd 100644
--- a/plugins/org.eclipse.oomph.ui/src/org/eclipse/oomph/ui/HelpSupport.java
+++ b/plugins/org.eclipse.oomph.ui/src/org/eclipse/oomph/ui/HelpSupport.java
@@ -97,6 +97,11 @@
       @Override
       public void helpRequested(HelpEvent e)
       {
+        if (shell.isDisposed())
+        {
+          return;
+        }
+
         if (UIUtil.isBrowserAvailable())
         {
           if (dialog.getTray() != null)