339 |
lastPath = tree.getLeadSelectionPath(); |
lastPath = tree.getLeadSelectionPath(); |
340 |
tree.addTreeSelectionListener(this); |
tree.addTreeSelectionListener(this); |
341 |
editingContainer = createContainer(); |
editingContainer = createContainer(); |
342 |
UIDefaults defaults = UIManager.getLookAndFeelDefaults(); |
setFont(UIManager.getFont("Tree.font")); |
343 |
setFont(defaults.getFont("Tree.font")); |
setBorderSelectionColor(UIManager.getColor("Tree.selectionBorderColor")); |
|
setBorderSelectionColor(defaults.getColor("Tree.selectionBorderColor")); |
|
344 |
editingIcon = renderer.getIcon(); |
editingIcon = renderer.getIcon(); |
345 |
timer = new javax.swing.Timer(1200, this); |
timer = new javax.swing.Timer(1200, this); |
346 |
} |
} |
734 |
*/ |
*/ |
735 |
protected TreeCellEditor createTreeCellEditor() |
protected TreeCellEditor createTreeCellEditor() |
736 |
{ |
{ |
|
UIDefaults defaults = UIManager.getLookAndFeelDefaults(); |
|
737 |
realEditor = new DefaultCellEditor(new DefaultTreeCellEditor.DefaultTextField( |
realEditor = new DefaultCellEditor(new DefaultTreeCellEditor.DefaultTextField( |
738 |
defaults.getBorder("Tree.selectionBorder"))); |
UIManager.getBorder("Tree.selectionBorder"))); |
739 |
return realEditor; |
return realEditor; |
740 |
} |
} |
741 |
} |
} |