Remove a useless debug message
Revert "Add function to select a highlight"

This reverts commit a78f1a6bee1ee4913a242428a587265bd740f578.

(This was merged accidentally.)
Remove dead code
TextHighlights: try to preserve selection status

When creating or removing text highlights, try to restore the selection
afterwards.