From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 11 Jan 2021 22:05:20 +0000 (+0000)
Subject: otterlib: wip preview
X-Git-Tag: otter-0.3.0~80
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=d819e1ffff5949684d8255a6ad95e8a3f771ad81;p=otter.git

otterlib: wip preview

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

diff --git a/src/bin/otterlib.rs b/src/bin/otterlib.rs
index 8e17cca1..d0b22285 100644
--- a/src/bin/otterlib.rs
+++ b/src/bin/otterlib.rs
@@ -67,18 +67,21 @@ fn preview(items: Vec<ItemForOutput>) {
           .collect::<Vec<_>>();
         for xy in &mut bbox[0] { *xy -= BORDER }
         for xy in &mut bbox[1] { *xy += BORDER }
-        let viewport = bbox
+        let size = izip!(&bbox[0], &bbox[1])
+          .map(|(min,max)| max-min)
+          .collect::<Vec<_>>();
+        let viewport =
+          [bbox[0].clone(), size.clone()]
           .iter().cloned()
           .flatten()
           .map(|c| c.to_string())
           .join(" ");
-        let size = izip!(&bbox[0], &bbox[1])
-          .map(|(min,max)| (max-min) * SVG_SCALE)
+        let wh = size.iter().map(|&s| s * SVG_SCALE)
           .collect::<Vec<_>>();
         let surround = pc.surround_path(&pri);
         print!(r#"<svg xmlns="http://www.w3.org/2000/svg"
-                       viewBox="{}"> width={} height={}>"#,
-               &viewport, size[0], size[1]);
+                       viewBox="{}" width={} height={}>"#,
+               &viewport, wh[0], wh[1]);
         let mut html = Html("".into());
         pc.svg_piece(&mut html, &pri)?;
         println!("{}</svg>", html.0);