Max Brunsfeld
|
65746afeff
|
playground: Make query error underlines render in safari
|
2021-11-22 16:04:45 -08:00 |
|
Andrew Hlynskyi
|
4c5459814e
|
Cut dangling closing bracket in the playground tree
|
2021-05-31 14:12:22 +03:00 |
|
Max Brunsfeld
|
9daec9cb22
|
Tweak impossible pattern error messages
|
2020-08-20 13:35:11 -07:00 |
|
Max Brunsfeld
|
ca73cba5f0
|
Make underline-on-hover work for spans within links
Refs #535
|
2020-02-12 16:06:50 -08:00 |
|
Max Brunsfeld
|
1f53b7aba8
|
Merge pull request #536 from kramred/docs/external_link_icon_CC0
Modify styles to show icon for external links
|
2020-02-12 11:59:29 -08:00 |
|
Mark Schmitz
|
23b88b6ac4
|
Modify styles to show icon for external links
Icon is CC0, copyright by https://github.com/kramred
|
2020-02-12 19:40:43 +00:00 |
|
Mark Schmitz
|
3dafb373a8
|
Add hyperlink to github repo below img of tree
in sidebar, as suggested in https://github.com/tree-sitter/tree-sitter/issues/508
|
2020-02-12 16:20:03 +00:00 |
|
Max Brunsfeld
|
9ce3a53427
|
Precompute tree edits in playground script
|
2019-09-23 17:01:35 -07:00 |
|
Max Brunsfeld
|
10fb9b0e20
|
Fix playground HTML, tweak playground colors
|
2019-09-18 18:03:15 -07:00 |
|
Max Brunsfeld
|
a1fec71b19
|
Tweak QueryCursor to allow iterating either matches or captures
For syntax highlighting, we want to iterate over all of the captures in
order, and don't care about grouping the captures by pattern.
|
2019-09-13 15:19:04 -07:00 |
|
Max Brunsfeld
|
f08767c482
|
Add tree query editor to web UI and playground
|
2019-09-12 14:07:17 -07:00 |
|
Max Brunsfeld
|
0528ad5f58
|
playground: Persist state across reloads
|
2019-09-12 08:49:19 -07:00 |
|
Max Brunsfeld
|
fd80d60ae8
|
web playground: don't include editor.getValue() call in parse time
|
2019-08-30 21:06:57 -07:00 |
|
Max Brunsfeld
|
71275b34f0
|
Show field names in wasm playground
|
2019-07-10 14:43:05 -05:00 |
|
Max Brunsfeld
|
a1ed12f4f4
|
Start work on web UI command
|
2019-05-13 21:51:17 -07:00 |
|
Max Brunsfeld
|
73e4db41b0
|
Render syntax tree efficiently in docs playground
|
2019-04-30 11:55:30 -07:00 |
|
Max Brunsfeld
|
4febbc43f6
|
In docs playground, scroll tree whenever cursor moves
|
2019-04-27 17:32:07 -07:00 |
|
Max Brunsfeld
|
e39d69dfa7
|
Add a playground to the docs site
|
2019-04-26 13:36:28 -07:00 |
|
Max Brunsfeld
|
25797cad5f
|
Add favicon to docs site
|
2018-09-12 20:29:24 -07:00 |
|
Max Brunsfeld
|
9eab5a29d9
|
Make docs hamburger button partially transparent
|
2018-06-12 18:06:07 -07:00 |
|
Max Brunsfeld
|
10dcf050d6
|
Tweak docs styling, add serve-docs script
|
2018-06-12 17:58:38 -07:00 |
|
Max Brunsfeld
|
a7ffbd022f
|
Make docs page readable on mobile
|
2018-06-12 17:43:55 -07:00 |
|
Max Brunsfeld
|
d1665da21c
|
Add docs
|
2018-06-11 19:17:10 -07:00 |
|
Max Brunsfeld
|
7ad50f2731
|
Start fleshing out docs site
|
2018-06-10 14:44:33 -07:00 |
|