You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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 text was updated successfully, but these errors were encountered:
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.The text was updated successfully, but these errors were encountered: