Tue, 14 Jun 2005 16:56:37 +0000 hegyi Sorry, the previous commit was uncorrect. Erasing is now possible on edges, but on nodes not.