hegyi [Thu, 28 Jul 2005 15:54:53 +0000] rev 49
There is no need for these furthermore.
hegyi [Thu, 28 Jul 2005 15:54:00 +0000] rev 48
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 47
Redundant functions from main_win disappeared, entry is now bigger, properties refresh upon edition, edgewidth is zoomable.