| /* TitledBorder.java -- |
| Copyright (C) 2003, 2004, 2005, 2006, Free Software Foundation, Inc. |
| |
| This file is part of GNU Classpath. |
| |
| GNU Classpath is free software; you can redistribute it and/or modify |
| it under the terms of the GNU General Public License as published by |
| the Free Software Foundation; either version 2, or (at your option) |
| any later version. |
| |
| GNU Classpath 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 for more details. |
| |
| You should have received a copy of the GNU General Public License |
| along with GNU Classpath; see the file COPYING. If not, write to the |
| Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA |
| 02110-1301 USA. |
| |
| Linking this library statically or dynamically with other modules is |
| making a combined work based on this library. Thus, the terms and |
| conditions of the GNU General Public License cover the whole |
| combination. |
| |
| As a special exception, the copyright holders of this library give you |
| permission to link this library with independent modules to produce an |
| executable, regardless of the license terms of these independent |
| modules, and to copy and distribute the resulting executable under |
| terms of your choice, provided that you also meet, for each linked |
| independent module, the terms and conditions of the license of that |
| module. An independent module is a module which is not derived from |
| or based on this library. If you modify this library, you may extend |
| this exception to your version of the library, but you are not |
| obligated to do so. If you do not wish to do so, delete this |
| exception statement from your version. */ |
| |
| |
| package javax.swing.border; |
| |
| import java.awt.Color; |
| import java.awt.Component; |
| import java.awt.Dimension; |
| import java.awt.Font; |
| import java.awt.FontMetrics; |
| import java.awt.Graphics; |
| import java.awt.Insets; |
| import java.awt.Point; |
| import java.awt.Rectangle; |
| |
| import javax.swing.SwingUtilities; |
| import javax.swing.UIManager; |
| |
| |
| /** |
| * A border that paints a title on top of another border. |
| * |
| * @author Sascha Brawer (brawer@dandelis.ch) |
| */ |
| public class TitledBorder extends AbstractBorder |
| { |
| /** |
| * A value for the <code>titlePosition</code> property that vertically |
| * positions the title text at the default vertical position, which |
| * is in the middle of the top line of the border. |
| * |
| * @see #getTitlePosition() |
| * @see #setTitlePosition(int) |
| */ |
| public static final int DEFAULT_POSITION = 0; |
| |
| |
| /** |
| * A value for the <code>titlePosition</code> property that vertically |
| * positions the title text above the top line of the border. |
| * |
| * @see #getTitlePosition() |
| * @see #setTitlePosition(int) |
| */ |
| public static final int ABOVE_TOP = 1; |
| |
| |
| /** |
| * A value for the <code>titlePosition</code> property that vertically |
| * positions the title text at the middle of the top line |
| * of the border. |
| * |
| * @see #getTitlePosition() |
| * @see #setTitlePosition(int) |
| */ |
| public static final int TOP = 2; |
| |
| |
| /** |
| * A value for the <code>titlePosition</code> property that vertically |
| * positions the title text below the top line of the border. |
| * |
| * @see #getTitlePosition() |
| * @see #setTitlePosition(int) |
| */ |
| public static final int BELOW_TOP = 3; |
| |
| |
| /** |
| * A value for the <code>titlePosition</code> property that vertically |
| * positions the title text above the bottom line of the border. |
| * |
| * @see #getTitlePosition() |
| * @see #setTitlePosition(int) |
| */ |
| public static final int ABOVE_BOTTOM = 4; |
| |
| |
| /** |
| * A value for the <code>titlePosition</code> property that vertically |
| * positions the title text at the center of the bottom line |
| * of the border. |
| * |
| * @see #getTitlePosition() |
| * @see #setTitlePosition(int) |
| */ |
| public static final int BOTTOM = 5; |
| |
| |
| /** |
| * A value for the <code>titlePosition</code> property that vertically |
| * positions the title text below the bottom line of the border. |
| * |
| * @see #getTitlePosition() |
| * @see #setTitlePosition(int) |
| */ |
| public static final int BELOW_BOTTOM = 6; |
| |
| |
| /** |
| * A value for the <code>titleJustification</code> property that |
| * horizontally aligns the title text with either the left or the |
| * right edge of the border, depending on the orientation of the |
| * component nested into the border. If the component orientation |
| * is left-to-right, the title text is aligned with the left edge; |
| * otherwise, it is aligned with the right edge. This is the same |
| * behavior as with {@link #LEADING}. |
| * |
| * @see #getTitleJustification() |
| * @see #setTitleJustification(int) |
| * @see java.awt.ComponentOrientation#isLeftToRight() |
| */ |
| public static final int DEFAULT_JUSTIFICATION = 0; |
| |
| |
| /** |
| * A value for the <code>titleJustification</code> property that |
| * horizontally aligns the title text with the left-hand edge of |
| * the border. |
| * |
| * @see #getTitleJustification() |
| * @see #setTitleJustification(int) |
| */ |
| public static final int LEFT = 1; |
| |
| |
| /** |
| * A value for the <code>titleJustification</code> property that |
| * horizontally aligns the title text with the center of the border. |
| * |
| * @see #getTitleJustification() |
| * @see #setTitleJustification(int) |
| */ |
| public static final int CENTER = 2; |
| |
| |
| /** |
| * A value for the <code>titleJustification</code> property that |
| * horizontally aligns the title text with the right-hand edge of |
| * the border. |
| * |
| * @see #getTitleJustification() |
| * @see #setTitleJustification(int) |
| */ |
| public static final int RIGHT = 3; |
| |
| |
| /** |
| * A value for the <code>titleJustification</code> property that |
| * horizontally aligns the title text with either the left or the |
| * right edge of the border, depending on the orientation of the |
| * component nested into the border. If the component orientation |
| * is left-to-right, the title text is aligned with the left edge; |
| * otherwise, it is aligned with the right edge. This is the same |
| * behavior as with {@link #DEFAULT_JUSTIFICATION}. |
| * |
| * @see #getTitleJustification() |
| * @see #setTitleJustification(int) |
| * @see java.awt.ComponentOrientation#isLeftToRight() |
| */ |
| public static final int LEADING = 4; |
| |
| |
| /** |
| * A value for the <code>titleJustification</code> property that |
| * horizontally aligns the title text with either the right or the |
| * left edge of the border, depending on the orientation of the |
| * component nested into the border. If the component orientation |
| * is left-to-right, the title text is aligned with the right edge; |
| * otherwise, it is aligned with the left edge. |
| * |
| * @see #getTitleJustification() |
| * @see #setTitleJustification(int) |
| * @see java.awt.ComponentOrientation#isLeftToRight() |
| */ |
| public static final int TRAILING = 5; |
| |
| |
| /** |
| * The number of pixels between the inside of {@link #border} |
| * and the bordered component. |
| */ |
| protected static final int EDGE_SPACING = 2; |
| |
| |
| /** |
| * The number of pixels between the outside of this TitledBorder |
| * and the beginning (if left-aligned) or end (if right-aligned) |
| * of the title text. |
| */ |
| protected static final int TEXT_INSET_H = 5; |
| |
| |
| /** |
| * The number of pixels between the title text and {@link #border}. |
| * This value is only relevant if the title text does not intersect |
| * {@link #border}. No intersection occurs if {@link #titlePosition} |
| * is one of {@link #ABOVE_TOP}, {@link #BELOW_TOP}, {@link #ABOVE_BOTTOM}, |
| * or {@link #BELOW_BOTTOM}. |
| */ |
| protected static final int TEXT_SPACING = 2; |
| |
| |
| /** |
| * Determined using the <code>serialver</code> tool of Apple/Sun JDK 1.3.1 |
| * on MacOS X 10.1.5. |
| */ |
| static final long serialVersionUID = 8012999415147721601L; |
| |
| |
| /** |
| * The title, or <code>null</code> to display no title. |
| */ |
| protected String title; |
| |
| |
| /** |
| * The border underneath the title. If this value is |
| * <code>null</code>, the border will be retrieved from the {@link |
| * javax.swing.UIManager}’s defaults table using the key |
| * <code>TitledBorder.border</code>. |
| */ |
| protected Border border; |
| |
| |
| /** |
| * The vertical position of the title text relative to the border, |
| * which is one of {@link #ABOVE_TOP}, {@link #TOP}, {@link |
| * #BELOW_TOP}, {@link #ABOVE_BOTTOM}, {@link #BOTTOM}, {@link |
| * #BELOW_BOTTOM}, or {@link #DEFAULT_POSITION}. |
| */ |
| protected int titlePosition; |
| |
| |
| /** |
| * The horizontal alignment of the title text in relation to the |
| * border, which is one of {@link #LEFT}, {@link #CENTER}, {@link |
| * #RIGHT}, {@link #LEADING}, {@link #TRAILING}, or {@link |
| * #DEFAULT_JUSTIFICATION}. |
| */ |
| protected int titleJustification; |
| |
| |
| /** |
| * The font for displaying the title text. If this value is |
| * <code>null</code>, the font will be retrieved from the {@link |
| * javax.swing.UIManager}’s defaults table using the key |
| * <code>TitledBorder.font</code>. |
| */ |
| protected Font titleFont; |
| |
| |
| /** |
| * The color for displaying the title text. If this value is |
| * <code>null</code>, the color will be retrieved from the {@link |
| * javax.swing.UIManager}’s defaults table using the key |
| * <code>TitledBorder.titleColor</code>. |
| */ |
| protected Color titleColor; |
| |
| |
| /** |
| * Constructs a TitledBorder given the text of its title. |
| * |
| * @param title the title text, or <code>null</code> to use no title text. |
| */ |
| public TitledBorder(String title) |
| { |
| this(/* border */ null, |
| title, LEADING, TOP, |
| /* titleFont */ null, /* titleColor */ null); |
| } |
| |
| |
| /** |
| * Constructs an initially untitled TitledBorder given another border. |
| * |
| * @param border the border underneath the title, or <code>null</code> |
| * to use a default from the current look and feel. |
| */ |
| public TitledBorder(Border border) |
| { |
| this(border, /* title */ "", LEADING, TOP, |
| /* titleFont */ null, /* titleColor */ null); |
| } |
| |
| |
| /** |
| * Constructs a TitledBorder given its border and title text. |
| * |
| * @param border the border underneath the title, or <code>null</code> |
| * to use a default from the current look and feel. |
| * |
| * @param title the title text, or <code>null</code> to use no title |
| * text. |
| */ |
| public TitledBorder(Border border, String title) |
| { |
| this(border, title, LEADING, TOP, |
| /* titleFont */ null, /* titleColor */ null); |
| } |
| |
| |
| /** |
| * Constructs a TitledBorder given its border, title text, horizontal |
| * alignment, and vertical position. |
| * |
| * @param border the border underneath the title, or <code>null</code> |
| * to use a default from the current look and feel. |
| * |
| * @param title the title text, or <code>null</code> to use no title |
| * text. |
| * |
| * @param titleJustification the horizontal alignment of the title |
| * text in relation to the border. The value must be one of |
| * {@link #LEFT}, {@link #CENTER}, {@link #RIGHT}, {@link #LEADING}, |
| * {@link #TRAILING}, or {@link #DEFAULT_JUSTIFICATION}. |
| |
| * @param titlePosition the vertical position of the title text |
| * in relation to the border. The value must be one of |
| * {@link #ABOVE_TOP}, {@link #TOP}, {@link #BELOW_TOP}, |
| * {@link #ABOVE_BOTTOM}, {@link #BOTTOM}, {@link #BELOW_BOTTOM}, |
| * or {@link #DEFAULT_POSITION}. |
| * |
| * @throws IllegalArgumentException if <code>titleJustification</code> |
| * or <code>titlePosition</code> have an unsupported value. |
| */ |
| public TitledBorder(Border border, String title, int titleJustification, |
| int titlePosition) |
| { |
| this(border, title, titleJustification, titlePosition, |
| /* titleFont */ null, /* titleColor */ null); |
| } |
| |
| |
| /** |
| * Constructs a TitledBorder given its border, title text, horizontal |
| * alignment, vertical position, and font. |
| * |
| * @param border the border underneath the title, or <code>null</code> |
| * to use a default from the current look and feel. |
| * |
| * @param title the title text, or <code>null</code> to use no title |
| * text. |
| * |
| * @param titleJustification the horizontal alignment of the title |
| * text in relation to the border. The value must be one of |
| * {@link #LEFT}, {@link #CENTER}, {@link #RIGHT}, {@link #LEADING}, |
| * {@link #TRAILING}, or {@link #DEFAULT_JUSTIFICATION}. |
| * |
| * @param titlePosition the vertical position of the title text |
| * in relation to the border. The value must be one of |
| * {@link #ABOVE_TOP}, {@link #TOP}, {@link #BELOW_TOP}, |
| * {@link #ABOVE_BOTTOM}, {@link #BOTTOM}, {@link #BELOW_BOTTOM}, |
| * or {@link #DEFAULT_POSITION}. |
| * |
| * @param titleFont the font for the title text, or <code>null</code> |
| * to use a default from the current look and feel. |
| * |
| * @throws IllegalArgumentException if <code>titleJustification</code> |
| * or <code>titlePosition</code> have an unsupported value. |
| */ |
| public TitledBorder(Border border, String title, int titleJustification, |
| int titlePosition, Font titleFont) |
| { |
| this(border, title, titleJustification, titlePosition, titleFont, |
| /* titleColor */ null); |
| } |
| |
| |
| /** |
| * Constructs a TitledBorder given its border, title text, horizontal |
| * alignment, vertical position, font, and color. |
| * |
| * @param border the border underneath the title, or <code>null</code> |
| * to use a default from the current look and feel. |
| * |
| * @param title the title text, or <code>null</code> to use no title |
| * text. |
| * |
| * @param titleJustification the horizontal alignment of the title |
| * text in relation to the border. The value must be one of |
| * {@link #LEFT}, {@link #CENTER}, {@link #RIGHT}, {@link #LEADING}, |
| * {@link #TRAILING}, or {@link #DEFAULT_JUSTIFICATION}. |
| * |
| * @param titlePosition the vertical position of the title text |
| * in relation to the border. The value must be one of |
| * {@link #ABOVE_TOP}, {@link #TOP}, {@link #BELOW_TOP}, |
| * {@link #ABOVE_BOTTOM}, {@link #BOTTOM}, {@link #BELOW_BOTTOM}, |
| * or {@link #DEFAULT_POSITION}. |
| * |
| * @param titleFont the font for the title text, or <code>null</code> |
| * to use a default from the current look and feel. |
| * |
| * @param titleColor the color for the title text, or <code>null</code> |
| * to use a default from the current look and feel. |
| * |
| * @throws IllegalArgumentException if <code>titleJustification</code> |
| * or <code>titlePosition</code> have an unsupported value. |
| */ |
| public TitledBorder(Border border, String title, int titleJustification, |
| int titlePosition, Font titleFont, Color titleColor) |
| { |
| this.border = border; |
| this.title = title; |
| |
| /* Invoking the setter methods ensures that the newly constructed |
| * TitledBorder has valid property values. |
| */ |
| setTitleJustification(titleJustification); |
| setTitlePosition(titlePosition); |
| |
| this.titleFont = titleFont; |
| this.titleColor = titleColor; |
| } |
| |
| |
| /** |
| * Paints the border and the title text. |
| * |
| * @param c the component whose border is to be painted. |
| * @param g the graphics for painting. |
| * @param x the horizontal position for painting the border. |
| * @param y the vertical position for painting the border. |
| * @param width the width of the available area for painting the border. |
| * @param height the height of the available area for painting the border. |
| */ |
| public void paintBorder(Component c, Graphics g, |
| int x, int y, int width, int height) |
| { |
| Rectangle borderRect = new Rectangle(x + EDGE_SPACING, y + EDGE_SPACING, |
| width - (EDGE_SPACING * 2), |
| height - (EDGE_SPACING * 2)); |
| Point textLoc = new Point(); |
| |
| // Save color and font. |
| Color savedColor = g.getColor(); |
| Font savedFont = g.getFont(); |
| |
| // The font metrics. |
| Font font = getFont(c); |
| g.setFont(font); |
| FontMetrics fm = c.getFontMetrics(font); |
| |
| layoutBorderWithTitle(c, fm, borderRect, textLoc); |
| paintBorderWithTitle(c, g, x, y, width, height, borderRect, textLoc, fm); |
| |
| g.setColor(getTitleColor()); |
| g.drawString(getTitle(), textLoc.x, textLoc.y); |
| g.setFont(savedFont); |
| g.setColor(savedColor); |
| } |
| |
| /** |
| * Calculates the bounding box of the inner border and the location of the |
| * title string. |
| * |
| * @param c the component on which to paint the border |
| * @param fm the font metrics |
| * @param borderRect output parameter, holds the bounding box of the inner |
| * border on method exit |
| * @param textLoc output parameter, holds the location of the title text |
| * on method exit |
| */ |
| private void layoutBorderWithTitle(Component c, FontMetrics fm, |
| Rectangle borderRect, |
| Point textLoc) |
| { |
| Border b = getBorder(); |
| |
| // The font metrics. |
| int fontHeight = fm.getHeight(); |
| int fontDescent = fm.getDescent(); |
| int fontAscent = fm.getAscent(); |
| int titleWidth = fm.stringWidth(getTitle()); |
| |
| // The base insets. |
| Insets insets; |
| if (b == null) |
| insets = new Insets(0, 0, 0, 0); |
| else |
| insets = b.getBorderInsets(c); |
| |
| // The offset of the border rectangle, dependend on the title placement. |
| int offset; |
| |
| // Layout border and text vertically. |
| int titlePosition = getTitlePosition(); |
| switch (titlePosition) |
| { |
| case ABOVE_BOTTOM: |
| textLoc.y = borderRect.y + borderRect.height - insets.bottom |
| - fontDescent - TEXT_SPACING; |
| break; |
| case BOTTOM: |
| borderRect.height -= fontHeight / 2; |
| textLoc.y = borderRect.y + borderRect.height - fontDescent |
| + (fontAscent + fontDescent - insets.bottom) / 2; |
| break; |
| case BELOW_BOTTOM: |
| borderRect.height -= fontHeight; |
| textLoc.y = borderRect.y + borderRect.height + fontAscent |
| + TEXT_SPACING; |
| break; |
| case ABOVE_TOP: |
| offset = fontAscent + fontDescent |
| + Math.max(EDGE_SPACING, TEXT_SPACING * 2) - EDGE_SPACING; |
| borderRect.y += offset; |
| borderRect.height -= offset; |
| textLoc.y = borderRect.y - (fontDescent + TEXT_SPACING); |
| break; |
| case BELOW_TOP: |
| textLoc.y = borderRect.y + insets.top + fontAscent + TEXT_SPACING; |
| break; |
| case TOP: |
| case DEFAULT_POSITION: |
| default: |
| offset = Math.max(0, ((fontAscent / 2) + TEXT_SPACING) - EDGE_SPACING); |
| borderRect.y += offset; |
| borderRect.height -= offset; |
| textLoc.y = borderRect.y - fontDescent |
| + (insets.top + fontAscent + fontDescent) / 2; |
| break; |
| } |
| |
| // Layout border and text horizontally. |
| int justification = getTitleJustification(); |
| // Adjust justification for LEADING and TRAILING depending on the direction |
| // of the component. |
| if (c.getComponentOrientation().isLeftToRight()) |
| { |
| if (justification == LEADING || justification == DEFAULT_JUSTIFICATION) |
| justification = LEFT; |
| else if (justification == TRAILING) |
| justification = RIGHT; |
| } |
| else |
| { |
| if (justification == LEADING || justification == DEFAULT_JUSTIFICATION) |
| justification = RIGHT; |
| else if (justification == TRAILING) |
| justification = LEFT; |
| } |
| |
| switch (justification) |
| { |
| case CENTER: |
| textLoc.x = borderRect.x + (borderRect.width - titleWidth) / 2; |
| break; |
| case RIGHT: |
| textLoc.x = borderRect.x + borderRect.width - titleWidth |
| - TEXT_INSET_H - insets.right; |
| break; |
| case LEFT: |
| default: |
| textLoc.x = borderRect.x + TEXT_INSET_H + insets.left; |
| } |
| } |
| |
| /** |
| * Paints the border with the title. |
| * |
| * @param c the component to paint on |
| * @param g the graphics context used for paintin |
| * @param x the upper left corner of the whole border |
| * @param y the upper left corner of the whole border |
| * @param width the width of the whole border |
| * @param height the width of the whole border |
| * @param borderRect the bounding box of the inner border |
| * @param textLoc the location of the border title |
| * @param fm the font metrics of the title |
| */ |
| private void paintBorderWithTitle(Component c, Graphics g, int x, int y, |
| int width, int height, |
| Rectangle borderRect, Point textLoc, |
| FontMetrics fm) |
| { |
| Border b = getBorder(); |
| int fontDescent = fm.getDescent(); |
| int fontAscent = fm.getAscent(); |
| int titleWidth = fm.stringWidth(getTitle()); |
| |
| if (b != null) |
| { |
| // Paint border in segments, when the title is painted above the |
| // border. |
| if (((titlePosition == TOP || titlePosition == DEFAULT_POSITION) |
| && (borderRect.y > textLoc.y - fontAscent)) |
| || (titlePosition == BOTTOM |
| && borderRect.y + borderRect.height < textLoc.y + fontDescent)) |
| { |
| Rectangle clip = new Rectangle(); |
| Rectangle saved = g.getClipBounds(); |
| |
| // Paint border left from the text. |
| clip.setBounds(saved); |
| SwingUtilities.computeIntersection(x, y, textLoc.x - x - 1, |
| height, clip); |
| if (! clip.isEmpty()) |
| { |
| g.setClip(clip); |
| b.paintBorder(c, g, borderRect.x, borderRect.y, |
| borderRect.width, |
| borderRect.height); |
| } |
| // Paint border right from the text. |
| clip.setBounds(saved); |
| SwingUtilities.computeIntersection(textLoc.x + titleWidth + 1, y, |
| x + width - (textLoc.x + titleWidth + 1), height, clip); |
| if (! clip.isEmpty()) |
| { |
| g.setClip(clip); |
| b.paintBorder(c, g, borderRect.x, borderRect.y, |
| borderRect.width, |
| borderRect.height); |
| } |
| |
| if (titlePosition == TOP || titlePosition == DEFAULT_POSITION) |
| { |
| // Paint border below the text. |
| clip.setBounds(saved); |
| SwingUtilities.computeIntersection(textLoc.x - 1, |
| textLoc.y + fontDescent, |
| titleWidth + 2, |
| y + height - textLoc.y - fontDescent, |
| clip); |
| if (! clip.isEmpty()) |
| { |
| g.setClip(clip); |
| b.paintBorder(c, g, borderRect.x, borderRect.y, |
| borderRect.width, |
| borderRect.height); |
| } |
| |
| } |
| else |
| { |
| // Paint border above the text. |
| clip.setBounds(saved); |
| SwingUtilities.computeIntersection(textLoc.x - 1, y, |
| titleWidth + 2, |
| textLoc.y - fontDescent - y, |
| clip); |
| if (! clip.isEmpty()) |
| { |
| g.setClip(clip); |
| b.paintBorder(c, g, borderRect.x, borderRect.y, |
| borderRect.width, |
| borderRect.height); |
| } |
| |
| } |
| g.setClip(saved); |
| } |
| else |
| { |
| b.paintBorder(c, g, borderRect.x, borderRect.y, borderRect.width, |
| borderRect.height); |
| } |
| } |
| } |
| |
| /** |
| * Measures the width of this border. |
| * |
| * @param c the component whose border is to be measured. |
| * |
| * @return an Insets object whose <code>left</code>, <code>right</code>, |
| * <code>top</code> and <code>bottom</code> fields indicate the |
| * width of the border at the respective edge. |
| * |
| * @see #getBorderInsets(java.awt.Component, java.awt.Insets) |
| */ |
| public Insets getBorderInsets(Component c) |
| { |
| return getBorderInsets(c, new Insets(0, 0, 0, 0)); |
| } |
| |
| |
| /** |
| * Measures the width of this border, storing the results into a |
| * pre-existing Insets object. |
| * |
| * @param insets an Insets object for holding the result values. |
| * After invoking this method, the <code>left</code>, |
| * <code>right</code>, <code>top</code> and |
| * <code>bottom</code> fields indicate the width of the |
| * border at the respective edge. |
| * |
| * @return the same object that was passed for <code>insets</code>. |
| * |
| * @see #getBorderInsets(Component) |
| */ |
| public Insets getBorderInsets(Component c, Insets insets) |
| { |
| // Initialize insets with the insets from our border. |
| Border border = getBorder(); |
| if (border != null) |
| { |
| if (border instanceof AbstractBorder) |
| { |
| AbstractBorder aBorder = (AbstractBorder) border; |
| aBorder.getBorderInsets(c, insets); |
| } |
| else |
| { |
| Insets i = border.getBorderInsets(c); |
| insets.top = i.top; |
| insets.bottom = i.bottom; |
| insets.left = i.left; |
| insets.right = i.right; |
| } |
| } |
| else |
| { |
| insets.top = 0; |
| insets.bottom = 0; |
| insets.left = 0; |
| insets.right = 0; |
| } |
| |
| // Add spacing. |
| insets.top += EDGE_SPACING + TEXT_SPACING; |
| insets.bottom += EDGE_SPACING + TEXT_SPACING; |
| insets.left += EDGE_SPACING + TEXT_SPACING; |
| insets.right += EDGE_SPACING + TEXT_SPACING; |
| |
| String title = getTitle(); |
| if (c != null && title != null && !title.equals("")) |
| { |
| Font font = getFont(c); |
| FontMetrics fm = c.getFontMetrics(font); |
| int ascent = fm.getAscent(); |
| int descent = fm.getDescent(); |
| int height = fm.getHeight(); |
| switch (getTitlePosition()) |
| { |
| case ABOVE_BOTTOM: |
| insets.bottom += ascent + descent + TEXT_SPACING; |
| break; |
| case BOTTOM: |
| insets.bottom += ascent + descent; |
| break; |
| case BELOW_BOTTOM: |
| insets.bottom += height; |
| break; |
| case ABOVE_TOP: |
| insets.top += ascent + descent + |
| Math.max(EDGE_SPACING, TEXT_SPACING * 2) |
| - EDGE_SPACING; |
| break; |
| case BELOW_TOP: |
| insets.top += ascent + descent + TEXT_SPACING; |
| break; |
| case TOP: |
| case DEFAULT_POSITION: |
| default: |
| insets.top += ascent + descent; |
| } |
| } |
| return insets; |
| } |
| |
| |
| /** |
| * Returns <code>false</code>, indicating that there are pixels inside |
| * the area of this border where the background shines through. |
| * |
| * @return <code>false</code>. |
| */ |
| public boolean isBorderOpaque() |
| { |
| /* Note that the AbstractBorder.isBorderOpaque would also return |
| * false, so there is actually no need to override the inherited |
| * implementation. However, GNU Classpath strives for exact |
| * compatibility with the Sun reference implementation, which |
| * overrides isBorderOpaque for unknown reasons. |
| */ |
| return false; |
| } |
| |
| |
| /** |
| * Returns the text of the title. |
| * |
| * @return the title text, or <code>null</code> if no title is |
| * displayed. |
| */ |
| public String getTitle() |
| { |
| return title; |
| } |
| |
| |
| /** |
| * Retrieves the border underneath the title. If no border has been |
| * set, or if it has been set to<code>null</code>, the current |
| * {@link javax.swing.LookAndFeel} will be asked for a border |
| * using the key <code>TitledBorder.border</code>. |
| * |
| * @return a border, or <code>null</code> if the current LookAndFeel |
| * does not provide a border for the key |
| * <code>TitledBorder.border</code>. |
| * |
| * @see javax.swing.UIManager#getBorder(Object) |
| */ |
| public Border getBorder() |
| { |
| if (border != null) |
| return border; |
| |
| return UIManager.getBorder("TitledBorder.border"); |
| } |
| |
| |
| /** |
| * Returns the vertical position of the title text in relation |
| * to the border. |
| * |
| * @return one of the values {@link #ABOVE_TOP}, {@link #TOP}, |
| * {@link #BELOW_TOP}, {@link #ABOVE_BOTTOM}, {@link #BOTTOM}, |
| * {@link #BELOW_BOTTOM}, or {@link #DEFAULT_POSITION}. |
| */ |
| public int getTitlePosition() |
| { |
| return titlePosition; |
| } |
| |
| |
| /** |
| * Returns the horizontal alignment of the title text in relation to |
| * the border. |
| * |
| * @return one of the values {@link #LEFT}, {@link #CENTER}, {@link |
| * #RIGHT}, {@link #LEADING}, {@link #TRAILING}, or {@link |
| * #DEFAULT_JUSTIFICATION}. |
| */ |
| public int getTitleJustification() |
| { |
| return titleJustification; |
| } |
| |
| |
| /** |
| * Retrieves the font for displaying the title text. If no font has |
| * been set, or if it has been set to<code>null</code>, the current |
| * {@link javax.swing.LookAndFeel} will be asked for a font |
| * using the key <code>TitledBorder.font</code>. |
| * |
| * @return a font, or <code>null</code> if the current LookAndFeel |
| * does not provide a font for the key |
| * <code>TitledBorder.font</code>. |
| * |
| * @see javax.swing.UIManager#getFont(Object) |
| */ |
| public Font getTitleFont() |
| { |
| if (titleFont != null) |
| return titleFont; |
| |
| return UIManager.getFont("TitledBorder.font"); |
| } |
| |
| |
| /** |
| * Retrieves the color for displaying the title text. If no color has |
| * been set, or if it has been set to<code>null</code>, the current |
| * {@link javax.swing.LookAndFeel} will be asked for a color |
| * using the key <code>TitledBorder.titleColor</code>. |
| * |
| * @return a color, or <code>null</code> if the current LookAndFeel |
| * does not provide a color for the key |
| * <code>TitledBorder.titleColor</code>. |
| * |
| * @see javax.swing.UIManager#getColor(Object) |
| */ |
| public Color getTitleColor() |
| { |
| if (titleColor != null) |
| return titleColor; |
| |
| return UIManager.getColor("TitledBorder.titleColor"); |
| } |
| |
| |
| /** |
| * Sets the text of the title. |
| * |
| * @param title the new title text, or <code>null</code> for displaying |
| * no text at all. |
| */ |
| public void setTitle(String title) |
| { |
| // Swing borders are not JavaBeans, thus no need to fire an event. |
| this.title = title; |
| } |
| |
| |
| /** |
| * Sets the border underneath the title. |
| * |
| * @param border a border, or <code>null</code> to use the |
| * border that is supplied by the current LookAndFeel. |
| * |
| * @see #getBorder() |
| */ |
| public void setBorder(Border border) |
| { |
| // Swing borders are not JavaBeans, thus no need to fire an event. |
| this.border = border; |
| } |
| |
| |
| /** |
| * Sets the vertical position of the title text in relation |
| * to the border. |
| * |
| * @param titlePosition one of the values {@link #ABOVE_TOP}, |
| * {@link #TOP}, {@link #BELOW_TOP}, {@link #ABOVE_BOTTOM}, |
| * {@link #BOTTOM}, {@link #BELOW_BOTTOM}, |
| * or {@link #DEFAULT_POSITION}. |
| * |
| * @throws IllegalArgumentException if an unsupported value is passed |
| * for <code>titlePosition</code>. |
| */ |
| public void setTitlePosition(int titlePosition) |
| { |
| if ((titlePosition < DEFAULT_POSITION) || (titlePosition > BELOW_BOTTOM)) |
| throw new IllegalArgumentException(titlePosition |
| + " is not a valid title position."); |
| |
| // Swing borders are not JavaBeans, thus no need to fire an event. |
| this.titlePosition = titlePosition; |
| } |
| |
| |
| /** |
| * Sets the horizontal alignment of the title text in relation to the border. |
| * |
| * @param titleJustification the new alignment, which must be one of |
| * {@link #LEFT}, {@link #CENTER}, {@link #RIGHT}, {@link #LEADING}, |
| * {@link #TRAILING}, or {@link #DEFAULT_JUSTIFICATION}. |
| * |
| * @throws IllegalArgumentException if an unsupported value is passed |
| * for <code>titleJustification</code>. |
| */ |
| public void setTitleJustification(int titleJustification) |
| { |
| if ((titleJustification < DEFAULT_JUSTIFICATION) |
| || (titleJustification > TRAILING)) |
| throw new IllegalArgumentException(titleJustification |
| + " is not a valid title justification."); |
| |
| // Swing borders are not JavaBeans, thus no need to fire an event. |
| this.titleJustification = titleJustification; |
| } |
| |
| |
| /** |
| * Sets the font for displaying the title text. |
| * |
| * @param titleFont the font, or <code>null</code> to use the font |
| * provided by the current {@link javax.swing.LookAndFeel}. |
| * |
| * @see #getTitleFont() |
| */ |
| public void setTitleFont(Font titleFont) |
| { |
| // Swing borders are not JavaBeans, thus no need to fire an event. |
| this.titleFont = titleFont; |
| } |
| |
| |
| /** |
| * Sets the color for displaying the title text. |
| * |
| * @param titleColor the color, or <code>null</code> to use the color |
| * provided by the current {@link javax.swing.LookAndFeel}. |
| * |
| * @see #getTitleColor() |
| */ |
| public void setTitleColor(Color titleColor) |
| { |
| // Swing borders are not JavaBeans, thus no need to fire an event. |
| this.titleColor = titleColor; |
| } |
| |
| |
| /** |
| * Calculates the minimum size needed for displaying the border |
| * and its title. |
| * |
| * @param c the Component for which this TitledBorder constitutes |
| * a border. |
| * |
| * @return The minimum size. |
| */ |
| public Dimension getMinimumSize(Component c) |
| { |
| Insets i = getBorderInsets(c); |
| Dimension minSize = new Dimension(i.left + i.right, i.top + i.bottom); |
| Font font = getFont(c); |
| FontMetrics fm = c.getFontMetrics(font); |
| int titleWidth = fm.stringWidth(getTitle()); |
| switch (getTitlePosition()) |
| { |
| case ABOVE_TOP: |
| case BELOW_BOTTOM: |
| minSize.width = Math.max(minSize.width, titleWidth); |
| break; |
| case BELOW_TOP: |
| case ABOVE_BOTTOM: |
| case TOP: |
| case BOTTOM: |
| case DEFAULT_POSITION: |
| default: |
| minSize.width += titleWidth; |
| } |
| return minSize; |
| } |
| |
| |
| /** |
| * Returns the font that is used for displaying the title text for |
| * a given Component. |
| * |
| * @param c the Component for which this TitledBorder is the border. |
| * |
| * @return The font returned by {@link #getTitleFont()}, or a fallback |
| * if {@link #getTitleFont()} returned <code>null</code>. |
| */ |
| protected Font getFont(Component c) |
| { |
| Font f; |
| |
| f = getTitleFont(); |
| if (f != null) |
| return f; |
| |
| return new Font("Dialog", Font.PLAIN, 12); |
| } |
| |
| } |