diff options
Diffstat (limited to 'plugins/org.eclipse.emf.compare.ide.ui.e4/src/org/eclipse/emf/compare/ide/ui/e4/E4DeferredTreeContentManager.java')
-rw-r--r-- | plugins/org.eclipse.emf.compare.ide.ui.e4/src/org/eclipse/emf/compare/ide/ui/e4/E4DeferredTreeContentManager.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/plugins/org.eclipse.emf.compare.ide.ui.e4/src/org/eclipse/emf/compare/ide/ui/e4/E4DeferredTreeContentManager.java b/plugins/org.eclipse.emf.compare.ide.ui.e4/src/org/eclipse/emf/compare/ide/ui/e4/E4DeferredTreeContentManager.java index da88fd716..ef708118f 100644 --- a/plugins/org.eclipse.emf.compare.ide.ui.e4/src/org/eclipse/emf/compare/ide/ui/e4/E4DeferredTreeContentManager.java +++ b/plugins/org.eclipse.emf.compare.ide.ui.e4/src/org/eclipse/emf/compare/ide/ui/e4/E4DeferredTreeContentManager.java @@ -83,7 +83,8 @@ public class E4DeferredTreeContentManager extends DeferredTreeContentManager imp return; } // Clear the placeholder if it is still there - UIJob clearJob = new UIJob(Display.getDefault(), ProgressMessages.DeferredTreeContentManager_ClearJob) { + UIJob clearJob = new UIJob(Display.getDefault(), + ProgressMessages.DeferredTreeContentManager_ClearJob) { @Override public IStatus runInUIThread(IProgressMonitor monitor) { if (!e4Placeholder.isRemoved()) { |