diff options
| author | Lauri Gustafsson | 2022-04-02 14:00:05 +0000 |
|---|---|---|
| committer | GitHub | 2022-04-02 14:00:05 +0000 |
| commit | e4561d1ddede65baaaf04adf5baa0edbaf8f8028 (patch) | |
| tree | ce768955cf856658c424f11bb61fe9bc4a43c01d /languages.toml | |
| parent | 36d1df71fc99b0f2e3b594f9d7d0f07ef829b9fc (diff) | |
Add texlab language server for latex (#1922)
Diffstat (limited to 'languages.toml')
| -rw-r--r-- | languages.toml | 1 |
1 files changed, 1 insertions, 0 deletions
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]] |