Lines Matching defs:HighlightInfo
59 HighlightInfo info = highlights.elementAt(i);
125 HighlightInfo i = (getDrawsLayeredHighlights() &&
127 new LayeredHighlightInfo() : new HighlightInfo();
149 HighlightInfo info = (HighlightInfo) tag;
170 HighlightInfo hi = highlights.elementAt(i);
206 HighlightInfo info = highlights.elementAt(i);
250 HighlightInfo info = (HighlightInfo) tag;
301 HighlightInfo tag = highlights.elementAt(counter);
352 private Vector<HighlightInfo> highlights = new Vector<HighlightInfo>();
506 class HighlightInfo implements Highlighter.Highlight {
530 class LayeredHighlightInfo extends HighlightInfo {