graph drawing tool

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