diff options
Diffstat (limited to 'org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/viewers/model/ElementMementoRequest.java')
-rw-r--r-- | org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/viewers/model/ElementMementoRequest.java | 19 |
1 files changed, 11 insertions, 8 deletions
diff --git a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/viewers/model/ElementMementoRequest.java b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/viewers/model/ElementMementoRequest.java index 2c54dc77f..6e53cf171 100644 --- a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/viewers/model/ElementMementoRequest.java +++ b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/viewers/model/ElementMementoRequest.java @@ -47,21 +47,24 @@ class ElementMementoRequest extends MementoUpdate implements IElementMementoRequ */ @Override public void done() { + ITreeModelViewer viewer = getContentProvider().getViewer(); - if (viewer == null) { - return; // disposed - } + if (viewer == null) return; // disposed if (viewer.getDisplay().getThread() == Thread.currentThread()) { - doComplete(); + doComplete(); } else { - viewer.getDisplay().asyncExec(() -> doComplete()); + viewer.getDisplay().asyncExec(new Runnable() { + @Override + public void run() { + doComplete(); + } + }); } + } private void doComplete() { - if (getContentProvider().isDisposed()) { - return; - } + if (getContentProvider().isDisposed()) return; if (!isCanceled() && (getStatus() == null || getStatus().isOK())) { // replace the element with a memento |