chiark / gitweb /
ui: Move HELD_SURROUND_COLOUR into ui.rs
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 12 Jan 2021 17:59:01 +0000 (17:59 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 12 Jan 2021 20:18:59 +0000 (20:18 +0000)
otterlib wants this, and we shouldn't specify it twice

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
daemon/session.rs
src/ui.rs
templates/script.ts

index 4da015fe522a8e4e1815ae365dcfe32eca78b0a3..9b79961aa0bbbf6427a2562c47b8cb446e35974b 100644 (file)
@@ -49,6 +49,7 @@ struct SessionPieceLoadJson<'r> {
 struct DataLoad {
   last_log_ts: String,
   players: HashMap<PlayerId, DataLoadPlayer>,
+  held_surround_colour: &'static str,
 }
 
 #[derive(Deserialize)]
@@ -200,6 +201,7 @@ fn session_inner(form : Json<SessionForm>,
       load: serde_json::to_string(&DataLoad {
         players: load_players,
         last_log_ts: timestamp_abbrev.unwrap_or_default(),
+        held_surround_colour: HELD_SURROUND_COLOUR,
       }).map_err(|e| InternalError::JSONEncode(e))?,
     };
     trace!("SessionRenderContext {:?}", &src);
index d4bc0edcce1373ed8086f0dc5421e13088892bf3..00ce792a98a2a9cf15aefc2575477e266f761bf8 100644 (file)
--- a/src/ui.rs
+++ b/src/ui.rs
@@ -6,6 +6,8 @@ use crate::imports::*;
 
 pub const SVG_SCALE : f64 = 6.;
 
+pub const HELD_SURROUND_COLOUR: &str = "black";
+
 #[derive(Clone,Copy,Debug,Eq,PartialEq,Serialize,Deserialize,EnumString)]
 pub enum PresentationLayout {
   Portrait,
index 637b9c4256abed748adce108cc63db5f6f0c1e4a..1d62a3778da0d826b36c0f37436bc1ca32c0bb04 100644 (file)
@@ -91,6 +91,7 @@ interface DispatchTable<H> { [key: string]: H };
 // xxx any exceptions should have otter in them or something
 var globalinfo_elem : HTMLElement;
 var layout: Layout;
+var held_surround_colour: string;
 var general_timeout : number = 10000;
 var messages : DispatchTable<MessageHandler> = Object();
 var pieceops : DispatchTable<PieceHandler> = Object();
@@ -774,7 +775,7 @@ function redisplay_ancillaries(piece: PieceId, p: PieceInfo) {
   } 
   if (p.held != null) {
     let da = players[p.held!]!.dasharray;
-    let nelem = ancillary_node(piece, 'black');
+    let nelem = ancillary_node(piece, held_surround_colour);
     nelem.setAttributeNS(null,'stroke-dasharray',da);
     p.pelem.appendChild(nelem);
   }
@@ -1202,6 +1203,7 @@ function startup() {
   log_elem = document.getElementById("log")!;
   logscroll_elem = document.getElementById("logscroll") || log_elem;
   let dataload = JSON.parse(body.dataset.load!);
+  held_surround_colour = dataload.held_surround_colour!;
   players = dataload.players!;
   delete body.dataset.load;
   uos_node = document.getElementById("uos")!;