aboutsummaryrefslogtreecommitdiff
path: root/src/preferences/pages/editor.rs
diff options
context:
space:
mode:
authorRubén Beltrán del Río <jj@r.bdr.sh>2026-01-17 00:36:49 +0100
committerRubén Beltrán del Río <jj@r.bdr.sh>2026-01-17 02:43:21 +0100
commit17898fbabde35ab346c133114e78614e707c0eca (patch)
tree90f0fd36211c036a507a0af092aac3c5fb8e7ac8 /src/preferences/pages/editor.rs
parent90b12c34debaa4aa816d4e6862cdb4e39c7181e4 (diff)
Add localization
Diffstat (limited to 'src/preferences/pages/editor.rs')
-rw-r--r--src/preferences/pages/editor.rs13
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(&gtk::Label::new(Some("pt")));
+ font_size_box.append(&gtk::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(&gtk::Label::new(Some("Font")));
+ font_row.append(&gtk::Label::new(Some(&tr!("preferences.editor.font"))));
let font_button = gtk::FontButton::new();
font_button.set_font(&format!(