traxys/tree-sitter
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
6107 commits 16 branches 98 tags 37 MiB
Commit graph

18 commits

Author SHA1 Message Date
kevin-hua-kraken
34602af22c fix(playground): update query API 
(cherry picked from commit a7d8c0cbb2)
 2025-12-23 14:18:14 +01:00
Marcono1234
12a31536e1 fix(docs): don't show mdbook help popup when using query editor 2025-11-12 23:43:03 -05:00
Amaan Qureshi
06741d0d5d fix(playground): check that languageVersion exists for compat 2025-09-13 22:12:11 -04:00
Amaan Qureshi
3c1f02a7f9 docs(playground): show toast when tree is copied 2025-09-09 03:13:35 -04:00
Amaan Qureshi
907c7bc80b docs(playground): add version information in playground 
Co-authored-by: Will Lillis <will.lillis24@gmail.com>
 2025-09-09 03:13:35 -04:00
ObserverOfTime
47beafb836 fix(playground): account for missing button 2025-08-31 14:08:06 -04:00
ObserverOfTime
eb5ad7eb26 feat(playground): add a button to copy the tree 
Co-Authored-By: Firas al-Khalil <firasalkhalil@gmail.com>
 2025-08-25 10:21:48 +03:00
ObserverOfTime
0bb43f7afb fix(playground): scroll with vanilla JS 
jQuery must burn in fire.
 2025-08-14 11:03:52 +03:00
WillLillis
51a800b7df fix(docs): don't show mdbook help popup when using code editor 2025-07-01 18:23:38 -04:00
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)