Programming environment for editing various of my live apps without restarting them.

redo font caching

This is a do-over of parts of commits: U56NDZUI3S5XU3BXXQS62PB3TLK7A7PXDGVVUYKWECXXZGU6HXAQC 2SXF7PISBPKPGAKUN7XY2Y3OG2VGCCRH2SBZK3NY2DLJ3G6A7Y4QC

The key ideas are: if edit.update_font_settings receives a font object, it's already of the requested font_height if update_editor_box receives a font, it's already of the requested height scale(20) if B receives a font, it's already of the requested height scale(20) whether B receives a font or not, all the editors on Surface will share a single font object when it's done, and the font object will have the right size A sets the font and passes it in to all the above functions.

Created by  akkartik  on July 26, 2024
A64NXJ55FHFWVZHMSIAO6STK44Y5G7GQQH2II7UZ2F5C5IPCL4GQC
Change contents