Commit graph

19 commits

Author SHA1 Message Date
Pieter Goetschalckx
07b4c8d05d
fix(cli): add reserved type declarations and schema
- Use `globalThis` for `reserved` function export
- Add `reserved` field and function to DSL declarations
- Add `reserved` rule to grammar schema
2025-08-02 12:01:41 +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
ObserverOfTime
9772270868
fix(bindings): update swift & node dependencies (#4432)
* fix(bindings): update swift & node dependencies

also add the dependency name to Package.swift

* chore: update config schema
2025-06-07 11:41:07 -07:00
ObserverOfTime
5cfeba9c0d feat(bindings): add opt-in zig bindings 2025-01-25 03:47:19 -05:00
Amaan Qureshi
bde94aed4d feat(init): add a class-name field to grammars 2025-01-25 03:20:43 -05:00
Amaan Qureshi
6dbcfdf282 feat(init): add an optional funding field 2025-01-25 03:20:43 -05:00
Amaan Qureshi
a70b2fee4b feat(init): allow dashes in scopes 2025-01-25 03:20:43 -05: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
Amaan Qureshi
21d74b8482 docs: add mdbook-admonish for better tooltips 2025-01-10 02:58:38 -05:00
WillLillis
c8bd78a29c feat(playground): provide colored highlight for captures in code editor 2025-01-10 00:45:08 -05:00
Amaan Qureshi
3456330fe9 fix: update outdated links 2025-01-03 15:09:33 -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
e3b2545ab7 fix(playground): add back underline on tree nodes, and query error underline 2024-12-25 21:23:36 -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