9 commits

Author	SHA1	Message	Date
Brian Schwind	f475182c7d	fix(playground): initialize tree nodes with a 'plain' class	2025-06-15 12:45:55 +03:00
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	48fe030bdd	fix(playground): gracefully fallback to JavaScript if the select info is undefined	2024-12-27 17:08:49 -05:00
Amaan Qureshi	9228a31f94	fix(playground): restore select value's text from local storage	2024-12-26 00:17:49 -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	dda45cfbb6	docs: move assets to correct path	2024-12-25 21:23:36 -05:00

Renamed from docs/assets/js/playground.js (Browse further)