int firstStart = hs.getStartOffset(), firstEnd = hs.getEndOffset(); last = current; current = hs.getStartOffset(); } while (hs.getEndOffset() < curPos && (stuck = hs.moveNext())); if (!(hs.getEndOffset() >= curPos && hs.getStartOffset() <= curPos)) { return hs.getStartOffset();
int firstStart = hs.getStartOffset(), firstEnd = hs.getEndOffset(); last = current; current = hs.getStartOffset(); } while (hs.getEndOffset() < curPos && (stuck = hs.moveNext())); if (!(hs.getEndOffset() >= curPos && hs.getStartOffset() <= curPos)) { return hs.getStartOffset();
if (!set.contains(seq.getAttributes())) { int startOffset = getDocumentOffset(doc, seq.getStartOffset()); int endOffset = getDocumentOffset(doc, seq.getEndOffset()); if (startOffset < doc.getLength() && endOffset > 0) { addHighlightsToBag(tempBag, startOffset, endOffset, seq.getAttributes(), "cached"); //NOI18N
HighlightsSequence hs = getHighlightsBag(doc).getHighlights(0, doc.getLength() - 1); while (hs.moveNext()) { if (lastPosition >= hs.getStartOffset() && lastPosition <= hs.getEndOffset()) {