public class GlueBox extends Box
Modifier and Type | Field | Description |
---|---|---|
protected float |
shrink |
|
protected float |
stretch |
background, children, DEBUG, depth, elderParent, foreground, height, markForDEBUG, parent, shift, type, width
Constructor | Description |
---|---|
GlueBox(float space,
float stretch,
float shrink) |
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.
|
public void draw(java.awt.Graphics2D g2, float x, float y)
Box
public int getLastFontId()
Box
getLastFontId
in class Box