chiark / gitweb /
break out SVG_SCALE (nfc)
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 11 Jan 2021 00:54:52 +0000 (00:54 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 11 Jan 2021 01:18:12 +0000 (01:18 +0000)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
daemon/session.rs
src/ui.rs
templates/macros.tera

index e1f989252d7620fa39833aa31d44c7ae24e1e38a..4da015fe522a8e4e1815ae365dcfe32eca78b0a3 100644 (file)
@@ -19,6 +19,7 @@ struct SessionRenderContext {
   log: Vec<SessionFormattedLogEntry>,
   sse_url_prefix: String,
   links: Html,
+  scale: f64,
 }
 
 #[derive(Debug,Serialize)]
@@ -185,17 +186,18 @@ fn session_inner(form : Json<SessionForm>,
     let src = SessionRenderContext {
       table_colour: ig.gs.table_colour.clone(),
       ctoken,
-      gen : ig.gs.gen,
+      gen: ig.gs.gen,
       log,
-      table_size : ig.gs.table_size,
+      table_size: ig.gs.table_size,
       player,
-      defs : alldefs,
+      defs: alldefs,
       uses,
-      nick : gpl.nick.clone(),
+      scale: SVG_SCALE,
+      nick: gpl.nick.clone(),
       sse_url_prefix,
       ptoken: form.ptoken.clone(),
       links: (&*ig.links).into(),
-      load : serde_json::to_string(&DataLoad {
+      load: serde_json::to_string(&DataLoad {
         players: load_players,
         last_log_ts: timestamp_abbrev.unwrap_or_default(),
       }).map_err(|e| InternalError::JSONEncode(e))?,
index 398839cafb3e7cbeccd2509ab7b5d2c759c63afe..d4bc0edcce1373ed8086f0dc5421e13088892bf3 100644 (file)
--- a/src/ui.rs
+++ b/src/ui.rs
@@ -4,6 +4,8 @@
 
 use crate::imports::*;
 
+pub const SVG_SCALE : f64 = 6.;
+
 #[derive(Clone,Copy,Debug,Eq,PartialEq,Serialize,Deserialize,EnumString)]
 pub enum PresentationLayout {
   Portrait,
index 48dfa885faa199e226ab84f0dfe941d0dd69be73..6679674f683603aa4f7cd6d5734c20f5ad387cd0 100644 (file)
@@ -53,7 +53,8 @@ Hi {{nick | escape}}
     <svg id="space"
         xmlns="http://www.w3.org/2000/svg"
         viewBox="0 0 {{ table_size[0] }} {{ table_size[1] }}"
-        width="{{ table_size[0]*6 }}" height="{{ table_size[1]*6 }}"
+        width="{{ table_size[0]*scale }}"
+        height="{{ table_size[1]*scale }}"
         >
       <rect fill="{{ table_colour }}" x="0" y="0"
            width="{{ table_size[0] }}" height="{{ table_size[1] }}"/>