1.1 --- a/gui/graph_displayer_canvas-edge.cc Mon Nov 21 18:12:11 2005 +0000
1.2 +++ b/gui/graph_displayer_canvas-edge.cc Tue Nov 22 10:27:25 2005 +0000
1.3 @@ -4,18 +4,17 @@
1.4
1.5 int GraphDisplayerCanvas::resetEdgeWidth (Edge edge)
1.6 {
1.7 - Graph::EdgeMap<double> * actual_map;
1.8 double min, max;
1.9
1.10 min=edge_property_defaults[E_WIDTH];
1.11 max=edge_property_defaults[E_WIDTH];
1.12 - actual_map=new Graph::EdgeMap<double>(mapstorage.graph,edge_property_defaults[E_WIDTH]);
1.13 + Graph::EdgeMap<double> actual_map(mapstorage.graph,edge_property_defaults[E_WIDTH]);
1.14
1.15 if(edge==INVALID)
1.16 {
1.17 for (EdgeIt i(mapstorage.graph); i!=INVALID; ++i)
1.18 {
1.19 - double v=fabs((*actual_map)[i]);
1.20 + double v=fabs(actual_map[i]);
1.21 int w;
1.22 if(min==max)
1.23 {
1.24 @@ -30,7 +29,7 @@
1.25 }
1.26 else
1.27 {
1.28 - int w=(int)(*actual_map)[edge];
1.29 + int w=(int)actual_map[edge];
1.30 if(w>=0)
1.31 {
1.32 edgesmap[edge]->property_width_units().set_value(w);
1.33 @@ -135,8 +134,7 @@
1.34 //function maps the range of the maximum and
1.35 //the minimum of the nodemap to the range of
1.36 //green in RGB
1.37 - Graph::EdgeMap<double> * actual_map;
1.38 - actual_map=new Graph::EdgeMap<double>(mapstorage.graph,edge_property_defaults[E_COLOR]);
1.39 + Graph::EdgeMap<double> actual_map(mapstorage.graph,edge_property_defaults[E_COLOR]);
1.40
1.41 double max, min;
1.42
1.43 @@ -147,7 +145,7 @@
1.44 {
1.45 for (EdgeIt i(mapstorage.graph); i!=INVALID; ++i)
1.46 {
1.47 - double w=(*actual_map)[i];
1.48 + double w=actual_map[i];
1.49
1.50 Gdk::Color color;
1.51 if(max!=min)
1.52 @@ -165,7 +163,7 @@
1.53 {
1.54 Gdk::Color color;
1.55
1.56 - double w=(*actual_map)[edge];
1.57 + double w=actual_map[edge];
1.58
1.59 if(max!=min)
1.60 {