|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use HighlighterFactory | |
| jpicedt.graphic.toolkit | Controller (document editing through UI actions) |
| jpicedt.graphic.view | Document appearance. |
| Uses of HighlighterFactory in jpicedt.graphic.toolkit |
| Methods in jpicedt.graphic.toolkit that return HighlighterFactory | |
HighlighterFactory |
EditorKit.getHighlighterFactory()
Return the factory delegate for producing View's Highlighters |
| Methods in jpicedt.graphic.toolkit with parameters of type HighlighterFactory | |
void |
EditorKit.setHighlighterFactory(HighlighterFactory hf)
Sets the factory delegate for producing View's Highlighters |
| Uses of HighlighterFactory in jpicedt.graphic.view |
| Classes in jpicedt.graphic.view that implement HighlighterFactory | |
class |
DefaultHighlighterFactory
This is the default factory used to create a Highlighter for a given Element. |
| Methods in jpicedt.graphic.view that return HighlighterFactory | |
HighlighterFactory |
Highlighter.getHighlighterFactory()
Fetches the HighlighterFactory implementation that is feeding the view hierarchy. |
HighlighterFactory |
DefaultHighlighterFactory.DefaultHighlighter.getHighlighterFactory()
Fetches the HighlighterFactory implementation that is feeding the view hierarchy. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||