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

Tue, 14 Jun 2005 15:58:12 +0000Erasing from graph would be possible, if erasing from graph would be possible... (Afternoon has become timewasting...) gui
hegyi [Tue, 14 Jun 2005 15:58:12 +0000] rev 13
Erasing from graph would be possible, if erasing from graph would be possible... (Afternoon has become timewasting...)