diff --git a/ui/org.eclipse.pde.ui/src/org/eclipse/pde/internal/ui/editor/targetdefinition/TargetEditor.java b/ui/org.eclipse.pde.ui/src/org/eclipse/pde/internal/ui/editor/targetdefinition/TargetEditor.java index 3c6a05c3de0..30a32233c5a 100644 --- a/ui/org.eclipse.pde.ui/src/org/eclipse/pde/internal/ui/editor/targetdefinition/TargetEditor.java +++ b/ui/org.eclipse.pde.ui/src/org/eclipse/pde/internal/ui/editor/targetdefinition/TargetEditor.java @@ -586,15 +586,15 @@ public void resourceChanged(IResourceChangeEvent event) { if (delta != null) { if (delta.getKind() == IResourceDelta.REMOVED) { TargetEditor.this.close(false); - } else if (delta.getKind() == IResourceDelta.CHANGED || delta.getKind() == IResourceDelta.REPLACED) { - if (!fSaving) { - Display display = getSite().getShell().getDisplay(); - display.asyncExec(() -> { - if (getActivePage() != -1) { - TargetEditor.this.doRevert(); - } - }); - } + } else if (delta.getKind() == IResourceDelta.CHANGED + && (delta.getFlags() & (IResourceDelta.CONTENT | IResourceDelta.REPLACED)) != 0 + && !fSaving) { + Display display = getSite().getShell().getDisplay(); + display.asyncExec(() -> { + if (getActivePage() != -1) { + TargetEditor.this.doRevert(); + } + }); } } }