com.jgraph.pad.graph
Class JGraphpadHeavyweightRenderer.ScaledLineBorder

java.lang.Object
  javax.swing.border.AbstractBorder
      javax.swing.border.LineBorder
          com.jgraph.pad.graph.JGraphpadHeavyweightRenderer.ScaledLineBorder

All Implemented Interfaces:

Border, Serializable

Enclosing class:

JGraphpadHeavyweightRenderer

public class JGraphpadHeavyweightRenderer.ScaledLineBorder

extends LineBorder

Workaround for the line border in Swing that has bad offsets and asymetric line widths when zoomed.

See Also:

Serialized Form

Field Summary

Fields inherited from class javax.swing.border.LineBorder

lineColor, roundedCorners, thickness

Constructor Summary

JGraphpadHeavyweightRenderer.ScaledLineBorder(Color color)

JGraphpadHeavyweightRenderer.ScaledLineBorder(Color color, int thickness)

Method Summary

void	paintBorder(Component c, Graphics g, int x, int y, int width, int height)

Methods inherited from class javax.swing.border.LineBorder

createBlackLineBorder, createGrayLineBorder, getBorderInsets, getBorderInsets, getLineColor, getRoundedCorners, getThickness, isBorderOpaque

Methods inherited from class javax.swing.border.AbstractBorder

getInteriorRectangle, getInteriorRectangle

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

JGraphpadHeavyweightRenderer.ScaledLineBorder

public JGraphpadHeavyweightRenderer.ScaledLineBorder(Color color)

JGraphpadHeavyweightRenderer.ScaledLineBorder

public JGraphpadHeavyweightRenderer.ScaledLineBorder(Color color,
                                                     int thickness)

Method Detail

paintBorder

public void paintBorder(Component c,
                        Graphics g,
                        int x,
                        int y,
                        int width,
                        int height)