cz.cuni.jagrlib.gui
Class ModuleGUIImproved.PlugBorder
java.lang.Object
javax.swing.border.AbstractBorder
javax.swing.border.EmptyBorder
cz.cuni.jagrlib.gui.ModuleGUIImproved.PlugBorder
- All Implemented Interfaces:
- Serializable, Border
- Enclosing class:
- ModuleGUIImproved
protected class ModuleGUIImproved.PlugBorder
- extends EmptyBorder
Border with plug-drawing capability.
- See Also:
- Serialized Form
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ModuleGUIImproved.PlugBorder
public ModuleGUIImproved.PlugBorder(int arg0,
int arg1,
int arg2,
int arg3)
paintBorder
public void paintBorder(Component c,
Graphics g,
int x,
int y,
int width,
int height)
- Border drawing.
- Specified by:
paintBorder
in interface Border
- Overrides:
paintBorder
in class EmptyBorder