zoom factor

2026-05-31 23:51:51 -05:00
parent 067bb9bee0
commit dc5b903741
5 changed files with 44 additions and 17 deletions
@@ -320,6 +320,8 @@ pub struct Board {
    pub portals: Vec<PortalDef>,
    /// Optional font override for this board. When `None`, the app default is used.
    pub font: Option<FontSpec>,
+    /// Integer scale factor applied to tiles when rendering this board. 1 = natural size.
+    pub zoom: u32,
    /// Named Rhai scripts available on this board: script name → source text.
    ///
    /// All script source lives here; [`ObjectDef`]s and [`Board::board_script_name`]