gj: do not open the same file twice when the user selects multiple files.