diff options
Diffstat (limited to 'settings.json')
| -rw-r--r-- | settings.json | 40 |
1 files changed, 24 insertions, 16 deletions
diff --git a/settings.json b/settings.json index 822ffdb..ccb83af 100644 --- a/settings.json +++ b/settings.json @@ -143,6 +143,18 @@ ] } ], + "plaintex": [ + { + "command": "texlab", + "requires": [] + }, + { + "command": "digestif", + "requires": [ + "luarocks" + ] + } + ], "python": [ { "command": "pyls", @@ -209,6 +221,18 @@ "requires": [] } ], + "tex": [ + { + "command": "texlab", + "requires": [] + }, + { + "command": "digestif", + "requires": [ + "luarocks" + ] + } + ], "typescript": [ { "command": "typescript-language-server", @@ -240,21 +264,5 @@ "npm" ] } - ], - "plaintex": [ - { - "command": "digestif", - "requires": [ - "luarocks" - ] - } - ], - "tex": [ - { - "command": "digestif", - "requires": [ - "luarocks" - ] - } ] } |