diff options
Diffstat (limited to 'src/preferences/pages/editor.rs')
| -rw-r--r-- | src/preferences/pages/editor.rs | 163 |
1 files changed, 163 insertions, 0 deletions
diff --git a/src/preferences/pages/editor.rs b/src/preferences/pages/editor.rs new file mode 100644 index 0000000..5334a37 --- /dev/null +++ b/src/preferences/pages/editor.rs @@ -0,0 +1,163 @@ +// Copyright (C) 2024 Rubén Beltrán del Río + +// This program is free software: you can redistribute it and/or modify +// it under the terms of the GNU General Public License as published by +// the Free Software Foundation, either version 3 of the License, or +// (at your option) any later version. + +// This program is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. + +// You should have received a copy of the GNU General Public License +// along with this program. If not, see https://map.tranquil.systems. + +use gtk::prelude::*; +use relm4::Sender; +use relm4::gtk; + +use super::super::models::UserPreferences; +use super::super::window::PreferencesInput; + +pub struct EditorPage { + container: gtk::Box, + font_size_spin: gtk::SpinButton, + soft_wrap_switch: gtk::Switch, + custom_font_switch: gtk::Switch, + font_button: gtk::FontButton, +} + +impl EditorPage { + pub fn new(prefs: &UserPreferences, sender: Sender<PreferencesInput>) -> Self { + let container = gtk::Box::new(gtk::Orientation::Vertical, 20); + container.set_margin_top(20); + container.set_margin_bottom(20); + container.set_margin_start(20); + container.set_margin_end(20); + container.set_valign(gtk::Align::Start); + + // Font Size section + let font_size_label = gtk::Label::new(Some("Font Size")); + font_size_label.add_css_class("heading"); + font_size_label.set_halign(gtk::Align::Start); + container.append(&font_size_label); + + let font_size_box = gtk::Box::new(gtk::Orientation::Horizontal, 10); + let font_size_spin = gtk::SpinButton::with_range(7.0, 21.0, 1.0); + font_size_spin.set_value(prefs.editor_font_size); + { + let sender = sender.clone(); + font_size_spin.connect_value_changed(move |spin| { + sender.emit(PreferencesInput::SetEditorFontSize(spin.value())); + }); + } + font_size_box.append(&font_size_spin); + font_size_box.append(>k::Label::new(Some("pt"))); + container.append(&font_size_box); + + // Editor Style section + let style_label = gtk::Label::new(Some("Editor Style")); + 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", prefs.soft_wrap_lines); + let soft_wrap_switch = soft_wrap_row.1.clone(); + { + let sender = sender.clone(); + soft_wrap_switch.connect_state_set(move |_, state| { + sender.emit(PreferencesInput::SetSoftWrapLines(state)); + gtk::glib::Propagation::Proceed + }); + } + container.append(&soft_wrap_row.0); + + // Use Custom Font + let custom_font_row = + create_switch_row("Use Custom Editor Font", prefs.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"))); + + let font_button = gtk::FontButton::new(); + font_button.set_font(&format!( + "{} {}", + prefs.custom_editor_font_name, prefs.editor_font_size as i32 + )); + font_button.set_sensitive(prefs.use_custom_editor_font); + font_button.set_hexpand(true); + font_button.set_use_font(true); + { + let sender = sender.clone(); + font_button.connect_font_set(move |btn| { + if let Some(font) = btn.font() { + // Extract font family from the font string + let font_desc = gtk::pango::FontDescription::from_string(&font); + if let Some(family) = font_desc.family() { + sender.emit(PreferencesInput::SetCustomEditorFontName( + family.to_string(), + )); + } + } + }); + } + font_row.append(&font_button); + container.append(&font_row); + + // Connect custom font switch to font button sensitivity + { + let font_button_clone = font_button.clone(); + let sender = sender.clone(); + custom_font_switch.connect_state_set(move |_, state| { + font_button_clone.set_sensitive(state); + sender.emit(PreferencesInput::SetUseCustomEditorFont(state)); + gtk::glib::Propagation::Proceed + }); + } + + Self { + container, + font_size_spin, + soft_wrap_switch, + custom_font_switch, + font_button, + } + } + + pub fn widget(&self) -> gtk::Box { + self.container.clone() + } + + pub fn sync_from(&self, prefs: &UserPreferences) { + self.font_size_spin.set_value(prefs.editor_font_size); + self.soft_wrap_switch.set_active(prefs.soft_wrap_lines); + self.custom_font_switch + .set_active(prefs.use_custom_editor_font); + self.font_button.set_sensitive(prefs.use_custom_editor_font); + self.font_button.set_font(&format!( + "{} {}", + prefs.custom_editor_font_name, prefs.editor_font_size as i32 + )); + } +} + +fn create_switch_row(label: &str, initial_state: bool) -> (gtk::Box, gtk::Switch) { + let row = gtk::Box::new(gtk::Orientation::Horizontal, 10); + row.append(>k::Label::new(Some(label))); + + let spacer = gtk::Box::new(gtk::Orientation::Horizontal, 0); + spacer.set_hexpand(true); + row.append(&spacer); + + let switch = gtk::Switch::new(); + switch.set_active(initial_state); + row.append(&switch); + + (row, switch) +} |