gui/gui_reader.cc
Tue, 18 Apr 2006 22:59:33 +0000 id->label
Sat, 17 Dec 2005 20:55:41 +0000 Save and load the coordinates of the arrows on the edges.