Searched defs:highlights (Results 1 - 1 of 1) sorted by relevance

/openjdk7/jdk/src/share/classes/javax/swing/text/
H A DDefaultHighlighter.java51 * 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
352 private Vector<HighlightInfo> highlights = new Vector<HighlightInfo>(); field in class:DefaultHighlighter
[all...]

Completed in 30 milliseconds