Open davidrg opened 2 weeks ago
Currently it appears to just render at the normal size and stretch which doesn't look nice with most fonts.
Instead we should render such characters in a larger font size. This is what PuTTY appears to do.
Currently it appears to just render at the normal size and stretch which doesn't look nice with most fonts.
Instead we should render such characters in a larger font size. This is what PuTTY appears to do.