419 |
super.setBackground(getBackgroundSelectionColor()); |
super.setBackground(getBackgroundSelectionColor()); |
420 |
setForeground(getTextSelectionColor()); |
setForeground(getTextSelectionColor()); |
421 |
|
|
422 |
if (tree.getLeadSelectionPath() == null || |
if (hasFocus) |
|
(tree.getLeadSelectionPath().getLastPathComponent()).equals(val)) |
|
423 |
setBorderSelectionColor(UIManager.getLookAndFeelDefaults(). |
setBorderSelectionColor(UIManager.getLookAndFeelDefaults(). |
424 |
getColor("Tree.selectionBorderColor")); |
getColor("Tree.selectionBorderColor")); |
425 |
else |
else |