org.fife.ui.rtextarea

Class Gutter.GutterBorder

java.lang.Object

javax.swing.border.AbstractBorder

javax.swing.border.EmptyBorder

org.fife.ui.rtextarea.Gutter.GutterBorder

All Implemented Interfaces:

java.io.Serializable, javax.swing.border.Border

Enclosing class:

Gutter

public static class Gutter.GutterBorder
extends javax.swing.border.EmptyBorder

The border used by the gutter.

See Also:

Serialized Form

Field Summary

Fields inherited from class javax.swing.border.EmptyBorder

bottom, left, right, top

Constructor Summary

Constructors

Constructor and Description
GutterBorder(int top, int left, int bottom, int right)

Method Summary

Modifier and Type	Method and Description
java.awt.Color	getColor()
void	paintBorder(java.awt.Component c, java.awt.Graphics g, int x, int y, int width, int height)
void	setColor(java.awt.Color color)
void	setEdges(int top, int left, int bottom, int right) Sets the edges of the gutter.

Methods inherited from class javax.swing.border.EmptyBorder

getBorderInsets, getBorderInsets, isBorderOpaque

Methods inherited from class javax.swing.border.AbstractBorder

getBaseline, getBaselineResizeBehavior, getBorderInsets, getInteriorRectangle, getInteriorRectangle

Methods inherited from class java.lang.Object

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

Constructor Detail

GutterBorder

public GutterBorder(int top,
                    int left,
                    int bottom,
                    int right)

Method Detail

getColor

public java.awt.Color getColor()

paintBorder

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

Specified by:

paintBorder in interface javax.swing.border.Border

Overrides:

paintBorder in class javax.swing.border.EmptyBorder

setColor

public void setColor(java.awt.Color color)

setEdges

public void setEdges(int top,
                     int left,
                     int bottom,
                     int right)

Sets the edges of the gutter.

Parameters:

top - The top value.

left - The left value.

bottom - The bottom value.

right - The right value.