From 7747bb47e2d053d78a905d4f95e3e04d96f8e126 Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Wed, 30 Aug 2023 09:11:18 -0700 Subject: [PATCH] Pull some changes from the work machine --- nvim/.config/nvim/init.vim | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/nvim/.config/nvim/init.vim b/nvim/.config/nvim/init.vim index 02413ae..6ca53d4 100644 --- a/nvim/.config/nvim/init.vim +++ b/nvim/.config/nvim/init.vim @@ -27,6 +27,9 @@ Plug 'derekelkins/agda-vim' Plug 'ftorres16/spice.vim' Plug 'vmware/differential-datalog', {'rtp': 'tools/vim'} Plug 'FStarLang/VimFStar', {'for': 'fstar'} +" Plug '~/Documents/software/chapel/highlight/vim' +Plug 'lorin/vim-alloy' +" Plug 'ashinkarov/nvim-agda' " Themes Plug 'arcticicestudio/nord-vim' @@ -40,6 +43,7 @@ Plug 'simrat39/symbols-outline.nvim' Plug 'folke/todo-comments.nvim' " Misc +Plug 'uga-rosa/utf8.nvim' Plug 'nvim-lua/plenary.nvim' Plug 'airblade/vim-gitgutter' Plug 'f-person/git-blame.nvim' @@ -61,6 +65,7 @@ autocmd BufNewFile,BufRead *.cir set filetype=spice " LTSpice is Spice autocmd BufRead,BufNewFile *.dl set filetype=dl " Datalog is Datalog autocmd FileType crystal setlocal shiftwidth=2 " Crystal likes 2-wide indent autocmd FileType cpp setlocal shiftwidth=2 " Chapel has two-wide indents +autocmd BufRead,BufNewFile *.ast set filetype=ast " AST files are from Chapel. " Settings for Rainbow let g:rainbow_active = 1 @@ -94,6 +99,9 @@ lua require('lspconfig').tsserver.setup{} lua require('lspconfig').elmls.setup{} lua require('lspconfig').pylsp.setup{} +" All these language servers can be used for symbols-outline +lua require("symbols-outline").setup() + " nmap K (lcn-menu) nmap M lua vim.lsp.diagnostic.show_line_diagnostics() nmap ? lua vim.lsp.buf.hover()