From eb7133149c02ea6ecb7c2570cbe4e3b4a10b8bd9 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Fri, 26 Jun 2020 17:50:37 +0100 Subject: [PATCH] fixes etc. --- src/bin/server.rs | 15 ++++++++++++++- 1 file changed, 14 insertions(+), 1 deletion(-) diff --git a/src/bin/server.rs b/src/bin/server.rs index 5a3c4819..6fa03697 100644 --- a/src/bin/server.rs +++ b/src/bin/server.rs @@ -77,7 +77,20 @@ fn session(form : Json) -> Result { id : VisiblePieceId(id.as_ffi()), face : pr.face, }; - defs.push(pr.p.svg_defs(&pri)); + defs.push(format!(r##"{}"##, + pri.id_piece(), + pr.p.svg_piece(&pri))); + defs.push(format!(r##" + + {} + + "##, + pri.id_piece(), + pr.p.svg_select(&pri))); + defs.push(pr.p.svg_x_defs(&pri)); } SessionRenderContext { -- 2.30.2