There are some use cases in which it would be desirable to be able to select the text inside HighlightView.

I say some use cases, because there are also times when you don't want it selectable, so I would not advocate for making the text selectable by default.

The modern way of allowing selection is to wrap the desired widget tree in a SelectableRegion (usually via SelectionArea). Ideally users of HighlightView should be able to put a SelectionArea above HighlightView and selection should just work.