silent coq startup, base16 color update.
This commit is contained in:
parent
196f60f638
commit
d15fd20333
@ -3,7 +3,7 @@ require('base16-colorscheme').setup({
|
||||
base01 = "#1e2132",
|
||||
base02 = "#818596",
|
||||
base03 = "#6b7089",
|
||||
base04 = "#161821",
|
||||
base04 = "#c6c8d1",
|
||||
base05 = "#c6c8d1",
|
||||
base06 = "#e2a478",
|
||||
base07 = "#e9b189",
|
||||
|
@ -1,2 +1,2 @@
|
||||
vim.g.coq_settings = {auto_start = true, clients = {tabnine = {enabled = true}}}
|
||||
vim.cmd('COQnow')
|
||||
vim.cmd('COQnow -s')
|
||||
|
Loading…
Reference in New Issue
Block a user