diff options
| author | Rubén Beltrán del Río <jj@r.bdr.sh> | 2026-01-17 00:36:49 +0100 |
|---|---|---|
| committer | Rubén Beltrán del Río <jj@r.bdr.sh> | 2026-01-17 02:43:21 +0100 |
| commit | 17898fbabde35ab346c133114e78614e707c0eca (patch) | |
| tree | 90f0fd36211c036a507a0af092aac3c5fb8e7ac8 /src/preferences/pages/editor.rs | |
| parent | 90b12c34debaa4aa816d4e6862cdb4e39c7181e4 (diff) | |
Add localization
Diffstat (limited to 'src/preferences/pages/editor.rs')
| -rw-r--r-- | src/preferences/pages/editor.rs | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/src/preferences/pages/editor.rs b/src/preferences/pages/editor.rs index 9f10d43..d4acb94 100644 --- a/src/preferences/pages/editor.rs +++ b/src/preferences/pages/editor.rs @@ -18,6 +18,7 @@ use gtk::prelude::*; use relm4::Sender; use relm4::gtk; +use crate::tr; use crate::ui_helpers::create_switch_row; use super::super::models::UserPreferences; @@ -41,7 +42,7 @@ impl EditorPage { container.set_valign(gtk::Align::Start); // Font Size section - let font_size_label = gtk::Label::new(Some("Font Size")); + let font_size_label = gtk::Label::new(Some(&tr!("preferences.editor.font_size.title"))); font_size_label.add_css_class("heading"); font_size_label.set_halign(gtk::Align::Start); container.append(&font_size_label); @@ -56,18 +57,18 @@ impl EditorPage { }); } font_size_box.append(&font_size_spin); - font_size_box.append(>k::Label::new(Some("pt"))); + font_size_box.append(>k::Label::new(Some(&tr!("preferences.editor.font_size.unit")))); container.append(&font_size_box); // Editor Style section - let style_label = gtk::Label::new(Some("Editor Style")); + let style_label = gtk::Label::new(Some(&tr!("preferences.editor.editor_style.title"))); style_label.add_css_class("heading"); style_label.set_halign(gtk::Align::Start); style_label.set_margin_top(10); container.append(&style_label); // Soft Wrap Lines - let soft_wrap_row = create_switch_row("Soft Wrap Lines", preferences.soft_wrap_lines); + let soft_wrap_row = create_switch_row(&tr!("preferences.editor.editor_style.soft_wrap_lines"), preferences.soft_wrap_lines); let soft_wrap_switch = soft_wrap_row.1.clone(); { let sender = sender.clone(); @@ -80,13 +81,13 @@ impl EditorPage { // Use Custom Font let custom_font_row = - create_switch_row("Use Custom Editor Font", preferences.use_custom_editor_font); + create_switch_row(&tr!("preferences.editor.editor_style.use_custom_font"), preferences.use_custom_editor_font); let custom_font_switch = custom_font_row.1.clone(); container.append(&custom_font_row.0); // Font selection let font_row = gtk::Box::new(gtk::Orientation::Horizontal, 10); - font_row.append(>k::Label::new(Some("Font"))); + font_row.append(>k::Label::new(Some(&tr!("preferences.editor.font")))); let font_button = gtk::FontButton::new(); font_button.set_font(&format!( |