Modifier and Type | Field | Description |
---|---|---|
protected Box |
box |
|
protected float |
space |
|
protected float |
thickness |
background, children, DEBUG, depth, elderParent, foreground, height, markForDEBUG, parent, shift, type, width
Constructor | Description |
---|---|
FramedBox(Box box,
float thickness,
float space) |
|
FramedBox(Box box,
float thickness,
float space,
java.awt.Color line,
java.awt.Color bg) |
Modifier and Type | Method | Description |
---|---|---|
void |
draw(java.awt.Graphics2D g2,
float x,
float y) |
Paints this box at the given coordinates using the given graphics context.
|
int |
getLastFontId() |
Get the id of the font that will be used the last when this box will be painted.
|
protected Box box
protected float thickness
protected float space
public FramedBox(Box box, float thickness, float space)
public FramedBox(Box box, float thickness, float space, java.awt.Color line, java.awt.Color bg)
public void draw(java.awt.Graphics2D g2, float x, float y)
Box
public int getLastFontId()
Box
getLastFontId
in class Box