diff --git a/bndtools.core/src/bndtools/explorer/BndtoolsExplorer.java b/bndtools.core/src/bndtools/explorer/BndtoolsExplorer.java index 418d26e7f8..eeb799fff2 100644 --- a/bndtools.core/src/bndtools/explorer/BndtoolsExplorer.java +++ b/bndtools.core/src/bndtools/explorer/BndtoolsExplorer.java @@ -242,6 +242,12 @@ public void dispose() { @Override public int tryToReveal(Object element) { + int result = super.tryToReveal(element); + afterReveal(element); + return result; + } + + private void afterReveal(Object element) { if (element instanceof IResource) { model.setActualSelection(element); model.setSelectedProject(getProject((IResource) element)); @@ -249,13 +255,12 @@ public int tryToReveal(Object element) { model.setActualSelection(null); model.setSelectedProject(null); } - return super.tryToReveal(element); } @Override public void selectAndReveal(Object element) { - tryToReveal(element); super.selectAndReveal(element); + afterReveal(element); } @Override diff --git a/bndtools.core/src/bndtools/explorer/Model.java b/bndtools.core/src/bndtools/explorer/Model.java index 929c2fe105..7174eb4439 100644 --- a/bndtools.core/src/bndtools/explorer/Model.java +++ b/bndtools.core/src/bndtools/explorer/Model.java @@ -116,7 +116,7 @@ private void update0() { try { // coalesce some more updates on // the worker thread(s). - Thread.sleep(10); + Thread.sleep(50); } catch (InterruptedException e) { Thread.currentThread() .interrupt();