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

clearing starty is redundant in mutations

We'll end up calling Text.redraw_all anyway, which will clear starty and much more besides.

We'll still conservatively continue clearing starty in a few places where there's a possibility that Text.redraw_all may not be called. This change is riskier than most.

Created by  akkartik  on December 3, 2023
MUDXM3JIDUTC7EWJPFBP5EV67FFZUU2YS6FJI43ERZJT5WDPHH5AC
Change contents