Package | Description |
---|---|
jpicedt.graphic.toolkit |
Controller (document editing through UI actions)
|
jpicedt.graphic.view |
Document appearance.
|
Modifier and Type | Method and Description |
---|---|
HighlighterFactory |
EditorKit.getHighlighterFactory()
Return the factory delegate for producing View's Highlighters
|
Modifier and Type | Method and Description |
---|---|
void |
EditorKit.setHighlighterFactory(HighlighterFactory hf)
Sets the factory delegate for producing View's Highlighters
|
Modifier and Type | Class and Description |
---|---|
class |
DefaultHighlighterFactory
This is the default factory used to create a Highlighter for a given Element.
|
Modifier and Type | Method and Description |
---|---|
HighlighterFactory |
DefaultHighlighterFactory.DefaultHighlighter.getHighlighterFactory()
Fetches the HighlighterFactory implementation that is feeding the view hierarchy.
|
HighlighterFactory |
Highlighter.getHighlighterFactory()
Fetches the HighlighterFactory implementation that is feeding the view hierarchy.
|
Submit a bug : syd@jpicedt.org