cz.cuni.jagrlib.gui
Class ModuleGUIImproved.PlugBorder

java.lang.Object
  extended by javax.swing.border.AbstractBorder
      extended by javax.swing.border.EmptyBorder
          extended by cz.cuni.jagrlib.gui.ModuleGUIImproved.PlugBorder
All Implemented Interfaces:
java.io.Serializable, javax.swing.border.Border
Enclosing class:
ModuleGUIImproved

protected class ModuleGUIImproved.PlugBorder
extends javax.swing.border.EmptyBorder

Border with plug-drawing capability.

See Also:
Serialized Form

Field Summary
 
Fields inherited from class javax.swing.border.EmptyBorder
bottom, left, right, top
 
Constructor Summary
ModuleGUIImproved.PlugBorder(int arg0, int arg1, int arg2, int arg3)
           
 
Method Summary
 void paintBorder(java.awt.Component c, java.awt.Graphics g, int x, int y, int width, int height)
          Border drawing.
 
Methods inherited from class javax.swing.border.EmptyBorder
getBorderInsets, getBorderInsets, getBorderInsets, isBorderOpaque
 
Methods inherited from class javax.swing.border.AbstractBorder
getBaseline, getBaselineResizeBehavior, getInteriorRectangle, getInteriorRectangle
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ModuleGUIImproved.PlugBorder

public ModuleGUIImproved.PlugBorder(int arg0,
                                    int arg1,
                                    int arg2,
                                    int arg3)
Method Detail

paintBorder

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

Specified by:
paintBorder in interface javax.swing.border.Border
Overrides:
paintBorder in class javax.swing.border.EmptyBorder