From e4561d1ddede65baaaf04adf5baa0edbaf8f8028 Mon Sep 17 00:00:00 2001 From: Lauri Gustafsson Date: Sat, 2 Apr 2022 17:00:05 +0300 Subject: [PATCH] Add texlab language server for latex (#1922) --- book/src/generated/lang-support.md | 2 +- languages.toml | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/book/src/generated/lang-support.md b/book/src/generated/lang-support.md index 8c1a78c8..694d1d12 100644 --- a/book/src/generated/lang-support.md +++ b/book/src/generated/lang-support.md @@ -31,7 +31,7 @@ | jsx | ✓ | | ✓ | `typescript-language-server` | | julia | ✓ | | | `julia` | | kotlin | ✓ | | | `kotlin-language-server` | -| latex | ✓ | | | | +| latex | ✓ | | | `texlab` | | lean | ✓ | | | `lean` | | ledger | ✓ | | | | | llvm | ✓ | ✓ | ✓ | | diff --git a/languages.toml b/languages.toml index d12093a4..0220c33b 100644 --- a/languages.toml +++ b/languages.toml @@ -447,6 +447,7 @@ injection-regex = "tex" file-types = ["tex"] roots = [] comment-token = "%" +language-server = { command = "texlab" } indent = { tab-width = 4, unit = "\t" } [[grammar]]