From 6283a8dbec408f9cc4804b4f953ea1b2fddf92c0 Mon Sep 17 00:00:00 2001
From: Rubén Beltrán del Río <jj@r.bdr.sh>
Date: Mon, 30 Mar 2026 13:45:09 +0200
Subject: Propagate preferences import / export.

---
 src/components/preference_pages/editor.rs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/components/preference_pages/editor.rs')

diff --git a/src/components/preference_pages/editor.rs b/src/components/preference_pages/editor.rs
index 8fe40f0..0c6bda6 100644
--- a/src/components/preference_pages/editor.rs
+++ b/src/components/preference_pages/editor.rs
@@ -52,6 +52,7 @@ pub enum EditorAction {
     ChangeFontDescription(gtk::FontDialogButton),
 }
 
+#[allow(clippy::cast_possible_truncation)]
 #[relm4::component(pub)]
 impl SimpleComponent for Editor {
     type Init = EditorInit;
-- 
cgit