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

fix an animation artifact

scenario: start out zoomed out so you can see all code on the surface press c-g so the camera zooms in

Before this commit we were seeing artifacts on the right margin.

The bugfix is a little hard to see with the current representation of code in freewheeling apps:

diff 0906-survey_animation 1014-survey_animation 7c7 < minx,miny, maxx,maxy = minx-1,miny-1, maxx+1,maxx+1

> minx,miny, maxx,maxy = minx-1,miny-1, maxx+2,maxy+1 ^ ^

Unclear why we need an extra pixel of padding on the right. Maybe some rounding effect?

Created by  Kartik K. Agaram  on February 18, 2023
EKAI7FKQV6ALBAFMJFEDIVNCWRKBE7PWLWRXM3NGYARPSQO5T22QC
Change contents