Open justarandomgeek opened 4 years ago
It’s a good idea, but also a lot of work. Which ones do you find most useful?
I guess it's actually difficult to say which are most useful when no fonts support them. IMO the box-drawing chars anyways + 7segment digits
Do you plan to add these characters? They seem like they're pretty in-line with the powerline private use characters and generally useful for terminal/editor fonts!
https://blog.emojipedia.org/whats-new-in-unicode-13-0/
https://www.unicode.org/charts/PDF/Unicode-13.0/U130-1FB00.pdf