1
0
mirror of https://github.com/emilk/egui.git synced 2026-09-02 06:40:06 -04:00

Fix some clippy issues found by 1.84.0 (#5603)

This commit is contained in:
Emil Ernerfeldt
2025-01-13 08:29:13 +01:00
committed by GitHub
parent 1339639706
commit 164f56f554
33 changed files with 65 additions and 81 deletions

View File

@@ -58,9 +58,7 @@ impl crate::View for TextEditDemo {
}
});
let anything_selected = output
.cursor_range
.map_or(false, |cursor| !cursor.is_empty());
let anything_selected = output.cursor_range.is_some_and(|cursor| !cursor.is_empty());
ui.add_enabled(
anything_selected,