From 5f0740c41d91f7d3b2c825d930fd97a8a83ce94c Mon Sep 17 00:00:00 2001 From: Jonni Liljamo Date: Thu, 9 Feb 2023 12:04:27 +0200 Subject: [PATCH] feat(sdbclient): make text in play menu larger --- sdbclient/src/plugins/menu/play/ui.rs | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) diff --git a/sdbclient/src/plugins/menu/play/ui.rs b/sdbclient/src/plugins/menu/play/ui.rs index 7eb747a..bc79c35 100644 --- a/sdbclient/src/plugins/menu/play/ui.rs +++ b/sdbclient/src/plugins/menu/play/ui.rs @@ -23,11 +23,22 @@ pub(super) fn show( mut rtdmenu: ResMut, mut creategame_ev_w: EventWriter, ) { - egui::Window::new(rtdmenu.play_menu_ui_state.display()) + egui::Window::new(egui::RichText::new(rtdmenu.play_menu_ui_state.display()).size(42.)) .resizable(false) .collapsible(false) .anchor(egui::Align2::CENTER_CENTER, egui::Vec2::ZERO) .show(egui_context.ctx_mut(), |ui| { + // Override egui style for this scope. + let mut egui_style = (*ui.style_mut()).clone(); + egui_style.text_styles = [ + (egui::TextStyle::Heading, egui::FontId::new(30.0, egui::FontFamily::Proportional)), + (egui::TextStyle::Body, egui::FontId::new(18.0, egui::FontFamily::Proportional)), + (egui::TextStyle::Monospace, egui::FontId::new(14.0, egui::FontFamily::Proportional)), + (egui::TextStyle::Button, egui::FontId::new(32.0, egui::FontFamily::Proportional)), + (egui::TextStyle::Small, egui::FontId::new(10.0, egui::FontFamily::Proportional)), + ].into(); + ui.set_style(egui_style); + match rtdmenu.play_menu_ui_state { PlayMenuUIState::Main => { ui.vertical_centered(|ui| { -- 2.44.1