chiark / gitweb /
move stroke-dasharray
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 5 Jul 2020 17:28:33 +0000 (18:28 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 5 Jul 2020 17:28:33 +0000 (18:28 +0100)
src/bin/server.rs
templates/script.js

index a4dcd78cd2fc1afb48467d0356dd9120519b19d7..a4a3277311a6dd8ee48047d10add347084340222 100644 (file)
@@ -92,14 +92,7 @@ fn session(form : Json<SessionForm>) -> Result<Template,OE> {
       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));
index 41e6b510683cdf2f6f26ad916620b1dfa65fd275..2e13955de1fecb831f48e1605f2fe61ca9a658b8 100644 (file)
@@ -144,6 +144,8 @@ function set_grab(uelem, piece, owner) {
   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;
 }