47 |
import java.util.Enumeration; |
import java.util.Enumeration; |
48 |
import java.util.ResourceBundle; |
import java.util.ResourceBundle; |
49 |
|
|
50 |
|
import javax.swing.BorderFactory; |
51 |
import javax.swing.KeyStroke; |
import javax.swing.KeyStroke; |
52 |
import javax.swing.LookAndFeel; |
import javax.swing.LookAndFeel; |
53 |
import javax.swing.UIDefaults; |
import javax.swing.UIDefaults; |
54 |
|
import javax.swing.border.BevelBorder; |
55 |
|
import javax.swing.border.Border; |
56 |
import javax.swing.plaf.BorderUIResource; |
import javax.swing.plaf.BorderUIResource; |
57 |
import javax.swing.plaf.ColorUIResource; |
import javax.swing.plaf.ColorUIResource; |
58 |
import javax.swing.plaf.DimensionUIResource; |
import javax.swing.plaf.DimensionUIResource; |
456 |
"InternalFrame.activeTitleBackground", new ColorUIResource(0, 0, 128), |
"InternalFrame.activeTitleBackground", new ColorUIResource(0, 0, 128), |
457 |
"InternalFrame.activeTitleForeground", new ColorUIResource(Color.white), |
"InternalFrame.activeTitleForeground", new ColorUIResource(Color.white), |
458 |
"InternalFrame.border", |
"InternalFrame.border", |
459 |
new BorderUIResource.CompoundBorderUIResource(null, null), |
new UIDefaults.LazyValue() |
460 |
|
{ |
461 |
|
public Object createValue(UIDefaults table) |
462 |
|
{ |
463 |
|
Color lineColor = new Color(238, 238, 238); |
464 |
|
Border inner = BorderFactory.createLineBorder(lineColor, 1); |
465 |
|
Color shadowInner = new Color(184, 207, 229); |
466 |
|
Color shadowOuter = new Color(122, 138, 153); |
467 |
|
Border outer = BorderFactory.createBevelBorder(BevelBorder.RAISED, |
468 |
|
Color.WHITE, |
469 |
|
Color.WHITE, |
470 |
|
shadowOuter, |
471 |
|
shadowInner); |
472 |
|
Border border = new BorderUIResource.CompoundBorderUIResource(outer, |
473 |
|
inner); |
474 |
|
return border; |
475 |
|
} |
476 |
|
}, |
477 |
"InternalFrame.borderColor", new ColorUIResource(light), |
"InternalFrame.borderColor", new ColorUIResource(light), |
478 |
"InternalFrame.borderDarkShadow", new ColorUIResource(Color.BLACK), |
"InternalFrame.borderDarkShadow", new ColorUIResource(Color.BLACK), |
479 |
"InternalFrame.borderHighlight", new ColorUIResource(Color.WHITE), |
"InternalFrame.borderHighlight", new ColorUIResource(Color.WHITE), |