libs-code/tree-sitter.tree-sitter
1
0
Fork 0
mirror of https://github.com/tree-sitter/tree-sitter.git synced 2026-09-10 15:36:29 -04:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity
3103 commits 19 branches 114 tags 51 MiB
Commit graph

21 commits

Author SHA1 Message Date
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