barak/dotfiles
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

add coq support

Browse source
This commit is contained in:
Barak Michener 2017-09-25 10:25:16 -07:00
parent 628a3926d7
commit 414ec87733
1 changed files with 10 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

10
.vimrc
View file

@ -125,6 +125,9 @@ Plug 'jiangmiao/auto-pairs'
Plug 'rust-lang/rust.vim' Plug 'rust-lang/rust.vim'
Plug 'racer-rust/vim-racer' Plug 'racer-rust/vim-racer'
Plug 'hashivim/vim-terraform' Plug 'hashivim/vim-terraform'
Plug 'let-def/vimbufsync'
"Plug 'lucas8/coquille', {'branch': 'error_on_coq_error', 'for': 'coq'}
Plug 'whonore/coquille', {'branch': 'pathogen-bundle', 'for': 'coq'}
call plug#end() call plug#end()
@ -423,9 +426,15 @@ function! GoCoverlayToggle(forced)
let g:go_coverlay_t = "t" let g:go_coverlay_t = "t"
endif endif
endfunction endfunction
" Toggle GoCoverlay " Toggle GoCoverlay
au FileType go nmap <leader>c :GoCoverlayT<CR> au FileType go nmap <leader>c :GoCoverlayT<CR>
" Coquille
au FileType coq nmap <leader>a :CoqToCursor<CR>
au FileType coq imap <leader>a <C-O>:CoqToCursor<CR>
" Make the Quickfix window respond well to commands (for instance, q to close, " Make the Quickfix window respond well to commands (for instance, q to close,
" Enter to select, etc). In tandem with the above. " Enter to select, etc). In tandem with the above.
augroup QFixToggle augroup QFixToggle
@ -435,6 +444,7 @@ augroup QFixToggle
autocmd BufWinLeave * if exists("g:qfix_win") && expand("<abuf>") == g:qfix_win | unlet! g:qfix_win | endif autocmd BufWinLeave * if exists("g:qfix_win") && expand("<abuf>") == g:qfix_win | unlet! g:qfix_win | endif
augroup END augroup END
" Execute a command that pipes output to window. Captures output into a new, " Execute a command that pipes output to window. Captures output into a new,
" appropriately titled, buffer. " appropriately titled, buffer.
function! s:ExecuteInShellOutput(command) function! s:ExecuteInShellOutput(command)