Undo highlight
It would be nice to have an Undo highlight option (e.g., CMD+Z, CTRL+Z) for those instances in which you highlight too much material and you want to undo. Thanks.
This is an old discussion that has not been active in a long time. Before commenting here, you should strongly consider starting a new discussion instead. If you think the content of this discussion is still relevant, you can link to it from your new discussion.
An improved feature is planned, but not in the immediate future.