1
0
Fork 0
dotfiles/home/config/nvim/plugins/coq.fnl
Daniel Kempkens 803c5da18d
All checks were successful
Build / build-arm64-linux (push) Successful in 9m31s
Build / build-amd64-linux (push) Successful in 12m12s
nvim: Switch from cmp to coq, dropping many other plugins
2023-10-03 22:31:16 +02:00

33 lines
1.6 KiB
Fennel

(let [g vim.g]
(set g.coq_settings
{:auto_start :shut-up
:display {:preview {:positions {:north 2 :south 3 :west 4 :east 1}}
:pum {:kind_context [" " ""]}
:icons {:mode :short
:mappings {:Text "󰉿"
:Method "󰆧"
:Function "󰊕"
:Constructor ""
:Field "󰜢"
:Variable "󰀫"
:Class "󰠱"
:Interface ""
:Module ""
:Property "󰜢"
:Unit "󰑭"
:Value "󰎠"
:Enum ""
:Keyword "󰌋"
:Snippet ""
:Color "󰏘"
:File "󰈙"
:Reference "󰈇"
:Folder "󰉋"
:EnumMember ""
:Constant "󰏿"
:Struct "󰙅"
:Event ""
:Operator "󰆕"
:TypeParameter ""}}}
:clients {:tags.enabled false :tmux.enabled false}})
(require :coq))