traxys/tree-sitter
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Add some documentation to the playground page

Browse source 
The minimal UI of the Playground could benefit from some documentation to make it easier for the newer users to understand what's going on. Also added a link to the new documentation from the local playground.

Closes https://github.com/tree-sitter/tree-sitter/issues/1305
This commit is contained in:
Nickolay 2024-02-15 18:24:21 +03:00 • committed by GitHub
parent 657d2b9c48
commit 6895b7a1e1
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 22 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
cli/src/playground.html
View file

@ -29,6 +29,10 @@
<span id="update-time"></span>
</div>
<div class=header-item>
<a href="https://tree-sitter.github.io/tree-sitter/playground#about">(?)</a>
</div>
<select id="language-select" style="display: none;">
<option value="parser">Parser</option>
</select>