A lightweight programming environment for desktop and mobile devices

fix a corner case when selecting text

The hard part here is keeping click-drag selection working (without pressing and holding shift).

Created by  Kartik K. Agaram  on June 9, 2022
RMKMPFT5L67WIFWIO4GTC6XESX6UPKNL4GPNQLOBC5CXSUZABEHQC
Change contents