A number of times I have accidentally selected an entire paragraph and pressed Ctrl+K (to apply the last-used highlight) before noticing that instead of highlighting a single word I'd selected a paragraph or two. Then, the only way to correct it is to erase all highlighting in that paragraph and re-apply all previous bits of highlighting on individual words.
Please can undo support be added for highlighting?
