equal
deleted
inserted
replaced
116 { |
116 { |
117 for (EdgeIt i(g); i!=INVALID; ++i) |
117 for (EdgeIt i(g); i!=INVALID; ++i) |
118 { |
118 { |
119 if(mapname!="Default") |
119 if(mapname!="Default") |
120 { |
120 { |
|
121 edgemap_to_edit=mapname; |
121 double number=(*(mapstorage.edgemap_storage)[mapname])[i]; |
122 double number=(*(mapstorage.edgemap_storage)[mapname])[i]; |
122 int length=1; |
123 int length=1; |
123 //if number is smaller than one, length would be negative, or invalid |
124 //if number is smaller than one, length would be negative, or invalid |
124 if(number>=1) |
125 if(number>=1) |
125 { |
126 { |
144 |
145 |
145 edgetextmap[i]->property_text().set_value(str); |
146 edgetextmap[i]->property_text().set_value(str); |
146 } |
147 } |
147 else |
148 else |
148 { |
149 { |
|
150 edgemap_to_edit=""; |
149 edgetextmap[i]->property_text().set_value(""); |
151 edgetextmap[i]->property_text().set_value(""); |
150 } |
152 } |
151 } |
153 } |
152 |
154 |
153 } |
155 } |