3 ms·

Please, all deities, nobody use that ST ligature. It's cute for about a millisecond and then it's annoying.

• mgubi 7y ago
  I checked just now and indeed that ligature has been supressed in the recent versions of TeXmacs. :)
  • ncmncm 7y ago
    It was never the default. You don't get them unless you specifically ask for them.
    • mgubi 7y ago
      No,in a previous version of TeXmacs they were active by default, we changed that now.