diff options
| author | Michael Davis | 2021-12-29 15:31:23 +0000 |
|---|---|---|
| committer | GitHub | 2021-12-29 15:31:23 +0000 |
| commit | bcf3808e9763bfe1bbf70f6053f890c80639d7c9 (patch) | |
| tree | 638a8c46ccdcd65de529b1f0a5c146fa7d355313 /helix-syntax/languages/tree-sitter-agda | |
| parent | 49444f9c0569a070ffd3c82cee6146656a0ac63c (diff) | |
Add tree-sitter-git-diff (#1373)
* add submodule on tree-sitter-git-diff
* add git-diff highlights
* inject git-diff into git-commit
* update tree-sitter-git-commit with fix for bad diff case
* add git-diff to language support docs
* include-children in diff injections
This ensures that children nodes of $.message are included in the
injection, such as $.user or issue/pr numbers. Without this change,
diffs containing '#' or '@' characters can trip up the injection and
be parsed separately.
See https://github.com/helix-editor/helix/pull/1373#issuecomment-1001215629
* set diff language's scope as source.diff
Diffstat (limited to 'helix-syntax/languages/tree-sitter-agda')
0 files changed, 0 insertions, 0 deletions