From bf8decbffbd5fca02129697b2a1ceeb8c3858206 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?R=C3=A9my=20SAISSY?= Date: Wed, 24 Jul 2024 20:30:06 +0200 Subject: [PATCH] clippy: ports/servoshell/desktop (#32847) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Rémy Saissy --- ports/servoshell/desktop/minibrowser.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/ports/servoshell/desktop/minibrowser.rs b/ports/servoshell/desktop/minibrowser.rs index 41869223e3b..456c24f6576 100644 --- a/ports/servoshell/desktop/minibrowser.rs +++ b/ports/servoshell/desktop/minibrowser.rs @@ -71,6 +71,7 @@ impl Minibrowser { }; // Adapted from https://github.com/emilk/egui/blob/9478e50d012c5138551c38cbee16b07bc1fcf283/crates/egui_glow/examples/pure_glow.rs + #[allow(clippy::arc_with_non_send_sync)] let context = EguiGlow::new(events_loop.as_winit(), Arc::new(gl), None); let widget_surface_fbo = match rendering_context.context_surface_info() { Ok(Some(info)) => NonZeroU32::new(info.framebuffer_object).map(NativeFramebuffer),