Merge pull request #5348 from pkriens/issue/5062

[jvm crash in swt] It is still happening
bndtools · Sep 2, 2022 · 5853f25 · 5853f25
2 parents d1ed2bb + a69afa6
commit 5853f25
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 3 deletions.
diff --git a/bndtools.core/src/bndtools/explorer/BndtoolsExplorer.java b/bndtools.core/src/bndtools/explorer/BndtoolsExplorer.java
@@ -242,20 +242,25 @@ 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));
 		} else {
 			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
@@ -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();