coq_nvim icon indicating copy to clipboard operation
coq_nvim copied to clipboard

Published 20 hours ago • verified publisher icon ms-jpq

Nerd font >= 3.0.0 drops Material Design Icons (used for variables, functions, etc.)

Open 515k4 opened this issue 1 year ago • 2 comments

See https://www.nerdfonts.com/releases 3.0.0 release notes for explanation. Material Design Icons were dropped and lots of icons are now missing.

coqicons

515k4 avatar May 22 '23 19:05 515k4

Would it be possible to change the symbols manually in a file?

3rfaan avatar Jun 02 '23 23:06 3rfaan

same issue Screenshot 2023-07-21 at 4 16 03 PM

xiaonengmiao avatar Jul 21 '23 08:07 xiaonengmiao