Temporary results:pic.twitter.com/R8gXdxziRn
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
fwiw the complete PragmataPro performs very nicely in kitty terminal (which is superior to Terminal app by any metric)
thank you for this info!
Can you explain the problem you are trying to solve with the complete PP? I can confirm that it is very fast in Kitty, but less fast in MacVim. I just don’t know if its MacVim’s fault. I cannot turn on ligatures in MacVim either as it slows down x2. Again not sure what’s at fault
I suppose that the elevated number of characters of PP (≥9000!) is the cause of the slowdown in some applications. I can’t know app side issues with fonts but probably with this selection there will be improvements
I think Calt ligatures are essential for functional programming in editors like vim and emacs and in languages like Haskell and Idris
Thank you!
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.