Searched refs:preEndOffset (Results 1 - 1 of 1) sorted by relevance

/openjdk7/jdk/src/share/classes/javax/swing/text/html/
H A DHTMLWriter.java54 private int preEndOffset; field in class:HTMLWriter
386 preEndOffset = elem.getEndOffset();
503 if (inPre && end == preEndOffset) {

Completed in 96 milliseconds