gui/graph_displayer_canvas-edge.cc
changeset 1643 9285f3777553
parent 1632 93ac8c521fe5
child 1645 4a04bb856ac7
     1.1 --- a/gui/graph_displayer_canvas-edge.cc	Thu Aug 18 12:22:44 2005 +0000
     1.2 +++ b/gui/graph_displayer_canvas-edge.cc	Thu Aug 18 13:33:49 2005 +0000
     1.3 @@ -3,7 +3,7 @@
     1.4  #include <cmath>
     1.5  
     1.6  
     1.7 -int GraphDisplayerCanvas::changeEdgeWidth (std::string mapname, Graph::Edge edge)
     1.8 +int GraphDisplayerCanvas::changeEdgeWidth (std::string mapname, Edge edge)
     1.9  {
    1.10    Graph::EdgeMap<double> * actual_map;
    1.11    double min, max;
    1.12 @@ -49,7 +49,7 @@
    1.13    return 0;
    1.14  };
    1.15  
    1.16 -int GraphDisplayerCanvas::changeEdgeColor (std::string mapname, Graph::Edge edge)
    1.17 +int GraphDisplayerCanvas::changeEdgeColor (std::string mapname, Edge edge)
    1.18  {  
    1.19  
    1.20    //function maps the range of the maximum and
    1.21 @@ -116,7 +116,7 @@
    1.22    return 0;
    1.23  };
    1.24  
    1.25 -int GraphDisplayerCanvas::changeEdgeText (std::string mapname, Graph::Edge edge)
    1.26 +int GraphDisplayerCanvas::changeEdgeText (std::string mapname, Edge edge)
    1.27  {
    1.28    //the number in the map will be written on the edge
    1.29    //EXCEPT when the name of the map is Default, because