nvim: init.vim: Update neovim intero config
Signed-off-by: Sanchayan Maity <maitysanchayan@gmail.com>
This commit is contained in:
parent
b04d050812
commit
492216701e
1 changed files with 2 additions and 2 deletions
|
@ -208,7 +208,7 @@ augroup interoMaps
|
||||||
|
|
||||||
" Reloading (pick one)
|
" Reloading (pick one)
|
||||||
" Automatically reload on save
|
" Automatically reload on save
|
||||||
au BufWritePost *.hs InteroReload
|
" au BufWritePost *.hs InteroReload
|
||||||
" Manually save and reload
|
" Manually save and reload
|
||||||
au FileType haskell nnoremap <silent> <leader>wr :w \| :InteroReload<CR>
|
au FileType haskell nnoremap <silent> <leader>wr :w \| :InteroReload<CR>
|
||||||
|
|
||||||
|
@ -234,7 +234,7 @@ augroup END
|
||||||
let g:intero_start_immediately = 0
|
let g:intero_start_immediately = 0
|
||||||
|
|
||||||
" Enable type information on hover (when holding cursor at point for ~1 second).
|
" Enable type information on hover (when holding cursor at point for ~1 second).
|
||||||
let g:intero_type_on_hover = 1
|
let g:intero_type_on_hover = 0
|
||||||
|
|
||||||
" Change the intero window size; default is 10.
|
" Change the intero window size; default is 10.
|
||||||
let g:intero_window_size = 15
|
let g:intero_window_size = 15
|
||||||
|
|
Loading…
Reference in a new issue