The way they talk about it makes it sound like they invented the written word, but that notwithstanding the fonts actually look really nice in my opinion.

you are viewing a single comment's thread
view the rest of the comments
[–] 16 points 2 years ago (2 children)

Having different font styles depending on the context is a really nice feature. I'll definitely give it a try.

  • source
  • hideshow 4 child comments
  • [–] 13 points 2 years ago (2 children)

    It's a cool idea and the example they gave actually seemed pretty neat.

    I'd (somewhat perversely) love to see this feature tried in a terminal emulator. ANSI does actually define escape codes for switching to alternative fonts (ESC [ 10 m through ESC [ 19 m) though I don't know of any software or even term drawing library that uses it.

  • source
  • parent
  • hideshow 4 child comments
  • [–] 2 points 2 years ago

    Kitty terminal has a lot of configurations for fonts. I beleive you can get down to adjustments for specific charecters. Idk if it uses the specific technology you are suggesting. But it is explained in the kitty.conf docs.

  • source
  • parent