diff options
author | khussey | 2008-12-16 15:53:57 +0000 |
---|---|---|
committer | khussey | 2008-12-16 15:53:57 +0000 |
commit | c7f5ecb23c183667cd48ab84b01cd5a88465a40f (patch) | |
tree | dd9c64fd62888072d6df593f2b5a7ab7cfa861e3 /plugins/org.eclipse.uml2.uml.editor | |
parent | fab487a6b559b23ab6104347ef849339051e6e8f (diff) | |
download | org.eclipse.uml2-c7f5ecb23c183667cd48ab84b01cd5a88465a40f.tar.gz org.eclipse.uml2-c7f5ecb23c183667cd48ab84b01cd5a88465a40f.tar.xz org.eclipse.uml2-c7f5ecb23c183667cd48ab84b01cd5a88465a40f.zip |
Diffstat (limited to 'plugins/org.eclipse.uml2.uml.editor')
-rw-r--r-- | plugins/org.eclipse.uml2.uml.editor/src/org/eclipse/uml2/uml/editor/presentation/UMLEditor.java | 46 |
1 files changed, 23 insertions, 23 deletions
diff --git a/plugins/org.eclipse.uml2.uml.editor/src/org/eclipse/uml2/uml/editor/presentation/UMLEditor.java b/plugins/org.eclipse.uml2.uml.editor/src/org/eclipse/uml2/uml/editor/presentation/UMLEditor.java index 4d3ef66b8..15d917e7c 100644 --- a/plugins/org.eclipse.uml2.uml.editor/src/org/eclipse/uml2/uml/editor/presentation/UMLEditor.java +++ b/plugins/org.eclipse.uml2.uml.editor/src/org/eclipse/uml2/uml/editor/presentation/UMLEditor.java @@ -7,9 +7,9 @@ * * Contributors: * IBM - initial API and implementation - * Kenn Hussey (Embarcadero Technologies) - 204200, 215418, 156879, 227392, 226178, 232332 + * Kenn Hussey (Embarcadero Technologies) - 204200, 215418, 156879, 227392, 226178, 232332, 247980 * - * $Id: UMLEditor.java,v 1.47 2008/12/09 19:44:04 jbruck Exp $ + * $Id: UMLEditor.java,v 1.48 2008/12/16 15:53:57 khussey Exp $ */ package org.eclipse.uml2.uml.editor.presentation; @@ -485,34 +485,34 @@ public class UMLEditor } } - ResourceDeltaVisitor visitor = new ResourceDeltaVisitor(); + final ResourceDeltaVisitor visitor = new ResourceDeltaVisitor(); delta.accept(visitor); if (!visitor.getRemovedResources().isEmpty()) { - removedResources.addAll(visitor.getRemovedResources()); - if (!isDirty()) { - getSite().getShell().getDisplay().asyncExec( - new Runnable() { - - public void run() { - getSite().getPage().closeEditor( - UMLEditor.this, false); - } - }); - } + getSite().getShell().getDisplay().asyncExec(new Runnable() { + + public void run() { + removedResources.addAll(visitor + .getRemovedResources()); + if (!isDirty()) { + getSite().getPage().closeEditor(UMLEditor.this, + false); + } + } + }); } if (!visitor.getChangedResources().isEmpty()) { - changedResources.addAll(visitor.getChangedResources()); - if (getSite().getPage().getActiveEditor() == UMLEditor.this) { - getSite().getShell().getDisplay().asyncExec( - new Runnable() { + getSite().getShell().getDisplay().asyncExec(new Runnable() { - public void run() { - handleActivate(); - } - }); - } + public void run() { + changedResources.addAll(visitor + .getChangedResources()); + if (getSite().getPage().getActiveEditor() == UMLEditor.this) { + handleActivate(); + } + } + }); } } catch (CoreException exception) { UMLEditorPlugin.INSTANCE.log(exception); |