diff options
Diffstat (limited to '.vimrc')
| -rw-r--r-- | .vimrc | 14 |
1 files changed, 12 insertions, 2 deletions
@@ -17,7 +17,6 @@ Plug 'vim-crystal/vim-crystal' Plug 'elixir-lang/vim-elixir' Plug 'https://git.airen-no-jikken.icu/ageha/every.vim.git' Plug 'pangloss/vim-javascript' -Plug 'MaxMEllon/vim-jsx-pretty' Plug 'JuliaEditorSupport/julia-vim' Plug 'leanprover/lean.vim' Plug 'plasticboy/vim-markdown' @@ -26,6 +25,10 @@ Plug 'rust-lang/rust.vim' Plug 'cakebaker/scss-syntax.vim' Plug 'cespare/vim-toml' +if has('python3') + Plug 'whonore/Coqtail' +endif + "FUNCTIONALITY Plug 'junegunn/vim-easy-align' @@ -232,7 +235,7 @@ fun! s:bufflist() set nomore execute "buffers" set more - elseif + else execute "buffers" endif endfun @@ -287,6 +290,7 @@ if has('autocmd') au FileType c call <SID>settings_c() au FileType coffee call <SID>settings_coffee() au FileType conf call <SID>settings_conf() + au FileType coq call <SID>settings_coq() au FileType cpp call <SID>settings_c() au FileType crystal call <SID>settings_crystal() au FileType cs call <SID>settings_c() @@ -420,6 +424,12 @@ fun! s:settings_conf() setlocal expandtab endfun +fun! s:settings_coq() + call <SID>settings_ocaml() + nnoremap <buffer> <Leader>x :$CoqToLine<CR> + nnoremap <buffer> <Leader>z :CoqToTop<CR> +endfun + fun! s:settings_crystal() call <SID>settings_script2() setlocal expandtab |