&& range.compareBoundaryPoints(Range.START_TO_START, lastSelectionRange) == 0
&& range.compareBoundaryPoints(Range.END_TO_END, lastSelectionRange) == 0) {
return;
}
lastHighlightedString = "";
lastSelectionRange = range.cloneRange();
if (range.compareBoundaryPoints(Range.START_TO_END, range) == 0) {
getComponent().getRootBox().clearSelection(modified);
} else {
boolean endBeforeStart = (this.markInfo.range.compareBoundaryPoints(