From b29026349b5ce0cca00e37403bf5f4a027955ae6 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Tue, 12 Jan 2021 18:30:47 +0000
Subject: [PATCH] otterlib: wip preview, show surround

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 src/bin/otterlib.rs | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/src/bin/otterlib.rs b/src/bin/otterlib.rs
index e3b3da1b..98c757b9 100644
--- a/src/bin/otterlib.rs
+++ b/src/bin/otterlib.rs
@@ -127,13 +127,19 @@ fn preview(items: Vec<ItemForOutput>) {
           .join(" ");
         let wh = size.iter().map(|&s| s * SVG_SCALE)
           .collect::<Vec<_>>();
-        let surround = pc.surround_path(&pri);
+        let surround = pc.surround_path(&pri)?;
         print!(r#"<svg xmlns="http://www.w3.org/2000/svg"
                        viewBox="{}" width={} height={}>"#,
                &viewport, wh[0], wh[1]);
+        if inseveral == 1 {
+          let dasharray = player_dasharray(1.try_into().unwrap());
+          print!(r#"<path d="{}" stroke-dasharray="{}"
+                          fill="none" stroke="{}" />"#,
+                 &surround.0, &dasharray, HELD_SURROUND_COLOUR);
+        }
         let mut html = Html("".into());
         pc.svg_piece(&mut html, &pri)?;
-          println!("{}</svg>", html.0);
+        println!("{}</svg>", html.0);
 //        
 //        println!(r#"<svg viewBox="{}"> width={} height={} {:?}"#,
 //                 &viewport, size[0], size[1], &surround);
-- 
2.30.2