UpdateOpen is called with same file name for close and open differing only in case #82634
Labels
bug
Issue identified by VS Code Team member as probable bug
javascript
JavaScript support issues
typescript
Typescript support issues
verified
Verification succeeded
Milestone
Version: 1.40.0-insider (user setup)
Commit: 3f6ed25
Date: 2019-10-15T05:26:38.861Z
Electron: 6.0.12
Chrome: 76.0.3809.146
Node.js: 12.4.0
V8: 7.6.303.31-electron.0
OS: Windows_NT x64 10.0.18363
Steps to Reproduce:
Found as part of microsoft/TypeScript#25460
code .
in the folderUpdateOpen
command is applied in sequence as all open files, changedFiles and then closed files so one cannot open and close same file with different casing in their name in same command on case insensitive file systemDoes this issue occur when all extensions are disabled?: Yes
The text was updated successfully, but these errors were encountered: