X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;ds=sidebyside;f=bundles%2Forg.simantics.browsing.ui.swt%2Fsrc%2Forg%2Fsimantics%2Fbrowsing%2Fui%2Fswt%2FGraphExplorerImpl2.java;h=c3407a4fdedfce3bce342b46a6b7ee07f08c8cfe;hb=68ce0966a57f5153b133c6283fdbae10f683b745;hp=928bed03facc844eea8ef2603307e0a2c988f965;hpb=46c8189fee24a71d1ce0634e12db5a696e952b10;p=simantics%2Fplatform.git diff --git a/bundles/org.simantics.browsing.ui.swt/src/org/simantics/browsing/ui/swt/GraphExplorerImpl2.java b/bundles/org.simantics.browsing.ui.swt/src/org/simantics/browsing/ui/swt/GraphExplorerImpl2.java index 928bed03f..c3407a4fd 100644 --- a/bundles/org.simantics.browsing.ui.swt/src/org/simantics/browsing/ui/swt/GraphExplorerImpl2.java +++ b/bundles/org.simantics.browsing.ui.swt/src/org/simantics/browsing/ui/swt/GraphExplorerImpl2.java @@ -1609,6 +1609,11 @@ public class GraphExplorerImpl2 extends GraphExplorerImplBase implements GraphEx } } + @Override + public void execFromQuery(java.lang.Runnable r) { + ge.queryUpdateScheduler.execute(r); + } + Runnable QUERY_UPDATE_SCHEDULER = new Runnable() { @Override public void run() {