djkato/egui
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Clippy fix

Browse source
This commit is contained in:
Emil Ernerfeldt 2021-06-24 20:13:34 +02:00
parent d807451348
commit 4f6dac27e6
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
egui_demo_lib/src/apps/demo/font_book.rs
View file

@ -111,6 +111,7 @@ fn char_name(chr: char) -> String {
unicode_names2::name(chr) unicode_names2::name(chr)
.map(|name| name.to_string().to_lowercase()) .map(|name| name.to_string().to_lowercase())
.unwrap_or_else(|| { .unwrap_or_else(|| {
#[allow(clippy::match_same_arms)]
match chr { match chr {
// Special private-use-area extensions found in `emoji-icon-font.ttf`: // Special private-use-area extensions found in `emoji-icon-font.ttf`:
// Private use area extensions: // Private use area extensions: