1.1 --- a/gui/graph_displayer_canvas.cc	Mon Jan 09 12:41:06 2006 +0000
     1.2 +++ b/gui/graph_displayer_canvas.cc	Tue Jan 10 15:15:57 2006 +0000
     1.3 @@ -59,9 +59,9 @@
     1.4      }
     1.5  }
     1.6  
     1.7 -void GraphDisplayerCanvas::propertyUpdate(Node node, int prop, int dummy)
     1.8 +void GraphDisplayerCanvas::propertyUpdate(Node node, int prop)
     1.9  {
    1.10 -  dummy=dummy;
    1.11 +  //dummy=dummy;
    1.12  
    1.13    std::string mapname=mytab.getActiveNodeMap(prop);
    1.14  
    1.15 @@ -106,9 +106,9 @@
    1.16  
    1.17  }
    1.18  
    1.19 -void GraphDisplayerCanvas::propertyUpdate(Edge edge, int prop, int dummy)
    1.20 +void GraphDisplayerCanvas::propertyUpdate(Edge edge, int prop)
    1.21  {
    1.22 -  dummy=dummy;
    1.23 +  //dummy=dummy;
    1.24  
    1.25    std::string mapname=mytab.getActiveEdgeMap(prop);
    1.26