aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorkatherine <ageha@airen-no-jikken.icu>2022-05-02 01:33:25 -0700
committerkatherine <ageha@airen-no-jikken.icu>2022-05-02 01:33:25 -0700
commitb7b33a847f1d4438b1343eb301612107ae4896f1 (patch)
tree4e8b96f092b9e0a3e2b7dd7bf0d27d4fe6c1083b
parent655f63845ee7af273869c4b116ae8e312a9c1c69 (diff)
downloaddotfiles-b7b33a847f1d4438b1343eb301612107ae4896f1.tar.gz
vim coq
-rw-r--r--.vimrc14
1 files changed, 12 insertions, 2 deletions
diff --git a/.vimrc b/.vimrc
index b1bdb02..525be82 100644
--- a/.vimrc
+++ b/.vimrc
@@ -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