graph drawing tool

document some editor constants

Created by  Kartik K. Agaram  on June 8, 2023
BZHJNMDN4GSB7UU5COPYDMCJURNWKLQK7GXDNJ7QYWMGYHZ3DYDAC
Change contents