...actually, just holding Shift and repeatedly selecting/deselecting text with the mouse is enough to see the problem.
...actually, just holding Shift and repeatedly selecting/ deselecting text with the mouse is enough to see the problem.