equal
deleted
inserted
replaced
57 { |
57 { |
58 propertyUpdate(node, i); |
58 propertyUpdate(node, i); |
59 } |
59 } |
60 } |
60 } |
61 |
61 |
62 void GraphDisplayerCanvas::propertyUpdate(Node node, int prop, int dummy) |
62 void GraphDisplayerCanvas::propertyUpdate(Node node, int prop) |
63 { |
63 { |
64 dummy=dummy; |
64 //dummy=dummy; |
65 |
65 |
66 std::string mapname=mytab.getActiveNodeMap(prop); |
66 std::string mapname=mytab.getActiveNodeMap(prop); |
67 |
67 |
68 if(mapname!="") |
68 if(mapname!="") |
69 { |
69 { |
104 } |
104 } |
105 } |
105 } |
106 |
106 |
107 } |
107 } |
108 |
108 |
109 void GraphDisplayerCanvas::propertyUpdate(Edge edge, int prop, int dummy) |
109 void GraphDisplayerCanvas::propertyUpdate(Edge edge, int prop) |
110 { |
110 { |
111 dummy=dummy; |
111 //dummy=dummy; |
112 |
112 |
113 std::string mapname=mytab.getActiveEdgeMap(prop); |
113 std::string mapname=mytab.getActiveEdgeMap(prop); |
114 |
114 |
115 if(mapname!="") |
115 if(mapname!="") |
116 { |
116 { |