#966060 Copy-pasting via mouse selection does not work any more