From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Tue, 12 Jan 2021 18:36:17 +0000 (+0000)
Subject: otterlib: wip preview, show uos
X-Git-Tag: otter-0.3.0~67
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=e33747726c9d80249b4ed1fb1c0726af1d9b4ce5;p=otter.git

otterlib: wip preview, show uos

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

diff --git a/src/bin/otterlib.rs b/src/bin/otterlib.rs
index 98c757b9..4fddfa6f 100644
--- a/src/bin/otterlib.rs
+++ b/src/bin/otterlib.rs
@@ -140,12 +140,15 @@ fn preview(items: Vec<ItemForOutput>) {
         let mut html = Html("".into());
         pc.svg_piece(&mut html, &pri)?;
         println!("{}</svg>", html.0);
-//        
-//        println!(r#"<svg viewBox="{}"> width={} height={} {:?}"#,
-//                 &viewport, size[0], size[1], &surround);
-//        println!("SVG\n{}\n\n", html.0);
       }
       println!("</td>");
+
+      if max_uos > 0 {
+        println!(r#"<td>{}</td>"#,
+                 uos.iter()
+                 .map(|uo| Html::from_txt(uo).0)
+                 .join(" "));
+      }
     };
     println!("</tr>");
   }