The change_highlight command only allows me to change the token or the color that is used for highlighting. What would be really useful is if it allowed me to modify the start and stop points for the current highlight. I got this idea from using Adobe acrobat.
For example say I've highlighted this: <mark>Lorem ipsum dolor sit amet.</mark> then I decide I want to change the highlighting to
Lorem <mark>ipsum dolor sit</mark> amet. Right now, I need to delete the entire highlight and redo the highlighting all over again. It would be easier to select a new start and stop points for this. Thank you for considering my request.
The
change_highlight
command only allows me to change the token or the color that is used for highlighting. What would be really useful is if it allowed me to modify the start and stop points for the current highlight. I got this idea from using Adobe acrobat.For example say I've highlighted this:
<mark>Lorem ipsum dolor sit amet.</mark>
then I decide I want to change the highlighting toLorem <mark>ipsum dolor sit</mark> amet.
Right now, I need to delete the entire highlight and redo the highlighting all over again. It would be easier to select a new start and stop points for this. Thank you for considering my request.