graph drawing tool

bugfix in source editor

We now need to explicitly select the directory we want to read from.

Created by  Kartik K. Agaram  on August 31, 2023
O5TGYJZQ2NDBC53BP2NDEKKKCIBSJYEIQVJRK6CQFHBPHB6GGHWAC
Change contents