/* * 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

Lines 1–500 of 600. Load more