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:
- 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
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(Component c,
Graphics g,
int x,
int y,
int width,
int height)
- Specified by:
paintBorder
in interface Border
- Overrides:
paintBorder
in class EclipseBorder