+ r.highlightSegment=function(lineseg){
+ if (r.highlighted) map.removeLayer(r.highlighted);
+ r.highlighted=L.polyline(lineseg, ROUTING_POLYLINE_HIGHLIGHT).addTo(r.map);
+ }
+ r.unhighlightSegment=function(){
+ if (r.highlighted) map.removeLayer(r.highlighted);
+ }