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

update vimrc

Browse Source
This commit is contained in:
Gabriel Ebner 2020-07-14 13:15:57 +02:00
parent 0bac3c5fb7
commit 408943f657
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
vimrc
View File

@ -108,6 +108,8 @@ Plug '~/dgapt', { 'rtp': 'vim' }
Plug 'leanprover/lean.vim'
" Plug 'neoclide/coc.nvim', {'do': { -> coc#util#install()}}
" Plug 'autozimu/LanguageClient-neovim', { 'do': ':UpdateRemotePlugins' }
Plug 'Shougo/echodoc.vim'
Plug 'rickhowe/diffchar.vim'
@ -153,6 +155,7 @@ au BufNewFile,BufRead *.tptp setl ft=tptp
au BufNewFile,BufRead *.smt2 setl ft=smt
au BufReadCmd *.epub call zip#Browse(expand("<amatch>"))
au BufReadCmd *.FCStd call zip#Browse(expand("<amatch>"))
au FileType scala nnoremap <silent> <c-]> :EnDeclaration<cr>