Clicking a file should open a tab, then clicking another file should open a new tab in place of the first tab.

Double-clicking a file should open a tab, then clicking another file should open a new tab and leave the first one open.

related: #2103
inspiration from vscode: