|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use HighlightManager | |
edu.rice.cs.drjava.ui | The ui package contains classes for the default user interface
for DrJava. |
edu.rice.cs.util.swing | Some utility classes for working in Swing. |
Uses of HighlightManager in edu.rice.cs.drjava.ui |
Fields in edu.rice.cs.drjava.ui declared as HighlightManager | |
private HighlightManager |
DefinitionsPane._highlightManager
|
private HighlightManager |
CompilerErrorPanel.ErrorListPane._highlightManager
|
private HighlightManager |
JUnitPanel.JUnitErrorListPane._highlightManager
|
Methods in edu.rice.cs.drjava.ui that return HighlightManager | |
HighlightManager |
DefinitionsPane.getHighlightManager()
Access to the pane's HighlightManager |
Uses of HighlightManager in edu.rice.cs.util.swing |
Constructors in edu.rice.cs.util.swing with parameters of type HighlightManager | |
HighlightManager.HighlightInfo(int from,
int to,
Highlighter.HighlightPainter p)
Constructor takes the bounds and the painter for a highlighter |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |