JTreeViewer.java 文件源码

public void selectNodeAtOffset(int offset) {
    if (!scrollFromSource) {
        return;
    }
    DefaultMutableTreeNode root = (DefaultMutableTreeNode) myTree.getModel().getRoot();
    Tree tree = (Tree) root.getUserObject();

    if (tree instanceof ParseTree) {
        DefaultMutableTreeNode atOffset = getNodeAtOffset(root, offset);

        if (atOffset != null) {
            TreePath path = new TreePath(atOffset.getPath());
            myTree.getSelectionModel().setSelectionPath(path);
            myTree.scrollPathToVisible(path);
        }
    }
}