625 |
"OptionPane.messageAreaBorder", |
"OptionPane.messageAreaBorder", |
626 |
new BorderUIResource.EmptyBorderUIResource(0, 0, 0, 0), |
new BorderUIResource.EmptyBorderUIResource(0, 0, 0, 0), |
627 |
"OptionPane.messageForeground", new ColorUIResource(darkShadow), |
"OptionPane.messageForeground", new ColorUIResource(darkShadow), |
628 |
"OptionPane.minimumSize", new DimensionUIResource(262, 90), |
"OptionPane.minimumSize", |
629 |
|
new DimensionUIResource(BasicOptionPaneUI.MinimumWidth, |
630 |
|
BasicOptionPaneUI.MinimumHeight), |
631 |
"OptionPane.noButtonText", "No", |
"OptionPane.noButtonText", "No", |
632 |
"OptionPane.okButtonText", "OK", |
"OptionPane.okButtonText", "OK", |
633 |
// XXX Don't use gif |
// XXX Don't use gif |