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