From db04cb9e6f0b4ff47d4cd187e5426eca4b652d15 Mon Sep 17 00:00:00 2001 From: Ashkan Kiani Date: Tue, 26 Nov 2019 06:18:55 -0800 Subject: Add docs and vscode names. (#53) * Add vscode name for leanls * Add vscode name for fortls * Add vscode name for solargraph * Add vscode name for ccls * Add vscode name for elmls * Update for new lsp.callbacks and add note. --- lua/nvim_lsp/leanls.lua | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'lua/nvim_lsp/leanls.lua') diff --git a/lua/nvim_lsp/leanls.lua b/lua/nvim_lsp/leanls.lua index 0f2e9618..77a045df 100644 --- a/lua/nvim_lsp/leanls.lua +++ b/lua/nvim_lsp/leanls.lua @@ -13,10 +13,11 @@ skeleton.leanls = { -- on_new_config = function(new_config) end; -- on_attach = function(client, bufnr) end; docs = { + vscode = "jroesch.lean"; description = [[ - https://github.com/leanprover/lean-client-js/tree/master/lean-language-server +https://github.com/leanprover/lean-client-js/tree/master/lean-language-server - Lean language server. +Lean language server. ]]; default_config = { root_dir = [[util.root_pattern(".git")]]; -- cgit v1.2.3-70-g09d2