public void run() { tree.update(); tree.getParent().layout(); }
private void update(final Tree tree) { tree.getDisplay().asyncExec(() -> { if (!tree.isDisposed()) { tree.update(); tree.getParent().layout(); } }); }
private void update(final Tree tree) { tree.getDisplay().asyncExec(() -> { if (!tree.isDisposed()) { tree.update(); tree.getParent().layout(); } }); }