[webkit-dev] programmatic text selection