1.1 --- a/graph_displayer_canvas-node.cc Tue Feb 20 15:07:03 2007 +0000
1.2 +++ b/graph_displayer_canvas-node.cc Tue Feb 20 15:08:30 2007 +0000
1.3 @@ -291,7 +291,7 @@
1.4 std::ostringstream ostr;
1.5 ostr << number;
1.6
1.7 - nodetextmap[i]->property_text().set_value(ostr.str());
1.8 + // nodetextmap[i]->property_text().set_value(ostr.str());
1.9 }
1.10 }
1.11 else
1.12 @@ -301,7 +301,7 @@
1.13 std::ostringstream ostr;
1.14 ostr << number;
1.15
1.16 - nodetextmap[node]->property_text().set_value(ostr.str());
1.17 + // nodetextmap[node]->property_text().set_value(ostr.str());
1.18 }
1.19 return 0;
1.20 };
1.21 @@ -319,12 +319,12 @@
1.22 for (NodeIt i((mytab.mapstorage).graph); i!=INVALID; ++i)
1.23 {
1.24 nodemap_to_edit="";
1.25 - nodetextmap[i]->property_text().set_value("");
1.26 + // nodetextmap[i]->property_text().set_value("");
1.27 }
1.28 }
1.29 else
1.30 {
1.31 - nodetextmap[node]->property_text().set_value("");
1.32 + // nodetextmap[node]->property_text().set_value("");
1.33 }
1.34 return 0;
1.35 };