From 40de073799666aa3c4b2e00c078d38c638f29bd2 Mon Sep 17 00:00:00 2001 From: Joscha Date: Sat, 31 May 2025 13:11:50 +0200 Subject: [PATCH] Silence clippy warning --- cove/src/ui.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/cove/src/ui.rs b/cove/src/ui.rs index 1c03834..5ebd540 100644 --- a/cove/src/ui.rs +++ b/cove/src/ui.rs @@ -50,6 +50,7 @@ impl From for UiError { } } +#[expect(clippy::large_enum_variant)] pub enum UiEvent { GraphemeWidthsChanged, LogChanged,