A lightweight programming environment for desktop and mobile devices

bugfix: search highlight straddling screen lines

Created by  Kartik K. Agaram  on July 31, 2023
BMGHJX7GIX535K2DU7ZT4EP2O6MYS7QVING22AAJABUY53K2PLFAC
Change contents