@vkc Recently I noticed that it has been disabled. It is frustrating that there is no setting for this behaviour because I always use it and it means I now have to do more clicks or a keyboard action to copy and paste in the terminal.