summaryrefslogtreecommitdiff
path: root/languages.toml
diff options
context:
space:
mode:
authorFelix Zeller2024-03-01 15:10:49 +0000
committerGitHub2024-03-01 15:10:49 +0000
commit062fb819a21a3b17baf0cded3463a2d9f3e6b4a9 (patch)
tree7027c3b4570d17a89eb4cfbebb46715212ab725c /languages.toml
parent44db25939c9361272660854878eb2fc18fcf08e8 (diff)
feat: Add markdown-oxide language server (#9758)
Diffstat (limited to 'languages.toml')
-rw-r--r--languages.toml3
1 files changed, 2 insertions, 1 deletions
diff --git a/languages.toml b/languages.toml
index a2c10d11..26f6509c 100644
--- a/languages.toml
+++ b/languages.toml
@@ -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 = "-->" }