Simplify is_picked expression in pane_grid

2021-07-28 15:36:30 +07:00 · 2021-07-28 15:36:30 +07:00 · 6618c6bdd9
commit 6618c6bdd9
parent be65a847b0
1 changed files with 1 additions and 5 deletions
--- a/native/src/widget/pane_grid.rs
+++ b/native/src/widget/pane_grid.rs
@ -458,11 +458,7 @@ where
            .iter_mut()
            .zip(layout.children())
            .map(|((pane, content), layout)| {
-                let is_picked = if let Some(picked_pane) = picked_pane {
-                    picked_pane == *pane
-                } else {
-                    false
-                };
+                let is_picked = picked_pane == Some(*pane);

                content.on_event(
                    event.clone(),