Ok. So we agree it was not a bug.
It would be nice to have it so it’s easier to see, but it isn’t broken. It still works just fine.
On the few occasions one needs to actually edit a highlight:
- you can easily see, and change, the color of the highlight.
- you can determine, although not quite as easily see (thanks Apple) that the options, in order, are: Edit, Share, Delete. All work properly.
|