gebner
/
etc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Compare commits

base: gebner:b86b3d4fac2dab7d5cbd3600157faa71c6a91eda
Branches Tags
gebner:master
..
compare: gebner:5a2fb9571a95c029d341292bf795d19016430795
Branches Tags
gebner:master

No commits in common. "b86b3d4fac2dab7d5cbd3600157faa71c6a91eda" and "5a2fb9571a95c029d341292bf795d19016430795" have entirely different histories.
b86b3d4fac ... 5a2fb9571a

1 changed files with 2 additions and 5 deletions
Show Stats Expand all files Collapse all files

7
vimrc
View File

@ -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>