Server-side editing, re-open recent class/routine

[davevdg]

I'm using server-side editing, ObjectScript 1.0.10-beta6, Server Manager 1.0.5.

If I open a class, edit it, and close the editor, there does not appear to be a way to quickly re-open the class.
File->Open Recent does not list the class.
⌘P does not list the class that I just closed.
It seems there should be some way to re-open recently closed classes without going back to the workspace tree and searching for it. I am missing something?

[isc-bsaviano]

@gjsjohnmurray Is it possible for the isfs FileSystemProvider to edit the recent editors list? I don't see anything in the VSCode API that would help but maybe I'm missing something

[gjsjohnmurray]

We're being bitten by microsoft/vscode#122314 which I have just opened.

[gjsjohnmurray]

This upstream issue to watch is now microsoft/vscode#108935

[isc-bsaviano]

Closing because upstream issue was closed.