defs.push(format!(r##"<g id="{}">{}</g>"##,
pri.id_piece(),
pr.p.svg_piece(&pri)));
- defs.push(format!(r##"
- <g id="{}"
- stroke="black"
- stroke-dasharray="3 1 1 1 1 1"
- fill="none">
- {}
- </g>
- "##,
+ defs.push(format!(r##"<g id="{}" stroke="black" fill="none">{}</g>"##,
pri.id_select(),
pr.p.svg_select(&pri)));
defs.push(pr.p.svg_x_defs(&pri));
pelem = piece_cleanup_grab(piece);
var nelem = document.createElementNS(svg_ns,'use');
nelem.setAttributeNS(null,'href','#select'+piece);
+ nelem.setAttributeNS(null,'stroke-dasharray',"3 1 1 1 1 1");
+
pelem.appendChild(nelem);
return pelem;
}