diff options
author | Milos Kleint | 2011-07-20 15:22:47 +0000 |
---|---|---|
committer | Milos Kleint | 2011-07-20 15:22:47 +0000 |
commit | 68b90bf409289b70a93d6b3fe5f9ccd97a736ec3 (patch) | |
tree | 03bff265e0743a75d94e5bb261116cf0e0e01422 | |
parent | b1f3cd74eaaf0d5a6e7a07f1907c98268c024d9a (diff) | |
download | m2e-core-68b90bf409289b70a93d6b3fe5f9ccd97a736ec3.tar.gz m2e-core-68b90bf409289b70a93d6b3fe5f9ccd97a736ec3.tar.xz m2e-core-68b90bf409289b70a93d6b3fe5f9ccd97a736ec3.zip |
check for disposed widget before accessing it
-rw-r--r-- | org.eclipse.m2e.editor/src/org/eclipse/m2e/editor/pom/MavenPomEditorPage.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.m2e.editor/src/org/eclipse/m2e/editor/pom/MavenPomEditorPage.java b/org.eclipse.m2e.editor/src/org/eclipse/m2e/editor/pom/MavenPomEditorPage.java index f5e58998..3ca126af 100644 --- a/org.eclipse.m2e.editor/src/org/eclipse/m2e/editor/pom/MavenPomEditorPage.java +++ b/org.eclipse.m2e.editor/src/org/eclipse/m2e/editor/pom/MavenPomEditorPage.java @@ -338,8 +338,8 @@ public abstract class MavenPomEditorPage extends FormPage { if (getPartControl() != null && !getPartControl().isDisposed()) { getPartControl().getDisplay().asyncExec(new Runnable() { public void run() { - FormHoverProvider.Execute runnable = FormHoverProvider.createHoverRunnable(getManagedForm().getForm().getShell(), markers, getPomEditor().getSourcePage().getTextViewer()); if (!getManagedForm().getForm().isDisposed()) { + FormHoverProvider.Execute runnable = FormHoverProvider.createHoverRunnable(getManagedForm().getForm().getShell(), markers, getPomEditor().getSourcePage().getTextViewer()); if (runnable != null) { FormUtils.setMessageWithPerformer(getManagedForm().getForm(), msg, severity, runnable); } else { |