Customize the Swing GUI
T.B.D.
Drawing navigation graphs
The GUI includes a simple effect to draw the navigation graph of an
ImageEnvironmentWithGraph
in the gui is available as well.
Its name is DrawNavigationGraph,
you can just select it from the available effects in the gui to have your graph drawn.