diff options
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; |