vscode-objectscript
vscode-objectscript copied to clipboard
Server-side editing, re-open recent class/routine
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?
@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
We're being bitten by https://github.com/microsoft/vscode/issues/122314 which I have just opened.
This upstream issue to watch is now https://github.com/microsoft/vscode/issues/108935
Closing because upstream issue was closed.