graph drawing tool

bugfix: node width shouldn't be scaled by zoom

Instead, we're scaling font size by zoom.

Created by  Kartik K. Agaram  on June 22, 2023
PCM5XKH4LESPEN3HIQMHOBGPRJNGVXQ6DFI5PGMFDASKGHY2BACQC
Change contents