vimrc

@@ -126,8 +126,6 @@ Plug 'nvim-lua/popup.nvim'
 Plug 'nvim-lua/plenary.nvim'
 Plug 'nvim-telescope/telescope.nvim'
 
-Plug 'gebner/VimFStar'
-
 Plug 'hashivim/vim-terraform'
 
 else
@@ -232,8 +230,6 @@ lua <<EOF
     },
   }
 
-  require'fstar'.setup{}
-
   -- require('nvim-treesitter.configs').setup{
   --   -- playground = {
   --   --   enable = true,
@@ -369,7 +365,7 @@ inoremap <silent><expr> <C-d>     compe#scroll({ 'delta': -4 })
 nnoremap gD <Cmd>lua vim.lsp.buf.declaration()<CR>
 nnoremap gd <Cmd>lua vim.lsp.buf.definition()<CR>
 nnoremap K <Cmd>lua vim.lsp.buf.hover()<CR>
-nnoremap <leader>K <cmd>lua vim.diagnostic.open_float{header = ''}<CR>
+nnoremap <leader>K <cmd>lua vim.lsp.diagnostic.show_line_diagnostics{show_header = false}<CR>
 nnoremap gi <cmd>lua vim.lsp.buf.implementation()<CR>
 nnoremap <C-k> <cmd>lua vim.lsp.buf.signature_help()<CR>
 nnoremap <space>wa <cmd>lua vim.lsp.buf.add_workspace_folder()<CR>
@@ -379,6 +375,7 @@ nnoremap <space>D <cmd>lua vim.lsp.buf.type_definition()<CR>
 nnoremap <space>rn <cmd>lua vim.lsp.buf.rename()<CR>
 nnoremap <space>ca <cmd>lua vim.lsp.buf.code_action()<CR>
 nnoremap gr <cmd>lua vim.lsp.buf.references()<CR>
+nnoremap <space>e <cmd>lua vim.lsp.diagnostic.show_line_diagnostics()<CR>
 nnoremap [d <cmd>lua vim.diagnostic.goto_prev()<CR>
 nnoremap ]d <cmd>lua vim.diagnostic.goto_next()<CR>
 nnoremap <space>q <cmd>lua vim.lsp.diagnostic.set_loclist()<CR>