| 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)
Boxpublic int getLastFontId()
BoxgetLastFontId in class Box