Thu, 28 Jul 2005 17:01:40 +0000Tooltip should be turn up on CreateNode tool. gui
hegyi [Thu, 28 Jul 2005 17:01:40 +0000] rev 50
Tooltip should be turn up on CreateNode tool.

Thu, 28 Jul 2005 15:54:53 +0000There is no need for these furthermore. gui
hegyi [Thu, 28 Jul 2005 15:54:53 +0000] rev 49
There is no need for these furthermore.

Thu, 28 Jul 2005 15:54:00 +0000cout->cerr, node radius and edge width is now scaled, maps are editable by clicking on texts. gui
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.