Lines Matching defs:highlights
51 * Renders the highlights.
57 int len = highlights.size();
59 HighlightInfo info = highlights.elementAt(i);
69 info = highlights.elementAt(i);
83 * removes any existing highlights.
131 highlights.addElement(i);
152 highlights.removeElement(tag);
156 * Removes all highlights.
161 int len = highlights.size();
170 HighlightInfo hi = highlights.elementAt(i);
197 highlights.removeAllElements();
201 int len = highlights.size();
206 HighlightInfo info = highlights.elementAt(i);
214 highlights.removeAllElements();
242 // Mark the highlights region as invalid, it will reset itself
269 * Makes a copy of the highlights. Does not actually clone each highlight,
276 int size = highlights.size();
281 highlights.copyInto(h);
300 for (int counter = highlights.size() - 1; counter >= 0; counter--) {
301 HighlightInfo tag = highlights.elementAt(counter);
333 * If true, highlights are drawn as the Views draw the text. That is
352 private Vector<HighlightInfo> highlights = new Vector<HighlightInfo>();
360 * be used for painting highlights.
604 // display highlights