markdown toggle language tool
This commit is contained in:
@@ -226,10 +226,19 @@
|
||||
}
|
||||
{
|
||||
name = "markdown";
|
||||
language-servers = [ "language-tool" "marksman" ];
|
||||
language-servers = [ "marksman" ];
|
||||
file-types = [ "md" "MD" ];
|
||||
scope = "text.<name>";
|
||||
}
|
||||
{
|
||||
name = "markdown-with-language-tool";
|
||||
language-servers = [ "language-tool" "marksman" ];
|
||||
scope = "text.<name>";
|
||||
injection-regex = "";
|
||||
file-types = [""];
|
||||
# blcok-comment-tokens = { start = "<!--"; end = "-->"; };
|
||||
indent = { tab-width = 2; unit = " "; };
|
||||
}
|
||||
{
|
||||
name = "python";
|
||||
language-servers = [ "pyright" "ruff" ];
|
||||
|
||||
Reference in New Issue
Block a user