This procedure dumps the current widget tree as an edge grl file. Edge is a program that can display graphs. The output file is written to the temporary directory, and is named <ProgramName>.grl.