74 |
import javax.swing.event.InternalFrameListener; |
import javax.swing.event.InternalFrameListener; |
75 |
import javax.swing.event.MouseInputAdapter; |
import javax.swing.event.MouseInputAdapter; |
76 |
import javax.swing.event.MouseInputListener; |
import javax.swing.event.MouseInputListener; |
|
import javax.swing.plaf.BorderUIResource; |
|
77 |
import javax.swing.plaf.ComponentUI; |
import javax.swing.plaf.ComponentUI; |
78 |
import javax.swing.plaf.InternalFrameUI; |
import javax.swing.plaf.InternalFrameUI; |
79 |
import javax.swing.plaf.UIResource; |
import javax.swing.plaf.UIResource; |
1177 |
*/ |
*/ |
1178 |
protected void installDefaults() |
protected void installDefaults() |
1179 |
{ |
{ |
|
// This is the border of InternalFrames in the BasicLookAndFeel. |
|
|
// Note that there exist entries for various border colors in |
|
|
// BasicLookAndFeel's defaults, but obviously they differ |
|
|
// from the colors that are actually used by the JDK. |
|
1180 |
UIDefaults defaults = UIManager.getLookAndFeelDefaults(); |
UIDefaults defaults = UIManager.getLookAndFeelDefaults(); |
1181 |
Color borderColor = defaults.getColor("InternalFrame.borderColor"); |
Border border = defaults.getBorder("InternalFrame.border"); |
|
Border inner = BorderFactory.createLineBorder(borderColor, 1); |
|
|
Color borderDarkShadow = defaults.getColor |
|
|
("InternalFrame.borderDarkShadow"); |
|
|
Color borderHighlight = defaults.getColor |
|
|
("InternalFrame.borderHighlight"); |
|
|
Color borderShadow = defaults.getColor("InternalFrame.borderShadow"); |
|
|
Color borderLight = defaults.getColor("InternalFrame.borderLight"); |
|
|
Border outer = BorderFactory.createBevelBorder(BevelBorder.RAISED, |
|
|
borderShadow, |
|
|
borderHighlight, |
|
|
borderDarkShadow, |
|
|
borderShadow); |
|
|
Border border = new BorderUIResource.CompoundBorderUIResource(outer, |
|
|
inner); |
|
1182 |
frame.setBorder(border); |
frame.setBorder(border); |
1183 |
frame.setFrameIcon(defaults.getIcon("InternalFrame.icon")); |
frame.setFrameIcon(defaults.getIcon("InternalFrame.icon")); |
1184 |
// InternalFrames are invisible by default. |
// InternalFrames are invisible by default. |