MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

introduce selectPaths

Browse Source
This commit is contained in:
Gregory.Shrago
2017-10-16 21:49:45 +03:00
parent c018aab70e
commit b27b606d2f
1 changed files with 14 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-api/src/com/intellij/util/ui/tree/TreeUtil.java
+14
View File
@@ -344,6 +344,20 @@ public final class TreeUtil {
return true;
}
public static void selectPaths(@NotNull JTree tree, @NotNull Collection<TreePath> paths) {
if (paths.isEmpty()) return;
selectPaths(tree, paths.toArray(new TreePath[paths.size()]));
}
public static void selectPaths(@NotNull JTree tree, @NotNull TreePath... paths) {
if (paths.length == 0) return;
for (TreePath path : paths) {
tree.makeVisible(path);
}
tree.setSelectionPaths(paths);
tree.scrollPathToVisible(paths[0]);
}
@NotNull
public static ActionCallback selectPath(@NotNull final JTree tree, final TreePath path) {
return selectPath(tree, path, true);