4 commits

Author	SHA1	Message	Date
Nickolay	6895b7a1e1	Add some documentation to the playground page ... 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	2024-02-15 16:24:21 +01:00
Andreas Deininger	0751736d17	docs: convert various links to https protocol	2023-04-04 18:05:46 +03:00
Max Brunsfeld	65746afeff	playground: Make query error underlines render in safari	2021-11-22 16:04:45 -08:00
Andrew Hlynskyi	16470bc0b1	chore(cli): Rename all internal web_ui stuff to playground	2021-09-22 04:28:08 +03:00

Renamed from cli/src/web_ui.html (Browse further)