graph drawing tool

resize handler seems to be working

Created by  Kartik K. Agaram  on April 18, 2023
3GK7GC2WTTU4K76MD7DN6W4UPSFTYSEJMTGG4P7ADEHLH6K3P4IQC
Change contents