|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use HighlightManager.HighlightInfo | |
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.HighlightInfo in edu.rice.cs.drjava.ui |
Fields in edu.rice.cs.drjava.ui declared as HighlightManager.HighlightInfo | |
private HighlightManager.HighlightInfo |
DefinitionsPane._matchHighlight
Our current paren/brace/bracket matching highlight. |
private HighlightManager.HighlightInfo |
DefinitionsPane._errorHighlightTag
Our current error matching highlight. |
private HighlightManager.HighlightInfo |
CompilerErrorPanel.ErrorListPane._listHighlightTag
|
private HighlightManager.HighlightInfo |
JUnitPanel.JUnitErrorListPane._listHighlightTag
|
private HighlightManager.HighlightInfo |
MainFrame._currentThreadLocationHighlight
The current highlight displaying the location of the debugger's thread, if there is one. |
Uses of HighlightManager.HighlightInfo in edu.rice.cs.util.swing |
Methods in edu.rice.cs.util.swing that return HighlightManager.HighlightInfo | |
HighlightManager.HighlightInfo |
HighlightManager.addHighlight(int startOffset,
int endOffset,
Highlighter.HighlightPainter p)
Adds a highlight using the supplied painter to the vector element(Stack) that exactly corresponds to the specified bounds. |
Methods in edu.rice.cs.util.swing with parameters of type HighlightManager.HighlightInfo | |
void |
HighlightManager.removeHighlight(HighlightManager.HighlightInfo newLite)
Removes a given highlight (HighlightInfo) from the highlighter |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |