|
| int | getTopOffset () |
| |
| int | getHeight () |
| |
| int | layout (final Document document, final JTextComponent textComponent, final int padWidth, final int padTopOffset, final int padHeight, final int lineHeight) throws BadLocationException |
| |
| void | paint (final Graphics graphics) |
| |
| Color | getBackColor () |
| |
Box renderer
- Author
- Bernard Bou
◆ getHeight()
| int grammarscope.browser.renderer.ProtoRenderer.getHeight |
( |
| ) |
|
◆ getTopOffset()
| int grammarscope.browser.renderer.ProtoRenderer.getTopOffset |
( |
| ) |
|
◆ height
| int grammarscope.browser.renderer.ProtoRenderer.height |
|
protected |
◆ topOffset
| int grammarscope.browser.renderer.ProtoRenderer.topOffset |
|
protected |
The documentation for this class was generated from the following file: