Don't maintain two tabs that point to the same file #7
Description
If the user saves an untracked tab to a file that already exists in the editor, the EditorStack should either prevent the save or (ideally) close the existing tab.
{{ message }}
If the user saves an untracked tab to a file that already exists in the editor, the EditorStack should either prevent the save or (ideally) close the existing tab.