Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-03 12:40:06 +01:00
Code Issues Projects Releases Packages Wiki Activity

chore(servo): simplify servo example (#35253)

Browse source 
Removes the `Arc<Mutex<T>>` usage in `winit_minimal` given that `EventLoopProxy` has `Send` and `Sync` traits.

re #35252

Signed-off-by: Roberto Huertas <roberto.huertas@outlook.com>
This commit is contained in:
Roberto Huertas 2025-02-01 15:03:54 +01:00 • committed by GitHub
parent 6fd63b6c7d
commit 8999b539df
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 3 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

12
components/servo/examples/winit_minimal.rs
View file

@ -5,7 +5,6 @@
use std::cell::Cell; use std::cell::Cell;
use std::error::Error; use std::error::Error;
use std::rc::Rc; use std::rc::Rc;
use std::sync::{Arc, Mutex};
use compositing::windowing::{AnimationState, EmbedderEvent, EmbedderMethods, WindowMethods}; use compositing::windowing::{AnimationState, EmbedderEvent, EmbedderMethods, WindowMethods};
use embedder_traits::EmbedderMsg; use embedder_traits::EmbedderMsg;
@ -207,13 +206,13 @@ impl EmbedderMethods for EmbedderDelegate {
} }
#[derive(Clone)] #[derive(Clone)]
struct Waker(Arc<Mutex<winit::event_loop::EventLoopProxy<WakerEvent>>>); struct Waker(winit::event_loop::EventLoopProxy<WakerEvent>);
#[derive(Debug)] #[derive(Debug)]
struct WakerEvent; struct WakerEvent;
impl Waker { impl Waker {
fn new(event_loop: &EventLoop<WakerEvent>) -> Self { fn new(event_loop: &EventLoop<WakerEvent>) -> Self {
Self(Arc::new(Mutex::new(event_loop.create_proxy()))) Self(event_loop.create_proxy())
} }
} }
@ -223,12 +222,7 @@ impl embedder_traits::EventLoopWaker for Waker {
} }
fn wake(&self) { fn wake(&self) {
if let Err(error) = self if let Err(error) = self.0.send_event(WakerEvent) {
.0
.lock()
.expect("Failed to lock EventLoopProxy")
.send_event(WakerEvent)
{
warn!(?error, "Failed to wake event loop"); warn!(?error, "Failed to wake event loop");
} }
} }