From ed4f2a883e69af41e5b2bd55c5251ee190b16f94 Mon Sep 17 00:00:00 2001 From: Tobias Berger Date: Wed, 9 Nov 2022 12:55:04 +0100 Subject: [PATCH] Increase font size because the Julia-Mono font is small, and also I'm blind --- src/main.rs | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/src/main.rs b/src/main.rs index 0ed583a..784dba3 100644 --- a/src/main.rs +++ b/src/main.rs @@ -124,6 +124,13 @@ fn generate_graphics( .expect("Failed to get 'Proportional' FontFamily") .push(FONT_NAME.to_owned()); ctx.set_fonts(fonts); + + let mut style = (*ctx.style()).clone(); + for style in style.text_styles.iter_mut() { + style.1.size *= 16.0 / 12.0; + } + ctx.set_style(style); + debug!("Fonts: {:#?}", &ctx.style().text_styles); } let world = world_manager.world();