Examples with TreeModel javax.swing.tree.TreeModel used on opensource projects

Example 16 with TreeModel

use of javax.swing.tree.TreeModel in project jdk8u_jdk by JetBrains.

the class ElementTreePanel method caretUpdate.

// CaretListener
/**
     * Messaged when the selection in the editor has changed. Will update
     * the selection in the tree.
     */
public void caretUpdate(CaretEvent e) {
    if (!updatingSelection) {
        int selBegin = Math.min(e.getDot(), e.getMark());
        int end = Math.max(e.getDot(), e.getMark());
        List<TreePath> paths = new ArrayList<TreePath>();
        TreeModel model = getTreeModel();
        Object root = model.getRoot();
        int rootCount = model.getChildCount(root);
        // in the selection.
        for (int counter = 0; counter < rootCount; counter++) {
            int start = selBegin;
            while (start <= end) {
                TreePath path = getPathForIndex(start, root, (Element) model.getChild(root, counter));
                Element charElement = (Element) path.getLastPathComponent();
                paths.add(path);
                if (start >= charElement.getEndOffset()) {
                    start++;
                } else {
                    start = charElement.getEndOffset();
                }
            }
        }
        // If a path was found, select it (them).
        int numPaths = paths.size();
        if (numPaths > 0) {
            TreePath[] pathArray = new TreePath[numPaths];
            paths.toArray(pathArray);
            updatingSelection = true;
            try {
                getTree().setSelectionPaths(pathArray);
                getTree().scrollPathToVisible(pathArray[0]);
            } finally {
                updatingSelection = false;
            }
        }
    }
}

Example 17 with TreeModel

use of javax.swing.tree.TreeModel in project jdk8u_jdk by JetBrains.

the class ElementTreePanel method updateTree.

/**
     * Updates the tree based on the event type. This will invoke either
     * updateTree with the root element, or handleChange.
     */
protected void updateTree(DocumentEvent event) {
    updatingSelection = true;
    try {
        TreeModel model = getTreeModel();
        Object root = model.getRoot();
        for (int counter = model.getChildCount(root) - 1; counter >= 0; counter--) {
            updateTree(event, (Element) model.getChild(root, counter));
        }
    } finally {
        updatingSelection = false;
    }
}