diff options
Diffstat (limited to '')
| -rw-r--r-- | native/src/widget/pane_grid.rs | 6 | 
1 files changed, 1 insertions, 5 deletions
| diff --git a/native/src/widget/pane_grid.rs b/native/src/widget/pane_grid.rs index 6912d7a9..26a72409 100644 --- 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(), | 
