graph drawing tool

bugfix: search highlight straddling screen lines

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