Breaking change :: [ Function] in your popup menu -> Please READ

[ms-jpq]

If you see

---

Solution

Either set let g:coq_settings = { 'display.icons.mode': 'none' } to disable icons, or install a supported font.

[ms-jpq]

I added Icon support, and decided to try my luck turning it on by default.

🐸

---

If you turn off the icon support, it goes back to same as before, and if you install the fonts:

[beauwilliams]

I am seeing this issue here. We need a space after the icons for when no subtext to it's not juxtaposed next to the ]

[ms-jpq]

EDITED:

---

coq_settings.display.icons.spacing

How many of padding to use after icon.

Increase this if your icons are too close to each other.

default:

1

[beauwilliams]

@beauwilliams please set coq_settings.display.pum.kind_context to [" [", " ]"], or whatever you want it to be.

I think like for different fonts, the spacing is different? so its probably easier to adjust the brackets than all the icons.

edit: the default is [" [", "]"], missing the space

Sure thing, thanks for the help and I can add that in no drama.

Should we change the default however?

[ms-jpq]

wait i had a brain fart, sorry what i said cannot fix it for you, its in the wrong direction, derp.

ill make a pr to fix it for u

[ms-jpq]

#198

---

coq_settings.display.icons.spacing

How many of padding to use after icon.

Increase this if your icons are too close to each other.

default:

1

[beauwilliams]

Good news is the new option works. But it seems I still have the same issue for the BUF type

[beauwilliams]

If we don't ever have anything but text for the buffer completion type. We could just have it say [aA Text] like the lsp completion at the top there, or add a space when nothing is returned next to the icon

[ms-jpq]

sorry please try it now.

[beauwilliams]

yep its fixed with latest pull if I set spacing to 2 👍

[elkowar]

is it possible to only show the icon, and hide the text description? the redundancy is kind of unnecessary

[ms-jpq]

yes, please see https://github.com/ms-jpq/coq_nvim/blob/coq/docs/DISPLAY.md

[ms-jpq]

coq_settings.display.icons.mode -> short

[matheusAMDS]

I'm trying the option let g:coq_settings = { 'display.icons.mode': 'none' } but it's not working.

[mkubasz]

@ms-jpq Short is buggy too. I'm using nerd fonts.

[mkubasz]

This is my solution
display = { icons = { 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 = "" } } }

[maxwelljens]

let g:coq_settings = { 'display.icons.mode': 'none' } seems to have no effect for me either. I still see icons. I call it before calling require('coq'). The plugin otherwise works perfectly.

Edit: I gathered from #292 that adding the following to the Lua configuration, before require('coq'), works:

vim.g.coq_settings = {
  display = { icons = { mode = 'none'} }
}

I no longer see icons.