From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 5 Jul 2021 19:53:28 +0000 (+0100)
Subject: deck: Make count use a monospaced font
X-Git-Tag: otter-0.7.2~258
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=c9aa30a021cc56b65220c38662e01aacbacb931d;p=otter.git

deck: Make count use a monospaced font

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---

diff --git a/src/deck.rs b/src/deck.rs
index 5e3101c6..f2b7856f 100644
--- a/src/deck.rs
+++ b/src/deck.rs
@@ -106,8 +106,9 @@ impl PieceTrait for Deck {
       then {
         label.svg(f,
                   &self.shape.outline,
-                  self.shape.edges.get(0), 
-                  &count.to_html())?;
+                  self.shape.edges.get(0),
+                  &hformat!(r#"<tspan {}>{}</tspan>"#,
+                            monospace_font(5), count))?;
       }
     }
   }