1924 |
{ |
{ |
1925 |
// nothing should be selected if user clicks outside of tree |
// nothing should be selected if user clicks outside of tree |
1926 |
BasicTreeUI.this.tree.getSelectionModel().clearSelection(); |
BasicTreeUI.this.tree.getSelectionModel().clearSelection(); |
1927 |
BasicTreeUI.this.tree.revalidate(); |
BasicTreeUI.this.tree.repaint(); |
1928 |
} |
} |
1929 |
else if (BasicTreeUI.this.tree.isVisible(path)) |
else if (BasicTreeUI.this.tree.isVisible(path)) |
1930 |
{ |
{ |
2168 |
*/ |
*/ |
2169 |
public void treeExpanded(TreeExpansionEvent event) |
public void treeExpanded(TreeExpansionEvent event) |
2170 |
{ |
{ |
2171 |
BasicTreeUI.this.tree.revalidate(); |
BasicTreeUI.this.tree.repaint(); |
2172 |
} |
} |
2173 |
|
|
2174 |
/** |
/** |
2178 |
*/ |
*/ |
2179 |
public void treeCollapsed(TreeExpansionEvent event) |
public void treeCollapsed(TreeExpansionEvent event) |
2180 |
{ |
{ |
2181 |
BasicTreeUI.this.tree.revalidate(); |
BasicTreeUI.this.tree.repaint(); |
2182 |
} |
} |
2183 |
}// TreeExpansionHandler |
}// TreeExpansionHandler |
2184 |
|
|