1.1 --- a/graph_displayer_canvas-node.cc Thu Jul 28 14:31:32 2005 +0000
1.2 +++ b/graph_displayer_canvas-node.cc Thu Jul 28 15:54:00 2005 +0000
1.3 @@ -6,12 +6,17 @@
1.4 int GraphDisplayerCanvas::changeNodeRadius (std::string mapname, Graph::Node node)
1.5 {
1.6 Graph::NodeMap<double> * actual_map;
1.7 + double min, max;
1.8 if(mapname=="Default")
1.9 {
1.10 + min=node_property_defaults[N_RADIUS];
1.11 + max=node_property_defaults[N_RADIUS];
1.12 actual_map=new Graph::NodeMap<double>(g,node_property_defaults[N_RADIUS]);
1.13 }
1.14 else
1.15 {
1.16 + min=mapstorage.minOfNodeMap(mapname);
1.17 + max=mapstorage.maxOfNodeMap(mapname);
1.18 actual_map=(mapstorage.nodemap_storage)[mapname];
1.19 }
1.20
1.21 @@ -19,7 +24,16 @@
1.22 {
1.23 for (NodeIt i(g); i!=INVALID; ++i)
1.24 {
1.25 - int w=(int)(*actual_map)[i];
1.26 + double v=abs((*actual_map)[i]);
1.27 + int w;
1.28 + if(min==max)
1.29 + {
1.30 + w=(int)(node_property_defaults[N_RADIUS]);
1.31 + }
1.32 + else
1.33 + {
1.34 + w=(int)(MIN_NODE_RADIUS+(v-min)/(max-min)*(MAX_NODE_RADIUS-MIN_NODE_RADIUS));
1.35 + }
1.36 if(w>=0)
1.37 {
1.38 double x1, y1, x2, y2;