| Package | Description |
|---|---|
| syntaxhighlight |
| Modifier and Type | Field and Description |
|---|---|
protected JTextComponentRowHeader |
SyntaxHighlighter.highlighterRowHeader
The gutter panel (line number).
|
| Modifier and Type | Method and Description |
|---|---|
JTextComponentRowHeader |
SyntaxHighlighter.getHighlighterRowHeader()
Get the JTextComponentRowHeader, the line number panel.
|
| Modifier and Type | Method and Description |
|---|---|
void |
Theme.setTheme(JTextComponentRowHeader rowHeader)
Apply the theme to the row header panel.
|
Copyright © 2015. All rights reserved.