chiark / gitweb /
fixes etc.
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 26 Jun 2020 16:50:37 +0000 (17:50 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 26 Jun 2020 16:50:37 +0000 (17:50 +0100)
src/bin/server.rs

index 5a3c48191ad452e8e5a72fa1e854390526d5e1de..6fa03697a4385076c268302ed0b74d0585b43984 100644 (file)
@@ -77,7 +77,20 @@ fn session(form : Json<SessionForm>) -> Result<Template,RE> {
         id : VisiblePieceId(id.as_ffi()),
         face : pr.face,
       };
-      defs.push(pr.p.svg_defs(&pri));
+      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>
+                        "##,
+                        pri.id_piece(),
+                        pr.p.svg_select(&pri)));
+      defs.push(pr.p.svg_x_defs(&pri));
     }
 
     SessionRenderContext {