Fix Ctrl-D hopper possibly selecting the already select text