455 |
"InternalFrame.border", |
"InternalFrame.border", |
456 |
new BorderUIResource.CompoundBorderUIResource(null, null), |
new BorderUIResource.CompoundBorderUIResource(null, null), |
457 |
"InternalFrame.borderColor", new ColorUIResource(light), |
"InternalFrame.borderColor", new ColorUIResource(light), |
458 |
"InternalFrame.borderDarkShadow", new ColorUIResource(shadow), |
"InternalFrame.borderDarkShadow", new ColorUIResource(Color.BLACK), |
459 |
"InternalFrame.borderHighlight", new ColorUIResource(highLight), |
"InternalFrame.borderHighlight", new ColorUIResource(Color.WHITE), |
460 |
"InternalFrame.borderLight", new ColorUIResource(light), |
"InternalFrame.borderLight", new ColorUIResource(Color.LIGHT_GRAY), |
461 |
"InternalFrame.borderShadow", new ColorUIResource(shadow), |
"InternalFrame.borderShadow", new ColorUIResource(Color.GRAY), |
462 |
"InternalFrame.closeIcon", BasicIconFactory.createEmptyFrameIcon(), |
"InternalFrame.closeIcon", BasicIconFactory.createEmptyFrameIcon(), |
463 |
// XXX Don't use gif |
// XXX Don't use gif |
464 |
// "InternalFrame.icon", new IconUIResource(new ImageIcon("icons/JavaCup.gif")), |
// "InternalFrame.icon", new IconUIResource(new ImageIcon("icons/JavaCup.gif")), |