7 ms·
Ah interesting, different fonts is something I didn't consider and something that could likely only be done by the terminal itself!
by TkTech 10y ago
Ah interesting, different fonts is something I didn't consider and something that could likely only be done by the terminal itself!
- simcop2387 10y agoYea it's not something I do commonly but sometimes my coding/terminal font of choice (FiraCode) just doesn't work if I'm say looking at a database dump or some other output and I've got to switch it.