Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMilos Kleint2011-07-20 15:22:47 +0000
committerMilos Kleint2011-07-20 15:22:47 +0000
commit68b90bf409289b70a93d6b3fe5f9ccd97a736ec3 (patch)
tree03bff265e0743a75d94e5bb261116cf0e0e01422
parentb1f3cd74eaaf0d5a6e7a07f1907c98268c024d9a (diff)
downloadm2e-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.java2
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 {

Back to the top