Resize highlights

b0c5 · July 1, 2022

It would be nice to be able to resize existing highlights to cover more or less text, without having to delete the annotation and create a new one.