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. | changeset | files |
Tue, 14 Jun 2005 15:58:12 +0000 | hegyi | Erasing from graph would be possible, if erasing from graph would be possible... (Afternoon has become timewasting...) | changeset | files |
Mon, 13 Jun 2005 19:49:33 +0000 | hegyi | Known bugs are eliminated from gui, and new ones are created by changing tool selectors to special radiobuttons, and by adding edgecreation-canceller function (right-click on any group element). | changeset | files |