What would be the recommended way of highlighting parts of a view as the selection changes? I've been fiddling with updating the WordHighlight plugin, and have the moral equivalent of the following:
def run(self, edit):
def on_selection_modified(self, view):
...however, this seems to throw a wrench into undo grouping somehow, in that while this plugin is active each character inserted becomes its own undo entry.