81 |
import javax.swing.LookAndFeel; |
import javax.swing.LookAndFeel; |
82 |
import javax.swing.SwingUtilities; |
import javax.swing.SwingUtilities; |
83 |
import javax.swing.Timer; |
import javax.swing.Timer; |
|
import javax.swing.UIDefaults; |
|
84 |
import javax.swing.UIManager; |
import javax.swing.UIManager; |
85 |
import javax.swing.event.CellEditorListener; |
import javax.swing.event.CellEditorListener; |
86 |
import javax.swing.event.ChangeEvent; |
import javax.swing.event.ChangeEvent; |
300 |
*/ |
*/ |
301 |
protected Color getHashColor() |
protected Color getHashColor() |
302 |
{ |
{ |
303 |
return UIManager.getLookAndFeelDefaults().getColor("Tree.hash"); |
return UIManager.getColor("Tree.hash"); |
304 |
} |
} |
305 |
|
|
306 |
/** |
/** |
311 |
*/ |
*/ |
312 |
protected void setHashColor(Color color) |
protected void setHashColor(Color color) |
313 |
{ |
{ |
314 |
UIDefaults defaults = UIManager.getLookAndFeelDefaults(); |
// FIXME: Putting something in the UIDefaults map is certainly wrong. |
315 |
defaults.put("Tree.hash", color); |
UIManager.put("Tree.hash", color); |
316 |
} |
} |
317 |
|
|
318 |
/** |
/** |
1234 |
*/ |
*/ |
1235 |
protected void installKeyboardActions() |
protected void installKeyboardActions() |
1236 |
{ |
{ |
1237 |
UIDefaults defaults = UIManager.getLookAndFeelDefaults(); |
InputMap focusInputMap = (InputMap) UIManager.get("Tree.focusInputMap"); |
|
InputMap focusInputMap = (InputMap) defaults.get("Tree.focusInputMap"); |
|
1238 |
InputMapUIResource parentInputMap = new InputMapUIResource(); |
InputMapUIResource parentInputMap = new InputMapUIResource(); |
1239 |
ActionMap parentActionMap = new ActionMapUIResource(); |
ActionMap parentActionMap = new ActionMapUIResource(); |
1240 |
action = new TreeAction(); |
action = new TreeAction(); |