Setting breakpoint highlights text
Double-clicking in the editor highlights a full line, which is good. Setting a breakpoint requires double-clicking, which is OK.
However, double-clicking to set a breakpoint also causes text to be selected, which shouldn't happen.