From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 13 Feb 2021 20:27:43 +0000 (+0000)
Subject: make dasharray return Html
X-Git-Tag: otter-0.4.0~510
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=af3acaec9b7ce184d0f5a9ade654a713a6d8be16;p=otter.git

make dasharray return Html

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

diff --git a/src/bin/otterlib.rs b/src/bin/otterlib.rs
index 2d3d3361..f727c189 100644
--- a/src/bin/otterlib.rs
+++ b/src/bin/otterlib.rs
@@ -172,7 +172,7 @@ fn preview(items: Vec<ItemForOutput>) {
           let dasharray = player_num_dasharray(1.try_into().unwrap());
           print!(r#"<path d="{}" stroke-dasharray="{}"
                           fill="none" stroke="{}" />"#,
-                 &surround.0, &dasharray, HELD_SURROUND_COLOUR);
+                 &surround.0, &dasharray.0, HELD_SURROUND_COLOUR);
         }
         let mut html = Html("".into());
         pc.svg_piece(&mut html, &pri)?;
diff --git a/src/ui.rs b/src/ui.rs
index 8d9ed358..570d054c 100644
--- a/src/ui.rs
+++ b/src/ui.rs
@@ -16,7 +16,7 @@ pub enum PresentationLayout {
 
 type PL = PresentationLayout;
 
-pub fn player_num_dasharray(player_num: NonZeroUsize) -> String {
+pub fn player_num_dasharray(player_num: NonZeroUsize) -> Html {
   let n: usize = player_num.into();
   let mut dasharray = String::with_capacity(n*3 + 4);
   for dash in iter::once("3").chain(
@@ -26,10 +26,10 @@ pub fn player_num_dasharray(player_num: NonZeroUsize) -> String {
   }
   let spc = dasharray.pop();
   assert_eq!(spc,Some(' '));
-  dasharray
+  Html(dasharray)
 }
 
-pub fn player_dasharray(gplayers: &GPlayers, player: PlayerId) -> String {
+pub fn player_dasharray(gplayers: &GPlayers, player: PlayerId) -> Html {
   let kd: slotmap::KeyData = player.into();
   let n: usize = kd.get_idx_version().0.try_into().unwrap();
   let n: NonZeroUsize = n.try_into()
diff --git a/src/updates.rs b/src/updates.rs
index 43235bfe..3c990022 100644
--- a/src/updates.rs
+++ b/src/updates.rs
@@ -87,7 +87,7 @@ pub struct PreparedPieceState {
 
 #[derive(Serialize,Debug)]
 pub struct DataLoadPlayer {
-  dasharray: String,
+  dasharray: Html,
 }
 
 // ---------- piece updates ----------
@@ -271,7 +271,7 @@ impl PreparedUpdateEntry {
         data: DataLoadPlayer { dasharray },
         new_info_pane,
       } => {
-        dasharray.as_bytes().len() + 100
+        dasharray.0.as_bytes().len() + 100
           + new_info_pane.0.len()
       }
       RemovePlayer { player:_, new_info_pane } => {