У меня есть большое дерево, и я могу «выбрать» (т.е. выделить) любой его узел. Но если у меня большое дерево со всеми развернутыми узлами, пользователю все равно нужно вручную прокрутить вниз или вверх, чтобы найти выделенный элемент. Есть ли способ, который не только выделяет выделенный элемент, но и находит его, автоматически прокручивая вверх / вниз по дереву?
TreePath path = createTreePath(editorID, treeObject);
getTreeViewer().setSelection(new TreeSelection(path), true);
getTreeViewer().refresh();
getTreeViewer().jumpToSelectedElement(true); // I need something like this. I made up the name of this imaginary method.