Disable todotxt grammar for files named "todo.txt"

The file name is too common and can unintentionally conflict. Users
should manually opt in.

Fixes #10113
This commit is contained in:
Blaž Hrastnik 2024-04-04 10:35:44 +09:00
parent 88f2931153
commit 5fece0054d
No known key found for this signature in database
GPG Key ID: 1238B9C4AD889640

View File

@ -3135,7 +3135,8 @@ source = { git = "https://github.com/kylegoetz/tree-sitter-unison", rev = "1f505
[[language]]
name = "todotxt"
scope = "text.todotxt"
file-types = [{ glob = "todo.txt" }, { glob = "*.todo.txt" }, "todotxt"]
# glob = "todo.txt" is too common and can conflict regular files, define in user config if necessary
file-types = [{ glob = "*.todo.txt" }, "todotxt"]
formatter = { command = "sort" }
auto-format = true