Increase font size because the Julia-Mono font is small, and also I'm blind

This commit is contained in:
Tobias Berger 2022-11-09 12:55:04 +01:00
parent 3e0000a649
commit ed4f2a883e
Signed by: toby
GPG key ID: 2D05EFAB764D6A88

View file

@ -124,6 +124,13 @@ fn generate_graphics(
.expect("Failed to get 'Proportional' FontFamily") .expect("Failed to get 'Proportional' FontFamily")
.push(FONT_NAME.to_owned()); .push(FONT_NAME.to_owned());
ctx.set_fonts(fonts); 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(); let world = world_manager.world();