Fri, 06 Jan 2006 14:44:04 +0000Set arrow coordinates when creating a new edge.
ladanyi [Fri, 06 Jan 2006 14:44:04 +0000] rev 1883
Set arrow coordinates when creating a new edge.

Fri, 06 Jan 2006 14:36:46 +0000MapSelector has become a standalone class.
hegyi [Fri, 06 Jan 2006 14:36:46 +0000] rev 1882
MapSelector has become a standalone class.

Fri, 06 Jan 2006 13:58:49 +0000Result of KruskalGUIAlgo is refreshed if displayed, but no more setin a forced way.
hegyi [Fri, 06 Jan 2006 13:58:49 +0000] rev 1881
Result of KruskalGUIAlgo is refreshed if displayed, but no more setin a forced way.