From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 13 Feb 2021 01:13:07 +0000 (+0000)
Subject: simple pieces: edge, make clickable have minimum width
X-Git-Tag: otter-0.4.0~528
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=29c44c1eef642fcbaddb24c989d12afded49f98d;p=otter.git

simple pieces: edge, make clickable have minimum width

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

diff --git a/src/pieces.rs b/src/pieces.rs
index 51695760..a749ee09 100644
--- a/src/pieces.rs
+++ b/src/pieces.rs
@@ -129,6 +129,12 @@ impl Piece for SimpleShape {
         otherwise.to_owned()
       }
     };
+    if self.colours.len() == 0 {
+      write!(&mut f.0,
+             r##"<path fill="none" \
+                  stroke-width="2" stroke="transparent" d="{}"/>"##,
+             &self.path.0)?;
+    }
     write!(&mut f.0, r##"<path {} {} d="{}"/>"##,
            ef(&self.colours, "fill", r##"fill="none""##),
            ef(&self.edges, r##"stroke-width="0.2" stroke"##, ""),