Amaan Qureshi
3e72969ce4
fix(playground): work around lack of module support in mdbook
2025-01-22 04:09:08 -05:00
Amaan Qureshi
692332ed1c
feat!: update playground with new web bindings
2025-01-21 12:36:15 -05:00
WillLillis
c8bd78a29c
feat(playground): provide colored highlight for captures in code editor
2025-01-10 00:45:08 -05:00
Amaan Qureshi
b70843a033
fix(playground): add dark theme, align ui more akin to upstream playground
2024-12-25 21:23:36 -05:00
Amaan Qureshi
5bd0d11982
fix(playground): ensure local playground is initialized
2024-12-25 21:23:36 -05:00
Amaan Qureshi
bd6aa2be2b
fix(playground): correct link to upstream playground
2024-12-25 21:23:36 -05:00
Amaan Qureshi
043969ef18
docs: migrate to mdbook
2024-12-24 20:54:59 -05:00
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
