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.

1 files changed, 3 insertions, 2 deletions

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")]];