517 |
new ColorUIResource(Color.lightGray), |
new ColorUIResource(Color.lightGray), |
518 |
"InternalFrame.maximizeIcon", BasicIconFactory.createEmptyFrameIcon(), |
"InternalFrame.maximizeIcon", BasicIconFactory.createEmptyFrameIcon(), |
519 |
"InternalFrame.minimizeIcon", BasicIconFactory.createEmptyFrameIcon(), |
"InternalFrame.minimizeIcon", BasicIconFactory.createEmptyFrameIcon(), |
520 |
"InternalFrame.titleFont", new FontUIResource("Dialog", Font.PLAIN, 12), |
"InternalFrame.titleFont", new FontUIResource("Dialog", Font.BOLD, 12), |
521 |
"InternalFrame.windowBindings", new Object[] { |
"InternalFrame.windowBindings", new Object[] { |
522 |
"shift ESCAPE", "showSystemMenu", |
"shift ESCAPE", "showSystemMenu", |
523 |
"ctrl SPACE", "showSystemMenu", |
"ctrl SPACE", "showSystemMenu", |