Add highlighting for git notes editmsg (#13885)

pull/13972/head^2
Remo Senekowitsch 2025-07-05 16:23:53 +02:00 committed by GitHub
parent 9789b27461
commit 479c3b5584
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
3 changed files with 12 additions and 0 deletions

View File

@ -78,6 +78,7 @@
| git-commit | ✓ | ✓ | | | | git-commit | ✓ | ✓ | | |
| git-config | ✓ | ✓ | | | | git-config | ✓ | ✓ | | |
| git-ignore | ✓ | | | | | git-ignore | ✓ | | | |
| git-notes | ✓ | | | |
| git-rebase | ✓ | | | | | git-rebase | ✓ | | | |
| gjs | ✓ | ✓ | ✓ | `typescript-language-server`, `vscode-eslint-language-server`, `ember-language-server` | | gjs | ✓ | ✓ | ✓ | `typescript-language-server`, `vscode-eslint-language-server`, `ember-language-server` |
| gleam | ✓ | ✓ | | `gleam` | | gleam | ✓ | ✓ | | `gleam` |

View File

@ -1868,6 +1868,16 @@ grammar = "gitcommit"
name = "gitcommit" name = "gitcommit"
source = { git = "https://github.com/gbprod/tree-sitter-gitcommit", rev = "a716678c0f00645fed1e6f1d0eb221481dbd6f6d" } source = { git = "https://github.com/gbprod/tree-sitter-gitcommit", rev = "a716678c0f00645fed1e6f1d0eb221481dbd6f6d" }
[[language]]
name = "git-notes"
scope = "git.notesmsg"
file-types = [{ glob = "NOTES_EDITMSG" }]
comment-token = "#"
indent = { tab-width = 4, unit = " " }
rulers = [73]
text-width = 72
grammar = "gitcommit"
[[language]] [[language]]
name = "diff" name = "diff"
scope = "source.diff" scope = "source.diff"

View File

@ -0,0 +1 @@
(comment) @comment