Closed toastal closed 2 days ago
The character picker has always had nerd font symbols in it, adding a builtin nerd font doesn't change anything except that now those matches actually render the symbols instead of squares. That has no connection with bundling nerd fonts with kitty. If you dont want to see nerd font symbols in the unicode picker the solution would be to add an option to that picker to exclude private use unicode codepoints form the results. I'll be happy to accept a PR for that.
100% agree it / am aware; it just didn’t bother me til I actually had to look at these symbols (previously blank). An option to ignore the codepoints would indeed be good, but if you aren’t using Nerd fonts for the picker or in anything else, then it’s wasted storage to ship the Nerd font dependency.
Is your feature request related to a problem? Please describe.
I’m going to assume Nerd Fonts are now shipped to deal with the rendering inconsistencies between fonts as well as to point users down the path of not destroying fonts with patching This is a good idea. However, I do not like the concept of Nerd Fonts fundamentally on similar grounds. With the inclusion, I now have an issue with one of my favorite Kitty features: the Unicode character picker. While previously I could easily shrug off search misses with blank characters (or previously overwritten characters in Nerd Font), I now have a laundry list of symbols to visually filter thru. What this is pointing to me is that what I don’t want is any of the Nerd Font noise in my picker so I can find what I am looking for on search since I don’t use Nerd Fonts (especially not wanting to see proprietary brands/services/applications in my terminal). In addition the terminal emulator now includes ‘bloat’ if you want to call it that in the form of a font dependency (which are not small).
Describe the solution you'd like What I what I like is a configuration flag to bypass all of the Nerd Font business… no shipped font dependency, no tests on the font, no mention of its symbols in the character picker.
--no-nerd-font
or the inverse--with-nerd-font
.Describe alternatives you've considered Previously I was just ignoring the missing characters, but now I can’t.
Additional context
An example of noise searching for the “Micro sign”
Or trying to find any emoji with a “face”, you must now go past Facebook to find it