| /* |
| * Copyright (c) 1997, 2010, Oracle and/or its affiliates. All rights reserved. |
| * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
| * |
| * This code is free software; you can redistribute it and/or modify it |
| * under the terms of the GNU General Public License version 2 only, as |
| * published by the Free Software Foundation. Oracle designates this |
| * particular file as subject to the "Classpath" exception as provided |
| * by Oracle in the LICENSE file that accompanied this code. |
| * |
| * This code is distributed in the hope that it will be useful, but WITHOUT |
| * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
| * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
| * version 2 for more details (a copy is included in the LICENSE file that |
| * accompanied this code). |
| * |
| * You should have received a copy of the GNU General Public License version |
| * 2 along with this work; if not, write to the Free Software Foundation, |
| * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
| * |
| * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
| * or visit www.oracle.com if you need additional information or have any |
| * questions. |
| */ |
| |
| package javax.swing.plaf.basic; |
| |
| import javax.swing.*; |
| import javax.swing.border.*; |
| import javax.swing.plaf.*; |
| import javax.swing.text.JTextComponent; |
| |
| import java.awt.Component; |
| import java.awt.Insets; |
| import java.awt.Dimension; |
| import java.awt.Rectangle; |
| import java.awt.Color; |
| import java.awt.Graphics; |
| |
| /** |
| * Factory object that can vend Borders appropriate for the basic L & F. |
| * @author Georges Saab |
| * @author Amy Fowler |
| */ |
| |
| public class BasicBorders { |
| |
| public static Border getButtonBorder() { |
| UIDefaults table = UIManager.getLookAndFeelDefaults(); |
| Border buttonBorder = new BorderUIResource.CompoundBorderUIResource( |
| new BasicBorders.ButtonBorder( |
| table.getColor("Button.shadow"), |
| table.getColor("Button.darkShadow"), |
| table.getColor("Button.light"), |
| table.getColor("Button.highlight")), |
| new MarginBorder()); |
| return buttonBorder; |
| } |
| |
| public static Border getRadioButtonBorder() { |
| UIDefaults table = UIManager.getLookAndFeelDefaults(); |
| Border radioButtonBorder = new BorderUIResource.CompoundBorderUIResource( |
| new BasicBorders.RadioButtonBorder( |
| table.getColor("RadioButton.shadow"), |
| table.getColor("RadioButton.darkShadow"), |
| table.getColor("RadioButton.light"), |
| table.getColor("RadioButton.highlight")), |
| new MarginBorder()); |
| return radioButtonBorder; |
| } |
| |
| public static Border getToggleButtonBorder() { |
| UIDefaults table = UIManager.getLookAndFeelDefaults(); |
| Border toggleButtonBorder = new BorderUIResource.CompoundBorderUIResource( |
| new BasicBorders.ToggleButtonBorder( |
| table.getColor("ToggleButton.shadow"), |
| table.getColor("ToggleButton.darkShadow"), |
| table.getColor("ToggleButton.light"), |
| table.getColor("ToggleButton.highlight")), |
| new MarginBorder()); |
| return toggleButtonBorder; |
| } |
| |
| public static Border getMenuBarBorder() { |
| UIDefaults table = UIManager.getLookAndFeelDefaults(); |
| Border menuBarBorder = new BasicBorders.MenuBarBorder( |
| table.getColor("MenuBar.shadow"), |
| table.getColor("MenuBar.highlight") |
| ); |
| return menuBarBorder; |
| } |
| |
| public static Border getSplitPaneBorder() { |
| UIDefaults table = UIManager.getLookAndFeelDefaults(); |
| Border splitPaneBorder = new BasicBorders.SplitPaneBorder( |
| table.getColor("SplitPane.highlight"), |
| table.getColor("SplitPane.darkShadow")); |
| return splitPaneBorder; |
| } |
| |
| /** |
| * Returns a border instance for a JSplitPane divider |
| * @since 1.3 |
| */ |
| public static Border getSplitPaneDividerBorder() { |
| UIDefaults table = UIManager.getLookAndFeelDefaults(); |
| Border splitPaneBorder = new BasicBorders.SplitPaneDividerBorder( |
| table.getColor("SplitPane.highlight"), |
| table.getColor("SplitPane.darkShadow")); |
| return splitPaneBorder; |
| } |
| |
| public static Border getTextFieldBorder() { |
| UIDefaults table = UIManager.getLookAndFeelDefaults(); |
| Border textFieldBorder = new BasicBorders.FieldBorder( |
| table.getColor("TextField.shadow"), |
| table.getColor("TextField.darkShadow"), |
| table.getColor("TextField.light"), |
| table.getColor("TextField.highlight")); |
| return textFieldBorder; |
| } |
| |
| public static Border getProgressBarBorder() { |
| UIDefaults table = UIManager.getLookAndFeelDefaults(); |
| Border progressBarBorder = new BorderUIResource.LineBorderUIResource(Color.green, 2); |
| return progressBarBorder; |
| } |
| |
| public static Border getInternalFrameBorder() { |
| UIDefaults table = UIManager.getLookAndFeelDefaults(); |
| Border internalFrameBorder = new BorderUIResource.CompoundBorderUIResource( |
| new BevelBorder(BevelBorder.RAISED, |
| table.getColor("InternalFrame.borderLight"), |
| table.getColor("InternalFrame.borderHighlight"), |
| table.getColor("InternalFrame.borderDarkShadow"), |
| table.getColor("InternalFrame.borderShadow")), |
| BorderFactory.createLineBorder( |
| table.getColor("InternalFrame.borderColor"), 1)); |
| |
| return internalFrameBorder; |
| } |
| |
| /** |
| * Special thin border for rollover toolbar buttons. |
| * @since 1.4 |
| */ |
| public static class RolloverButtonBorder extends ButtonBorder { |
| |
| public RolloverButtonBorder(Color shadow, Color darkShadow, |
| Color highlight, Color lightHighlight) { |
| super(shadow, darkShadow, highlight, lightHighlight); |
| } |
| |
| public void paintBorder( Component c, Graphics g, int x, int y, int w, int h ) { |
| AbstractButton b = (AbstractButton) c; |
| ButtonModel model = b.getModel(); |
| |
| Color shade = shadow; |
| Component p = b.getParent(); |
| if (p != null && p.getBackground().equals(shadow)) { |
| shade = darkShadow; |
| } |
| |
| if ((model.isRollover() && !(model.isPressed() && !model.isArmed())) || |
| model.isSelected()) { |
| |
| Color oldColor = g.getColor(); |
| g.translate(x, y); |
| |
| if (model.isPressed() && model.isArmed() || model.isSelected()) { |
| // Draw the pressd button |
| g.setColor(shade); |
| g.drawRect(0, 0, w-1, h-1); |
| g.setColor(lightHighlight); |
| g.drawLine(w-1, 0, w-1, h-1); |
| g.drawLine(0, h-1, w-1, h-1); |
| } else { |
| // Draw a rollover button |
| g.setColor(lightHighlight); |
| g.drawRect(0, 0, w-1, h-1); |
| g.setColor(shade); |
| g.drawLine(w-1, 0, w-1, h-1); |
| g.drawLine(0, h-1, w-1, h-1); |
| } |
| g.translate(-x, -y); |
| g.setColor(oldColor); |
| } |
| } |
| } |
| |
| |
| /** |
| * A border which is like a Margin border but it will only honor the margin |
| * if the margin has been explicitly set by the developer. |
| * |
| * Note: This is identical to the package private class |
| * MetalBorders.RolloverMarginBorder and should probably be consolidated. |
| */ |
| static class RolloverMarginBorder extends EmptyBorder { |
| |
| public RolloverMarginBorder() { |
| super(3,3,3,3); // hardcoded margin for JLF requirements. |
| } |
| |
| public Insets getBorderInsets(Component c, Insets insets) { |
| Insets margin = null; |
| |
| if (c instanceof AbstractButton) { |
| margin = ((AbstractButton)c).getMargin(); |
| } |
| if (margin == null || margin instanceof UIResource) { |
| // default margin so replace |
| insets.left = left; |
| insets.top = top; |
| insets.right = right; |
| insets.bottom = bottom; |
| } else { |
| // Margin which has been explicitly set by the user. |
| insets.left = margin.left; |
| insets.top = margin.top; |
| insets.right = margin.right; |
| insets.bottom = margin.bottom; |
| } |
| return insets; |
| } |
| } |
| |
| public static class ButtonBorder extends AbstractBorder implements UIResource { |
| protected Color shadow; |
| protected Color darkShadow; |
| protected Color highlight; |
| protected Color lightHighlight; |
| |
| public ButtonBorder(Color shadow, Color darkShadow, |
| Color highlight, Color lightHighlight) { |
| this.shadow = shadow; |
| this.darkShadow = darkShadow; |
| this.highlight = highlight; |
| this.lightHighlight = lightHighlight; |
| } |
| |
| public void paintBorder(Component c, Graphics g, int x, int y, |
| int width, int height) { |
| boolean isPressed = false; |
| boolean isDefault = false; |
| |
| if (c instanceof AbstractButton) { |
| AbstractButton b = (AbstractButton)c; |
| ButtonModel model = b.getModel(); |
| |
| isPressed = model.isPressed() && model.isArmed(); |
| |
| if (c instanceof JButton) { |
| isDefault = ((JButton)c).isDefaultButton(); |
| } |
| } |
| BasicGraphicsUtils.drawBezel(g, x, y, width, height, |
| isPressed, isDefault, shadow, |
| darkShadow, highlight, lightHighlight); |
| } |
| |
| public Insets getBorderInsets(Component c, Insets insets) { |
| // leave room for default visual |
| insets.set(2, 3, 3, 3); |
| return insets; |
| } |
| |
| } |
| |
| public static class ToggleButtonBorder extends ButtonBorder { |
| |
| public ToggleButtonBorder(Color shadow, Color darkShadow, |
| Color highlight, Color lightHighlight) { |
| super(shadow, darkShadow, highlight, lightHighlight); |
| } |
| |
| public void paintBorder(Component c, Graphics g, int x, int y, |
| int width, int height) { |
| BasicGraphicsUtils.drawBezel(g, x, y, width, height, |
| false, false, |
| shadow, darkShadow, |
| highlight, lightHighlight); |
| } |
| |
| public Insets getBorderInsets(Component c, Insets insets) { |
| insets.set(2, 2, 2, 2); |
| return insets; |
| } |
| } |
| |
| public static class RadioButtonBorder extends ButtonBorder { |
| |
| public RadioButtonBorder(Color shadow, Color darkShadow, |
| Color highlight, Color lightHighlight) { |
| super(shadow, darkShadow, highlight, lightHighlight); |
| } |
| |
| |
| public void paintBorder(Component c, Graphics g, int x, int y, int width, int height) { |
| |
| if (c instanceof AbstractButton) { |
| AbstractButton b = (AbstractButton)c; |
| ButtonModel model = b.getModel(); |
| |
| if (model.isArmed() && model.isPressed() || model.isSelected()) { |
| BasicGraphicsUtils.drawLoweredBezel(g, x, y, width, height, |
| shadow, darkShadow, |
| highlight, lightHighlight); |
| } else { |
| BasicGraphicsUtils.drawBezel(g, x, y, width, height, |
| false, b.isFocusPainted() && b.hasFocus(), |
| shadow, darkShadow, |
| highlight, lightHighlight); |
| } |
| } else { |
| BasicGraphicsUtils.drawBezel(g, x, y, width, height, false, false, |
| shadow, darkShadow, highlight, lightHighlight); |
| } |
| } |
| |
| public Insets getBorderInsets(Component c, Insets insets) { |
| insets.set(2, 2, 2, 2); |
| return insets; |
| } |
| } |
| |
| public static class MenuBarBorder extends AbstractBorder implements UIResource { |
| private Color shadow; |
| private Color highlight; |
| |
| public MenuBarBorder(Color shadow, Color highlight) { |
| this.shadow = shadow; |
| this.highlight = highlight; |
| } |
| |
| public void paintBorder(Component c, Graphics g, int x, int y, int width, int height) { |
| Color oldColor = g.getColor(); |
| g.translate(x, y); |
| g.setColor(shadow); |
| g.drawLine(0, height-2, width, height-2); |
| g.setColor(highlight); |
| g.drawLine(0, height-1, width, height-1); |
| g.translate(-x,-y); |
| g.setColor(oldColor); |
| } |
| |
| public Insets getBorderInsets(Component c, Insets insets) { |
| insets.set(0, 0, 2, 0); |
| return insets; |
| } |
| } |
| |
| public static class MarginBorder extends AbstractBorder implements UIResource { |
| public Insets getBorderInsets(Component c, Insets insets) { |
| Insets margin = null; |
| // |
| // Ideally we'd have an interface defined for classes which |
| // support margins (to avoid this hackery), but we've |
| // decided against it for simplicity |
| // |
| if (c instanceof AbstractButton) { |
| AbstractButton b = (AbstractButton)c; |
| margin = b.getMargin(); |
| } else if (c instanceof JToolBar) { |
| JToolBar t = (JToolBar)c; |
| margin = t.getMargin(); |
| } else if (c instanceof JTextComponent) { |
| JTextComponent t = (JTextComponent)c; |
| margin = t.getMargin(); |
| } |
| insets.top = margin != null? margin.top : 0; |
| insets.left = margin != null? margin.left : 0; |
| insets.bottom = margin != null? margin.bottom : 0; |
| insets.right = margin != null? margin.right : 0; |
| |
| return insets; |
| } |
| } |
| |
| public static class FieldBorder extends AbstractBorder implements UIResource { |
| protected Color shadow; |
| protected Color darkShadow; |
| protected Color highlight; |
| protected Color lightHighlight; |
| |
| public FieldBorder(Color shadow, Color darkShadow, |
| Color highlight, Color lightHighlight) { |
| this.shadow = shadow; |
| this.highlight = highlight; |
| this.darkShadow = darkShadow; |
| this.lightHighlight = lightHighlight; |
| } |
| |
| public void paintBorder(Component c, Graphics g, int x, int y, |
| int width, int height) { |
| BasicGraphicsUtils.drawEtchedRect(g, x, y, width, height, |
| shadow, darkShadow, |
| highlight, lightHighlight); |
| } |
| |
| public Insets getBorderInsets(Component c, Insets insets) { |
| Insets margin = null; |
| if (c instanceof JTextComponent) { |
| margin = ((JTextComponent)c).getMargin(); |
| } |
| insets.top = margin != null? 2+margin.top : 2; |
| insets.left = margin != null? 2+margin.left : 2; |
| insets.bottom = margin != null? 2+margin.bottom : 2; |
| insets.right = margin != null? 2+margin.right : 2; |
| |
| return insets; |
| } |
| } |
| |
| |
| /** |
| * Draws the border around the divider in a splitpane |
| * (when BasicSplitPaneUI is used). To get the appropriate effect, this |
| * needs to be used with a SplitPaneBorder. |
| */ |
| static class SplitPaneDividerBorder implements Border, UIResource { |
| Color highlight; |
| Color shadow; |
| |
| SplitPaneDividerBorder(Color highlight, Color shadow) { |
| this.highlight = highlight; |
| this.shadow = shadow; |
| } |
| |
| public void paintBorder(Component c, Graphics g, int x, int y, |
| int width, int height) { |
| if (!(c instanceof BasicSplitPaneDivider)) { |
| return; |
| } |
| Component child; |
| Rectangle cBounds; |
| JSplitPane splitPane = ((BasicSplitPaneDivider)c). |
| getBasicSplitPaneUI().getSplitPane(); |
| Dimension size = c.getSize(); |
| |
| child = splitPane.getLeftComponent(); |
| // This is needed for the space between the divider and end of |
| // splitpane. |
| g.setColor(c.getBackground()); |
| g.drawRect(x, y, width - 1, height - 1); |
| if(splitPane.getOrientation() == JSplitPane.HORIZONTAL_SPLIT) { |
| if(child != null) { |
| g.setColor(highlight); |
| g.drawLine(0, 0, 0, size.height); |
| } |
| child = splitPane.getRightComponent(); |
| if(child != null) { |
| g.setColor(shadow); |
| g.drawLine(size.width - 1, 0, size.width - 1, size.height); |
| } |
| } else { |
| if(child != null) { |
| g.setColor(highlight); |
| g.drawLine(0, 0, size.width, 0); |
| } |
| child = splitPane.getRightComponent(); |
| if(child != null) { |
| g.setColor(shadow); |
| g.drawLine(0, size.height - 1, size.width, |
| size.height - 1); |
| } |
| } |
| } |
| public Insets getBorderInsets(Component c) { |
| Insets insets = new Insets(0,0,0,0); |
| if (c instanceof BasicSplitPaneDivider) { |
| BasicSplitPaneUI bspui = ((BasicSplitPaneDivider)c). |
| getBasicSplitPaneUI(); |
| |
| if (bspui != null) { |
| JSplitPane splitPane = bspui.getSplitPane(); |
| |
| if (splitPane != null) { |
| if (splitPane.getOrientation() == |
| JSplitPane.HORIZONTAL_SPLIT) { |
| insets.top = insets.bottom = 0; |
| insets.left = insets.right = 1; |
| return insets; |
| } |
| // VERTICAL_SPLIT |
| insets.top = insets.bottom = 1; |
| insets.left = insets.right = 0; |
| return insets; |
| } |
| } |
| } |
| insets.top = insets.bottom = insets.left = insets.right = 1; |
| return insets; |
| } |
| public boolean isBorderOpaque() { return true; } |
| } |
| |
| |
| /** |
| * Draws the border around the splitpane. To work correctly you shoudl |
| * also install a border on the divider (property SplitPaneDivider.border). |
| */ |
| public static class SplitPaneBorder implements Border, UIResource { |
| protected Color highlight; |
| protected Color shadow; |
| |
| public SplitPaneBorder(Color highlight, Color shadow) { |
| this.highlight = highlight; |
| this.shadow = shadow; |
| } |
| |
| public void paintBorder(Component c, Graphics g, int x, int y, |
| int width, int height) { |
| if (!(c instanceof JSplitPane)) { |
| return; |
| } |
| // The only tricky part with this border is that the divider is |
| // not positioned at the top (for horizontal) or left (for vert), |
| // so this border draws to where the divider is: |
| // ----------------- |
| // |xxxxxxx xxxxxxx| |
| // |x --- x| |
| // |x | | x| |
| // |x |D| x| |
| // |x | | x| |
| // |x --- x| |
| // |xxxxxxx xxxxxxx| |
| // ----------------- |
| // The above shows (rather excessively) what this looks like for |
| // a horizontal orientation. This border then draws the x's, with |
| // the SplitPaneDividerBorder drawing its own border. |
| |
| Component child; |
| Rectangle cBounds; |
| |
| JSplitPane splitPane = (JSplitPane)c; |
| |
| child = splitPane.getLeftComponent(); |
| // This is needed for the space between the divider and end of |
| // splitpane. |
| g.setColor(c.getBackground()); |
| g.drawRect(x, y, width - 1, height - 1); |
| if(splitPane.getOrientation() == JSplitPane.HORIZONTAL_SPLIT) { |
| if(child != null) { |
| cBounds = child.getBounds(); |
| g.setColor(shadow); |
| g.drawLine(0, 0, cBounds.width + 1, 0); |
| g.drawLine(0, 1, 0, cBounds.height + 1); |
| |
| g.setColor(highlight); |
| g.drawLine(0, cBounds.height + 1, cBounds.width + 1, |
| cBounds.height + 1); |
| } |
| child = splitPane.getRightComponent(); |
| if(child != null) { |
| cBounds = child.getBounds(); |
| |
| int maxX = cBounds.x + cBounds.width; |
| int maxY = cBounds.y + cBounds.height; |
| |
| g.setColor(shadow); |
| g.drawLine(cBounds.x - 1, 0, maxX, 0); |
| g.setColor(highlight); |
| g.drawLine(cBounds.x - 1, maxY, maxX, maxY); |
| g.drawLine(maxX, 0, maxX, maxY + 1); |
| } |
| } else { |
| if(child != null) { |
| cBounds = child.getBounds(); |
| g.setColor(shadow); |
| g.drawLine(0, 0, cBounds.width + 1, 0); |
| g.drawLine(0, 1, 0, cBounds.height); |
| g.setColor(highlight); |
| g.drawLine(1 + cBounds.width, 0, 1 + cBounds.width, |
| cBounds.height + 1); |
| g.drawLine(0, cBounds.height + 1, 0, cBounds.height + 1); |
| } |
| child = splitPane.getRightComponent(); |
| if(child != null) { |
| cBounds = child.getBounds(); |
| |
| int maxX = cBounds.x + cBounds.width; |
| int maxY = cBounds.y + cBounds.height; |
| |
| g.setColor(shadow); |
| g.drawLine(0, cBounds.y - 1, 0, maxY); |
| g.drawLine(maxX, cBounds.y - 1, maxX, cBounds.y - 1); |
| g.setColor(highlight); |
| g.drawLine(0, maxY, cBounds.width + 1, maxY); |
| g.drawLine(maxX, cBounds.y, maxX, maxY); |
| } |
| } |
| } |
| public Insets getBorderInsets(Component c) { |
| return new Insets(1, 1, 1, 1); |
| } |
| public boolean isBorderOpaque() { return true; } |
| } |
| |
| } |