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

pull font into editor

Now it adjusts the current font for itself. And it's up to the caller to adjust the current font after.

Created by  akkartik  on December 29, 2023
5XA7TKWYAWE3HDBJ477RDOALCTDCOGF73WXYVCSFZCID3KDWEM2QC
Change contents