"Duplicate Workspace in New Window" just creates new window and opens workspace.json file

[ryanjkelly]

• VSCode Version: 1.47
• OS Version: Windows 10 Home (2004, 19041.329)

Steps to Reproduce:

1. Open workspace
2. Duplicate Workspace in New Window

Does this issue occur when all extensions are disabled?: Yes

This happens on both v1.47 and v1.48.0 (Insiders). I downgraded to v1.46.1 and it is working correctly there.

One other thing to note is that when I exit VSCode and reopen it, the duplicated workspaces open correctly. Here's a screencast showing the behavior:

[bpasero]

I can reproduce but only on Windows for some reason. Clearly a regression and up for help if someone wants to drill in. E.g. start with a git bisect to understand which commit triggered this during the 1.47 development timeframe 👍

[bpasero]

A regression from 5ebae68803 where we stopped ignoring case for isEqualOrParent on Windows. Bottom line, this is a drive letter casing issue only on Windows where we are unable to understand that the untitled workspace path is inside untitled workspace home folder (from isUntitledWorkspace)

I wonder if resources.ts should explicitly ignore the case of the drive letter because it is relatively easy to get into a state where a URI ends up having the lowercase form. For example:

• take a URI with uppercase drive letter
• pass it around, use URI.fsPath
• construct it again via URI.file
• you can no longer compare both URIs due to drive letter case differences

//cc Johannes Rieken (@jrieken)