|
|
|
@ -45,6 +45,7 @@ kotlin-language-server = { command = "kotlin-language-server" }
|
|
|
|
|
lean = { command = "lean", args = [ "--server" ] }
|
|
|
|
|
ltex-ls = { command = "ltex-ls" }
|
|
|
|
|
markdoc-ls = { command = "markdoc-ls", args = ["--stdio"] }
|
|
|
|
|
markdown-oxide = { command = "markdown-oxide" }
|
|
|
|
|
marksman = { command = "marksman", args = ["server"] }
|
|
|
|
|
metals = { command = "metals", config = { "isHttpEnabled" = true } }
|
|
|
|
|
mint = { command = "mint", args = ["ls"] }
|
|
|
|
@ -1440,7 +1441,7 @@ scope = "source.md"
|
|
|
|
|
injection-regex = "md|markdown"
|
|
|
|
|
file-types = ["md", "markdown", "mkd", "mdwn", "mdown", "markdn", "mdtxt", "mdtext", "workbook", { glob = "PULLREQ_EDITMSG" }]
|
|
|
|
|
roots = [".marksman.toml"]
|
|
|
|
|
language-servers = [ "marksman" ]
|
|
|
|
|
language-servers = [ "marksman", "markdown-oxide" ]
|
|
|
|
|
indent = { tab-width = 2, unit = " " }
|
|
|
|
|
block-comment-tokens = { start = "<!--", end = "-->" }
|
|
|
|
|
|
|
|
|
|