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. gui
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...) gui
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). gui
Mon, 13 Jun 2005 10:30:08 +0000 hegyi Edge creation is available. gui
Fri, 10 Jun 2005 12:11:50 +0000 hegyi Sorry, forgot to commit two new files. gui
Fri, 10 Jun 2005 11:58:03 +0000 hegyi Hopefully, node creation works well, after a small structural consideration. gui
Mon, 06 Jun 2005 17:01:12 +0000 hegyi Maps are now selectable through ComboBoxes, and Escape makes MapWin disappeared. gui