|
||||||||||
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 | |
---|---|
protected HighlightManager.HighlightInfo |
AbstractDJPane._matchHighlight
Our current paren/brace/bracket matching highlight. |
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 | |
---|---|
boolean |
HighlightManager.HighlightInfo.matchesRegion(HighlightManager.HighlightInfo h)
Tests to see if the given offsets correspond to the offsets specified within this highlight. |
void |
HighlightManager.removeHighlight(HighlightManager.HighlightInfo newLite)
Removes a given highlight (HighlightInfo) from the highlighter |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |