graph drawing tool

Revert "deemphasize the source editor"

Now that we have decent error handling, I think we can encourage people to press ctrl+e again.

This reverts commit 4b43e9e85d985bcedd105fa9693ae751e5b6d0b6.

Created by  Kartik K. Agaram  on September 11, 2023
GX236KZGJI2WG7O6ZUSHDH2T4MESLWZM6WAC3PAPH5LH62MN6IPQC
Change contents