3 ms·

I was initially thinking ... "OK, another monospace font (family), look nice", until I got to "texture healing" which really made me want to try it out. I real

I was initially thinking ... "OK, another monospace font (family), look nice", until I got to "texture healing" which really made me want to try it out. I really like the idea of using different style of font for different things, but as primarily terminal user, I don't even know which terminals support it (if any), and then we would need CLI text editors support as well. But I think it's a great idea.

threePointFive 3y ago
Theoretically, anything based on xterm should have the capability for it. ESC[<10-19>m is the escape sequence to pick font 0-9. In practice though, is a different question. I use Alacritty, but I cannot find if this is supported and trying to do it myself isn't getting any results.
- DiabloD3 3y ago
  Alacritty does not support that, afaik.
- BitFlogger 3y ago
  Texture healing requires ligatures (specifically `calt`) and Alacritty does not support ligatures.