We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Modify Server-side Workspace Folder...
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
🐛 the option is missing until you have first opened a file from the server.
I will provide a PR.
The text was updated successfully, but these errors were encountered:
gjsjohnmurray
Successfully merging a pull request may close this issue.
🐛 the option is missing until you have first opened a file from the server.
I will provide a PR.
The text was updated successfully, but these errors were encountered: