tablineborder.java

修正了jdk1.6中对托盘事件产生异常的bug.

/*
 * Copyright (C) 2004 NNL Technology AB
 * Visit www.infonode.net for information about InfoNode(R) 
 * products and how to contact NNL Technology AB.
 *
 * This program 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
 * of the License, or (at your option) any later version.
 *
 * This program 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 this program; if not, write to the Free Software
 * Foundation, Inc., 59 Temple Place - Suite 330, Boston, 
 * MA 02111-1307, USA.
 */


// $Id: TabLineBorder.java,v 1.27 2005/07/19 14:17:31 johan Exp $
package net.infonode.tabbedpanel.border;

import net.infonode.gui.colorprovider.ColorProvider;
import net.infonode.gui.colorprovider.ColorProviderUtil;
import net.infonode.gui.colorprovider.UIManagerColorProvider;
import net.infonode.tabbedpanel.Tab;
import net.infonode.tabbedpanel.TabbedPanel;
import net.infonode.tabbedpanel.TabbedUtils;
import net.infonode.util.Direction;

import javax.swing.border.Border;
import javax.swing.border.CompoundBorder;
import java.awt.*;
import java.io.Serializable;

/**
 * TabLineBorder draws a 1 pixel wide line around a {@link Tab}. If tab spacing in the
 * tabbed panel is 0 then the border will only draw a single line between two adjacent tabs.
 *
 * @author $Author: johan $
 * @version $Revision: 1.27 $
 * @see Tab
 * @see TabbedPanel
 * @deprecated As of ITP 1.2.0 use {@link TabAreaLineBorder} instead with
 *             {@link net.infonode.tabbedpanel.TabbedPanelProperties#TAB_SPACING} set to -1.
 */
public class TabLineBorder implements Border, Serializable {
  private static final long serialVersionUID = 1;

  private ColorProvider color;
  private Border border;
  private boolean last;
  private boolean afterHighlighted;
  private boolean highlighted;
  private boolean drawTopLine;
  private boolean drawBottomLine;
  private int index;
  private boolean tabSpacing;

  private class LineBorder implements Border {

    LineBorder() {
    }

    public void paintBorder(Component component, Graphics g, int x, int y, int width, int height) {
      Color c = color.getColor(component);
      Tab tab = TabbedUtils.getParentTab(component);
      if (tab != null && tab.getTabbedPanel() != null) {
        Direction d = tab.getTabbedPanel().getProperties().getTabAreaOrientation();
        tabSpacing = tab.getTabbedPanel().getProperties().getTabSpacing() > 0;
        initialize(tab);
        if (d == Direction.UP)
          paintUpBorder(g, x, y, width, height, c);
        else if (d == Direction.LEFT)
          paintLeftBorder(g, x, y, width, height, c);
        else if (d == Direction.DOWN)
          paintDownBorder(g, x, y, width, height, c);
        else // RIGHT
          paintRightBorder(g, x, y, width, height, c);
      }
    }

    public Insets getBorderInsets(Component c) {
      Tab tab = TabbedUtils.getParentTab(c);
      if (tab != null && tab.getTabbedPanel() != null && tab.getParent() != null) {
        int top;
        int left;
        int bottom;
        int right;
        Direction d = tab.getTabbedPanel().getProperties().getTabAreaOrientation();
        initialize(tab);
        if (d == Direction.UP) {
          top = drawTopLine ? 1 : 0;
          left = 1;
          bottom = 0;
          right = 1;
        }
        else if (d == Direction.LEFT) {
          top = 1;
          left = drawTopLine ? 1 : 0;
          bottom = 1;
          right = 0;
        }
        else if (d == Direction.DOWN) {
          top = 0;
          left = 1;
          bottom = drawTopLine ? 1 : 0;
          right = 1;
        }
        else {
          top = 1;
          left = 0;
          bottom = 1;
          right = drawTopLine ? 1 : 0;
        }

        return new Insets(top,
                          left,
                          bottom,
                          right);
      }

      return new Insets(0, 0, 0, 0);
    }

    public boolean isBorderOpaque() {
      return true;
    }

    private void paintUpBorder(Graphics g, int x, int y, int width, int height, Color color) {
      g.setColor(color);

      // Left Line
      if (!afterHighlighted || tabSpacing)
        g.drawLine(x, y, x, y + height - 1);

      // Right line
      if (highlighted || last || tabSpacing)
        g.drawLine(x + width - 1, y, x + width - 1, y + height - 1);

      // Top Line
      if (drawTopLine)
        g.drawLine(x, y, x + width - 1, y);

      if (drawBottomLine)
        g.drawLine(x, y + height - 1, x + width - 1, y + height - 1);
    }

    private void paintLeftBorder(Graphics g, int x, int y, int width, int height, Color color) {
      g.setColor(color);

      // Top Line
      if (!afterHighlighted || tabSpacing)
        g.drawLine(x, y, x + width - 1, y);

      // Left Line
      if (drawTopLine)
        g.drawLine(x, y, x, y + height - 1);

      // Bottom Line
      if (highlighted || last || tabSpacing)
        g.drawLine(x, y + height - 1, x + width - 1, y + height - 1);

      if (drawBottomLine)
        g.drawLine(x + width - 1, y, x + width - 1, y + height - 1);
    }

    private void paintDownBorder(Graphics g, int x, int y, int width, int height, Color color) {
      g.setColor(color);

      // Left Line
      if (!afterHighlighted || tabSpacing)
        g.drawLine(x, y, x, y + height - 1);

      // Right line
      if (highlighted || last || tabSpacing)
        g.drawLine(x + width - 1, y, x + width - 1, y + height - 1);

      // Bottom Line
      if (drawTopLine)
        g.drawLine(x, y + height - 1, x + width, y + height - 1);

      if (drawBottomLine)
        g.drawLine(x, y, x + width, y);
    }

    private void paintRightBorder(Graphics g, int x, int y, int width, int height, Color color) {
      g.setColor(color);

      // Top Line
      if (!afterHighlighted || tabSpacing)
        g.drawLine(x, y, x + width - 1, y);

      // Right Line
      if (drawTopLine)
        g.drawLine(x + width - 1, y, x + width - 1, y + height - 1);

      // Bottom Line
      if (highlighted || last || tabSpacing)
        g.drawLine(x, y + height - 1, x + width - 1, y + height - 1);

      if (drawBottomLine)
        g.drawLine(x, y, x, y + height - 1);
    }
  }

  /**
   * Constructor. Uses the TabbedPane.darkShadow color from the UIManager as line color.
   */
  public TabLineBorder() {
    this(null);
  }

  /**
   * Constructs a TabLineBorder that draws lines on three sides of the tab.
   * No line will be drawn on the side towards the TabbedPanel's content area.
   *
   * @param color the line color
   */
  public TabLineBorder(Color color) {
    this(color, false);
  }

  /**
   * Constructs a TabLineBorder that draws lines on three or four sides of the tab.
   *
   * @param color          the line color
   * @param drawBottomLine true if a line should be drawn on the side towards the
   *                       tabbed panel's content area, otherwise false
   */
  public TabLineBorder(Color color, boolean drawBottomLine) {
    this(color, drawBottomLine, true);
  }

  /**
   * Constructs a TabLineBorder that draws lines on two, three or four sides of the
   * tab.
   *
   * @param drawBottomLine true if a line should be drawn on the side towards the
   *                       tabbed panel's content area, otherwise false
   * @param drawTopLine    true if a line should be drawn on the side opposite to
   *                       the tabbed panel's content area, otherwise false
   */
  public TabLineBorder(boolean drawBottomLine, boolean drawTopLine) {
    this((Color) null, drawBottomLine, drawTopLine);
  }

  /**
   * Constructs a TabLineBorder that draws lines on two, three or four sides of the
   * tab.
   *
   * @param color          the line color
   * @param drawBottomLine true if a line should be drawn on the side towards the
   *                       tabbed panel's content area, otherwise false
   * @param drawTopLine    true if a line should be drawn on the side opposite to
   *                       the tabbed panel's content area, otherwise false
   */
  public TabLineBorder(Color color, boolean drawBottomLine, boolean drawTopLine) {
    this(ColorProviderUtil.getColorProvider(color, UIManagerColorProvider.TABBED_PANE_DARK_SHADOW),
         drawBottomLine, drawTopLine);
  }

  /**
   * Constructs a TabLineBorder that draws lines on two, three or four sides of the
   * tab.
   *
   * @param colorProvider  the line color provider
   * @param drawBottomLine true if a line should be drawn on the side towards the
   *                       tabbed panel's content area, otherwise false
   * @param drawTopLine    true if a line should be drawn on the side opposite to
   *                       the tabbed panel's content area, otherwise false
   */
  public TabLineBorder(ColorProvider colorProvider, boolean drawBottomLine, boolean drawTopLine) {
    this.color = colorProvider;
    border = new LineBorder();
    this.drawBottomLine = drawBottomLine;
    this.drawTopLine = drawTopLine;
  }

  /**
   * Constructs a TabLineBorder that draws lines on three sides of the tab.
   * No line will be drawn on the side towards the tabbed panel's content area.
   * The inner border will be drawn inside of this TabLineBorder.
   *
   * @param color       the line color
   * @param innerBorder border to draw inside of this TabLineBorder
   */
  public TabLineBorder(Color color, Border innerBorder) {
    this(color, innerBorder, false);
  }

  /**
   * Constructs a TabLineBorder that draws lines on three or four sides of the tab.
   * The inner border will be drawn inside of this TabLineBorder.
   *
   * @param color          the line color
   * @param innerBorder    border to draw inside of this TabLineBorder
   * @param drawBottomLine true if a line should be drawn on the side towards the
   *                       tabbed panel's content area, otherwise false
   */
  public TabLineBorder(Color color, Border innerBorder, boolean drawBottomLine) {
    this(color, drawBottomLine);
    if (innerBorder != null)
      border = new CompoundBorder(border, innerBorder);
  }

  /**
   * Constructs a TabLineBorder that draws lines on three or four sides of the tab.
   * The inner border will be drawn inside of this TabLineBorder.
   *
   * @param colorProvider  the line color
   * @param innerBorder    border to draw inside of this TabLineBorder
   * @param drawBottomLine true if a line should be drawn on the side towards the
   *                       tabbed panel's content area, otherwise false
   * @param drawTopLine    true if a line should be drawn on the side opposite to
   *                       the tabbed panel's content area, otherwise false
   */
  public TabLineBorder(ColorProvider colorProvider, Border innerBorder, boolean drawBottomLine, boolean drawTopLine) {
    this(colorProvider, drawBottomLine, drawTopLine);
    if (innerBorder != null)
      border = new CompoundBorder(border, innerBorder);
  }

  public void paintBorder(Component c, Graphics g, int x, int y, int width, int height) {
    border.paintBorder(c, g, x, y, width, height);
  }

  public Insets getBorderInsets(Component c) {
    return border.getBorderInsets(c);
  }

  public boolean isBorderOpaque() {
    return false;
  }

  private void initialize(Tab tab) {
    index = tab.getTabbedPanel().getTabIndex(tab);
    last = index == tab.getTabbedPanel().getTabCount() - 1;
    afterHighlighted = index > 0 &&
                       tab.getTabbedPanel().getTabAt(index - 1) == tab.getTabbedPanel().getHighlightedTab();
    highlighted = tab == tab.getTabbedPanel().getHighlightedTab();
  }

}