Jumping to already open files now moves focus to the existing file, rather than re-opening that file in a new editor