New lean.nvim features.

vimrc

@@ -203,10 +203,10 @@ lua <<EOF
   require('lean').setup{
     abbreviations = {
       extras = {
-        ['.'] = '·',
       },
       builtin = true,
     },
+    mappings = true,
     -- treesitter = {},
     lsp = {
       on_attach = function(client, bufnr)
@@ -331,6 +331,13 @@ hi LspDiagnosticsUnderlineError gui=undercurl
 hi LspDiagnosticsUnderlineWarning gui=undercurl
 hi LspDiagnosticsUnderlineInformation gui=undercurl
 hi LspDiagnosticsUnderlineHint gui=undercurl
+hi DiagnosticDefaultError cterm=bold ctermfg=Red
+hi DiagnosticDefaultWarning cterm=bold ctermfg=Yellow
+hi DiagnosticDefaultInformation ctermfg=Blue
+hi DiagnosticUnderlineError gui=undercurl
+hi DiagnosticUnderlineWarn gui=undercurl
+hi DiagnosticUnderlineInfo gui=undercurl
+hi DiagnosticUnderlineHint gui=undercurl
 hi link SpecialChar Character
 
 hi Pmenu ctermfg=White ctermbg=235 guifg=#ffffff guibg=#101010
@@ -362,7 +369,8 @@ nnoremap ]d <cmd>lua vim.lsp.diagnostic.goto_next()<CR>
 nnoremap <space>q <cmd>lua vim.lsp.diagnostic.set_loclist()<CR>
 nnoremap <space>f <cmd>lua vim.lsp.buf.formatting()<CR>
 
-nnoremap <leader>i <Cmd>lua require('lean.infoview').toggle()<CR>
+" nnoremap <leader>i <Cmd>lua require('lean.infoview').toggle()<CR>
+au filetype lean,lean3 nnoremap <buffer> <leader>K <CMD>LeanLineDiagnostics<CR>
 
 nnoremap <c-p> <cmd>Telescope find_files<cr>
 nnoremap <leader>ff <cmd>Telescope find_files<cr>