Progress on smaller and more colorful fonts

Posted Nov 24, 2013 15:01 UTC (Sun) by JanC_ (guest, #34940)
In reply to: Progress on smaller and more colorful fonts by robbe
Parent article: Progress on smaller and more colorful fonts

It's probably more a problem of typing it than of displaying/storing it (not all platforms have good support for entering special characters on keyboards that have no "native" support for them).

Also, most programming languages still don't support non-ASCII identifiers, so in practice they would have to replace the special characters anyway...