From 0513c0576815e369be3add7c0965fd81aa70340e Mon Sep 17 00:00:00 2001
From: Emil Ernerfeldt <emil.ernerfeldt@gmail.com>
Date: Mon, 26 Aug 2024 15:35:44 +0200
Subject: [PATCH] Fix CI (#5005)

---
 crates/eframe/src/native/epi_integration.rs | 14 +++++++-------
 crates/egui-winit/src/lib.rs                |  9 +++++++++
 2 files changed, 16 insertions(+), 7 deletions(-)

diff --git a/crates/eframe/src/native/epi_integration.rs b/crates/eframe/src/native/epi_integration.rs
index 3edc0992715..65b54d65e23 100644
--- a/crates/eframe/src/native/epi_integration.rs
+++ b/crates/eframe/src/native/epi_integration.rs
@@ -239,13 +239,13 @@ impl EpiIntegration {
 
         use winit::event::{ElementState, MouseButton, WindowEvent};
 
-        match event {
-            WindowEvent::MouseInput {
-                button: MouseButton::Left,
-                state: ElementState::Pressed,
-                ..
-            } => self.can_drag_window = true,
-            _ => {}
+        if let WindowEvent::MouseInput {
+            button: MouseButton::Left,
+            state: ElementState::Pressed,
+            ..
+        } = event
+        {
+            self.can_drag_window = true;
         }
 
         egui_winit.on_window_event(window, event)
diff --git a/crates/egui-winit/src/lib.rs b/crates/egui-winit/src/lib.rs
index fe60cb8c0da..c35d2878227 100644
--- a/crates/egui-winit/src/lib.rs
+++ b/crates/egui-winit/src/lib.rs
@@ -1666,6 +1666,15 @@ pub fn create_winit_window_attributes(
             pixels_per_point * pos.y,
         ));
     }
+    #[cfg(target_os = "ios")]
+    {
+        // Unused:
+        _ = pixels_per_point;
+        _ = position;
+        _ = inner_size;
+        _ = min_inner_size;
+        _ = max_inner_size;
+    }
 
     if let Some(icon) = icon {
         let winit_icon = to_winit_icon(&icon);