gui/gui_writer.h
Sat, 17 Dec 2005 20:55:41 +0000 Save and load the coordinates of the arrows on the edges.