| Modifier and Type | Field and Description |
|---|---|
protected Box |
box |
protected float |
space |
protected float |
thickness |
background, children, DEBUG, depth, elderParent, foreground, height, markForDEBUG, parent, shift, type, width| Constructor and 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 and 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)
Boxpublic int getLastFontId()
BoxgetLastFontId in class Box