From b00cccb1144c958b2dad0825fa8f79d82cf8cba5 Mon Sep 17 00:00:00 2001 From: bflatastic Date: Fri, 30 Oct 2026 00:13:46 +0700 Subject: [PATCH] #1547: name the grid styles in a table, keeping the Preferences section's complexity low --- crates/ui-egui/src/canvas/board_bar.rs | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/crates/ui-egui/src/canvas/board_bar.rs b/crates/ui-egui/src/canvas/board_bar.rs index d7a03e0b..8a33538c 100644 --- a/crates/ui-egui/src/canvas/board_bar.rs +++ b/crates/ui-egui/src/canvas/board_bar.rs @@ -357,14 +357,14 @@ pub(crate) fn grid_settings(app: &mut FigApp, ui: &mut Ui) { let mut set = None; ui.horizontal(|ui| { ui.label(tr("Board grid")); - for style in GridStyle::ALL { - let label = match style { - GridStyle::Dots => tr("Dots"), - GridStyle::Lines => tr("Lines"), - GridStyle::Graph => tr("Graph paper"), - GridStyle::None => tr("None"), - }; - if ui.selectable_label(g.style == style, label).clicked() { + let styles = [ + (GridStyle::Dots, tr_noop("Dots")), + (GridStyle::Lines, tr_noop("Lines")), + (GridStyle::Graph, tr_noop("Graph paper")), + (GridStyle::None, tr_noop("None")), + ]; + for (style, label) in styles { + if ui.selectable_label(g.style == style, tr(label)).clicked() { set = Some(json!({"style": style.id()})); } }