Change non-ASCII font size

[BrunoKrugel]

Is your feature request related to a problem? Please describe. Some non-ascii characters are too small

Describe the solution you'd like Ability to change non-ascii characters size (have different size from ascii characters)

Additional context In other terminals, like iTerm, we can use two different font size, one for ascii characters and other for non-ascii.

[hilalsidhic]

Hi can someone assign this to me