This commit fixes selecting text with the mouse (either by dragging or
by shift-clicking). This has been broken for a while.

Fixes GH-41.