updated coq config

2021-11-17 14:07:50 +01:00
parent 2402ea7ea0
commit 1ab7245994
1 changed files with 1 additions and 1 deletions
--- a/init.vim
+++ b/init.vim
@@ -223,7 +223,7 @@ endfunction
 " and also gives some documentation preview.
 set completeopt=menuone,noinsert,noselect

-let g:coq_settings = {'auto_start': v:true, 'keymap.recommended': v:false, 'display.icons.mode': 'none'}
+let g:coq_settings = {'auto_start': 'shut-up', 'keymap.recommended': v:false, 'display.icons.mode': 'none'}
 lua require'coq'