hegyi [Thu, 28 Jul 2005 15:54:53 +0000] rev 1600
There is no need for these furthermore.
hegyi [Thu, 28 Jul 2005 15:54:00 +0000] rev 1599
cout->cerr, node radius and edge width is now scaled, maps are editable by clicking on texts.
hegyi [Thu, 28 Jul 2005 14:31:32 +0000] rev 1598
Redundant functions from main_win disappeared, entry is now bigger, properties refresh upon edition, edgewidth is zoomable.
hegyi [Wed, 27 Jul 2005 11:35:13 +0000] rev 1597
No maps with the same name can be added.