From 4f6dac27e694237d33e25d49e650e6b871e17a33 Mon Sep 17 00:00:00 2001 From: Emil Ernerfeldt Date: Thu, 24 Jun 2021 20:13:34 +0200 Subject: [PATCH] Clippy fix --- egui_demo_lib/src/apps/demo/font_book.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/egui_demo_lib/src/apps/demo/font_book.rs b/egui_demo_lib/src/apps/demo/font_book.rs index 2572296b..24d32ea3 100644 --- a/egui_demo_lib/src/apps/demo/font_book.rs +++ b/egui_demo_lib/src/apps/demo/font_book.rs @@ -111,6 +111,7 @@ fn char_name(chr: char) -> String { unicode_names2::name(chr) .map(|name| name.to_string().to_lowercase()) .unwrap_or_else(|| { + #[allow(clippy::match_same_arms)] match chr { // Special private-use-area extensions found in `emoji-icon-font.ttf`: // Private use area extensions: