History: delete entries that are deleted or moved on disk

[bpasero]

A regression from some work in October, this used to work.

[bpasero]

To verify, make sure that a file that you delete is removed from the recently opened in Cmd+P

[chrmarti]

Deleted a file in the VSCode Explorer on OSX and it was not removed from the recently opened files.

• VSCode Version: Code - Insiders 1.8.0-insider (e087132, 2016-12-08T07:05:13.731Z)
• OS Version: Darwin x64 15.6.0

[bpasero]

@chrmarti due to a bug in hot exit, you opened the workspace folder with lowercases and this means our file watcher does not work correctly. Please run from the command line using the correct casing of the folder and try again. Then it will work.

[roblourens]

This now works as described if I delete the file while vscode is open. But if I close vscode, delete the file, then reopen vscode, it's still in the quick open list. Is that a different issue?

[Tyriar]

@roblourens both cases seem to work fine for me on Ubuntu?

[roblourens]

There's one edge case where it doesn't work. I'm calling this verified and opening a new issue.