1
0
mirror of https://github.com/emilk/egui.git synced 2026-06-27 15:13:12 -04:00

Fix clippy lint

This commit is contained in:
Emil Ernerfeldt
2023-11-27 17:44:29 +01:00
parent 5b1b091103
commit c6f0704f00

View File

@@ -408,23 +408,14 @@ impl State {
}
}
winit::event::WindowEvent::RedrawRequested => EventResponse {
repaint: true,
consumed: false,
},
winit::event::WindowEvent::ActivationTokenDone { .. } => EventResponse {
repaint: false,
consumed: false,
},
// Things that may require repaint:
WindowEvent::CloseRequested => EventResponse {
consumed: true,
repaint: true,
},
WindowEvent::CursorEntered { .. }
WindowEvent::RedrawRequested
| WindowEvent::CursorEntered { .. }
| WindowEvent::Destroyed
| WindowEvent::Occluded(_)
| WindowEvent::Resized(_)
@@ -436,7 +427,8 @@ impl State {
},
// Things we completely ignore:
WindowEvent::AxisMotion { .. }
WindowEvent::ActivationTokenDone { .. }
| WindowEvent::AxisMotion { .. }
| WindowEvent::SmartMagnify { .. }
| WindowEvent::TouchpadRotate { .. } => EventResponse {
repaint: false,