|
||||||||||
| 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 | |||||||||