Re #8909. Added range selection with a mouse.