Swing/ExpandsSelectedPaths のバックアップの現在との差分(No.5)

#spandel
tree.setExpandsSelectedPaths(true);
#spanend
#spanadd
// tree.setExpandsSelectedPaths(true);
#spanend
#spanadd
JTextField textField = new JTextField("soccer");
#spanend
#spanadd
JButton button = new JButton("Select");
#spanend
#spanadd
button.addActionListener(e -> {
#spanend
  String q = textField.getText().trim();
  searchTree(tree1, tree1.getPathForRow(0), q);
  searchTree(tree2, tree2.getPathForRow(0), q);
#spanadd
});
#spanend
#spanadd
// ...
#spanend
#spanadd

#spanend
#spanadd
private static void searchTree(JTree tree, TreePath path, String q) {
#spanend
  Object o = path.getLastPathComponent();
  if (o instanceof TreeNode) {
    TreeNode node = (TreeNode) o;
    if (node.toString().equals(q)) {
      tree.addSelectionPath(path);
    }
    if (!node.isLeaf()) {
      // Java 9: Collections.list(node.children())
      Collections.list((Enumeration<?>) node.children())
          .forEach(n -> searchTree(tree, path.pathByAddingChild(n), q));
    }
  }
#spanadd
}
#spanend