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

Compare commits

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

2 Commits
5a2fb9571a ... b86b3d4fac

Author SHA1 Message Date
Gabriel Ebner
b86b3d4fac Add F* support. 2024-08-23 18:40:07 -07:00
Gabriel Ebner
05d0318fee show_line_diagnostics has been removed from nvim 2024-08-23 18:39:13 -07:00
1 changed files with 5 additions and 2 deletions
Show Stats Expand all files Collapse all files

7
vimrc
View File

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