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

get rid of recent_mouse

It's a hack:

  • if you start selecting from below final line the start of the selection is the most recent click even if it was forever ago
  • (the crash we're currently fixing) if you start up and immediately select all then click below final line => crash. recent_mouse was never set.
  • getting rid of it breaks no tests (except the crash we're currently fixing)

Created by  Kartik K. Agaram  on June 2, 2023
GNKUD23IHHTLV6COIR4LBK36GPN2FPBGSXHOSJHRW5KKEA2ENWUAC
Change contents