bibliothek.extension.gui.dock.theme.eclipse
Class OwnedEclipseBorder
java.lang.Object
bibliothek.extension.gui.dock.theme.eclipse.AbstractEclipseBorder
bibliothek.extension.gui.dock.theme.eclipse.EclipseBorder
bibliothek.extension.gui.dock.theme.eclipse.OwnedEclipseBorder
- All Implemented Interfaces:
- javax.swing.border.Border
public class OwnedEclipseBorder
- extends EclipseBorder
This border paints round edges at the edges which touch
the side of the tabs. It uses a BorderedComponent
to
decide which side the tabs are at.
- Author:
- Benjamin Sigg
Method Summary |
void |
paintBorder(java.awt.Component c,
java.awt.Graphics g,
int x,
int y,
int width,
int height)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
OwnedEclipseBorder
public OwnedEclipseBorder(BorderedComponent owner,
DockController controller,
boolean fillEdges)
- Creates a new border.
- Parameters:
owner
- the component which paints this bordercontroller
- to read properties about the environmentfillEdges
- whether to fill the edges when painting
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 EclipseBorder