Skip to content

fix: close #176763, modify the conditions to load vscode-web-playground - #176771

Merged
aeschli merged 5 commits into
microsoft:mainfrom
yiliang114:cold-chimpanzee
Apr 4, 2023
Merged

fix: close #176763, modify the conditions to load vscode-web-playground#176771
aeschli merged 5 commits into
microsoft:mainfrom
yiliang114:cold-chimpanzee

Conversation

@yiliang114

Copy link
Copy Markdown
Contributor

close #176763, modify the conditions to load vscode-web-playground, and allow developers to start workbench without workspace

@aeschli

aeschli commented Mar 22, 2023

Copy link
Copy Markdown
Contributor

We want to update the argument description:

' --playground Include the vscode-web-playground extension (added by default if no folderPath is provided)\n'

@yiliang114

Copy link
Copy Markdown
Contributor Author

@aeschli I try to update the argument description, please take time to take a look

Comment thread scripts/code-web.js Outdated
@aeschli aeschli added this to the April 2023 milestone Mar 23, 2023
@aeschli

aeschli commented Mar 23, 2023

Copy link
Copy Markdown
Contributor

Looks good, thanks. Will merge next week!

@yiliang114

Copy link
Copy Markdown
Contributor Author

Looks good, thanks. Will merge next week!

Thank you for your help! 😊

@aeschli
aeschli enabled auto-merge (squash) April 4, 2023 09:16
@aeschli
aeschli merged commit 8fc524d into microsoft:main Apr 4, 2023
@github-actions github-actions Bot locked and limited conversation to collaborators May 19, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Hard to launch a workbench without a workspace

5 participants