It also happens on single click (possibly to make changing the text size easy), and you can also highlight by dragging and it’ll work, but I still like to double click to highlight.