Fork of lines.love for live programming; useful starting point for further forks

answered an open question

The default font seems somehow different than the font created by newFont with just a font size.

Created by  Kartik K. Agaram  on June 14, 2022
FT3ZSQBCI3N6X37CHF57LRBZNMO5GK3ZOHMTPCZULPQ76CA354SAC
In channels
main
Change contents