This repository has been archived by the owner on Aug 31, 2023. It is now read-only.
website(docs): More playground IDE features #3711
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR polishes and adds a few interesting features to the playground.
Multiple file support
You can now enable "multi file mode" in the sidebar which will show a file list and allow you to add additional files and move between them (deleting and renaming is currently unsupported).
This will be interesting for in the future if we ever have cross file analysis. Under the hood single file mode uses the same primitives, just hides the file list, and makes the query string a little bit nicer.
Diagnostics view
We now have a diagnostics pane that shows a list of diagnostics in the file, we now also add them to the codemirror view so you can hover over them in your editor.