Changes the given highlight to span a different portion of
the document. This may be more efficient than a remove/add
when a selection is expanding/shrinking (such as a sweep
with a mouse) by damaging only what changed.
Parameters:
-
tag - which highlight to change
-
p0 - the beginning of the range >= 0
-
p1 - the end of the range >= p0
Throws:
-
BadLocationException - for an invalid range specification