diff options
| author | Rubén Beltrán del Río <jj@r.bdr.sh> | 2026-03-30 13:45:09 +0200 |
|---|---|---|
| committer | Rubén Beltrán del Río <jj@r.bdr.sh> | 2026-03-30 14:29:59 +0200 |
| commit | 6283a8dbec408f9cc4804b4f953ea1b2fddf92c0 (patch) | |
| tree | 8cde70a40d83d59d219f535a68500c1f2df66946 /src/components/preference_pages/editor.rs | |
| parent | 9b988989ec3dc1316c5bdfa162b6ef8cfd21beff (diff) | |
Propagate preferences import / export.
Diffstat (limited to 'src/components/preference_pages/editor.rs')
| -rw-r--r-- | src/components/preference_pages/editor.rs | 1 |
1 files changed, 1 insertions, 0 deletions
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; |