Overview  Package   Class  Use  Deprecated  Index
Home >> All >> org >> gjt >> sp >> jedit >> [ gui overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

org.gjt.sp.jedit.gui
Class PanelWindowContainer.DockBorder  

java.lang.Object
  org.gjt.sp.jedit.gui.PanelWindowContainer.DockBorder

All Implemented Interfaces:

javax.swing.border.Border

Enclosing class:

PanelWindowContainer

---

static class PanelWindowContainer.DockBorder

extends java.lang.Object

implements javax.swing.border.Border

---

Field Summary
(package private)  java.awt.Color	color1
(package private)  java.awt.Color	color2
(package private)  java.awt.Color	color3
(package private)  java.awt.Insets	insets
(package private)  java.lang.String	position

 

Constructor Summary
(package private)	PanelWindowContainer.DockBorder(java.lang.String position)

 

Method Summary
java.awt.Insets	getBorderInsets(java.awt.Component c)           Measures the width of this border.
boolean	isBorderOpaque()           Determines whether this border fills every pixel in its area when painting.
void	paintBorder(java.awt.Component c, java.awt.Graphics g, int x, int y, int width, int height)           Paints the border for a given component.
private  void	paintHorizBorder(java.awt.Graphics g, int x, int y, int width)
private  void	paintVertBorder(java.awt.Graphics g, int x, int y, int height)
private  void	updateColors()

 

Methods inherited from class java.lang.Object

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

 

Field Detail

position

java.lang.String position

---

insets

java.awt.Insets insets

---

color1

java.awt.Color color1

---

color2

java.awt.Color color2

---

color3

java.awt.Color color3

Constructor Detail

PanelWindowContainer.DockBorder

PanelWindowContainer.DockBorder(java.lang.String position)

Method Detail

paintBorder

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

Description copied from interface: javax.swing.border.Border

Paints the border for a given component.

Specified by:

paintBorder in interface javax.swing.border.Border

---

getBorderInsets

public java.awt.Insets getBorderInsets(java.awt.Component c)

Description copied from interface: javax.swing.border.Border

Measures the width of this border.

Specified by:

getBorderInsets in interface javax.swing.border.Border

---

isBorderOpaque

public boolean isBorderOpaque()

Description copied from interface: javax.swing.border.Border

Determines whether this border fills every pixel in its area when painting.

Specified by:

isBorderOpaque in interface javax.swing.border.Border

---

paintHorizBorder

private void paintHorizBorder(java.awt.Graphics g,
                              int x,
                              int y,
                              int width)

---

paintVertBorder

private void paintVertBorder(java.awt.Graphics g,
                             int x,
                             int y,
                             int height)

---

updateColors

private void updateColors()

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> org >> gjt >> sp >> jedit >> [ gui overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---