Added #1912 Persist selected item in the tree upon quick search (Ctrl+F)

This commit is contained in:
Jindra Petřík
2022-12-22 11:09:35 +01:00
parent 51e1cfb00a
commit 5909a0de07
3 changed files with 27 additions and 8 deletions

View File

@@ -1639,7 +1639,8 @@ public final class MainPanel extends JPanel implements TreeSelectionListener, Se
return;
}
tree.setModel(new FilteredTreeModel(newFilter, tree.getFullModel()));
TreePath selectionPaths[] = tree.getSelectionPaths();
tree.setModel(new FilteredTreeModel(newFilter, tree.getFullModel(), tree));
if (!isFilterEmpty(newFilter)) {
for (int i = 0; i < tree.getRowCount(); i++) {
tree.expandRow(i);
@@ -1648,6 +1649,7 @@ public final class MainPanel extends JPanel implements TreeSelectionListener, Se
tree.setModel(tree.getFullModel());
View.expandTreeNodes(tree, unfilteredExpandedNodes);
}
tree.setSelectionPaths(selectionPaths);
}
public void doFilter() {