This procedure dumps the current widget tree as an edge grl file, and automatically starts edge. Edge is a program that can display graphs.