244 |
"AbstractUndoableEdit.redoText", "Redo", |
"AbstractUndoableEdit.redoText", "Redo", |
245 |
|
|
246 |
"Button.background", new ColorUIResource(Color.lightGray), |
"Button.background", new ColorUIResource(Color.lightGray), |
247 |
"Button.border", BorderUIResource.getEtchedBorderUIResource(), |
"Button.border", |
248 |
|
new UIDefaults.LazyValue() |
249 |
|
{ |
250 |
|
public Object createValue(UIDefaults table) |
251 |
|
{ |
252 |
|
return BasicBorders.getButtonBorder(); |
253 |
|
} |
254 |
|
}, |
255 |
"Button.darkShadow", new ColorUIResource(Color.darkGray), |
"Button.darkShadow", new ColorUIResource(Color.darkGray), |
256 |
"Button.focusInputMap", new UIDefaults.LazyInputMap(new Object[] { |
"Button.focusInputMap", new UIDefaults.LazyInputMap(new Object[] { |
257 |
"SPACE", "pressed", |
"SPACE", "pressed", |