From: Ian Jackson Date: Fri, 26 Jun 2020 16:50:37 +0000 (+0100) Subject: fixes etc. X-Git-Tag: otter-0.2.0~1555 X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=eb7133149c02ea6ecb7c2570cbe4e3b4a10b8bd9;p=otter.git fixes etc. --- 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 {