coq.thirdparty
coq.thirdparty copied to clipboard
Module lua sources for `coq.nvim`, first & third party
Is this the design? It seems like it would be better to disable the copilot completions or something? I just want to make sure I understand how this is supposed...
Currently the figlet source picks a random font from the font directory. I don't like this as personally like all my banners to have the same font. These changes add...
Given that you are currently reserving the ability to fearlessly refactor, this isn't something you can want to do, it's just something that you do.
dap.omnifunc is deprecated. Use require('dap.repl').omnifunc instead.
Currently if cowsay/figlet aren't in the path, the lambdas for cows/fonts return nil and the scripts error out with: [...]/coq.thirdparty/lua/coq_3p/cow/init.lua:64: attempt to get length of upvalue 'cows' (a nil value)...
Hi, I just discovered modding and nvim at the same time. So I lack a lot of notion so my question may seem stupid. I've installed coq and third party...
Hello, I'm using lazyvim and copilot/codium does not at all and doesn't show in the menus. here's my config: ```lua { 'ms-jpq/coq_nvim', branch = 'coq', event = 'InsertEnter', opt =...