aboutsummaryrefslogtreecommitdiffstats
path: root/components/media
diff options
context:
space:
mode:
authorMartin Robinson <mrobinson@igalia.com>2023-07-10 15:54:39 +0200
committerMartin Robinson <mrobinson@igalia.com>2023-07-10 17:35:50 +0200
commit3230162fd0ac96dea77c683b2067ae65ec7ed0b4 (patch)
treea514617f5d3b72eb5e00cf60b86d8478de9b0e02 /components/media
parent1543912589e67734f0b684e1db900f41a4c04a1a (diff)
downloadservo-3230162fd0ac96dea77c683b2067ae65ec7ed0b4.tar.gz
servo-3230162fd0ac96dea77c683b2067ae65ec7ed0b4.zip
Try to `use` WebRender types more
The newer versions of WebRender move types around between `webrender` and `webrender_api` and this will reduce the churn during the upgrade.
Diffstat (limited to 'components/media')
-rw-r--r--components/media/media_thread.rs3
1 files changed, 2 insertions, 1 deletions
diff --git a/components/media/media_thread.rs b/components/media/media_thread.rs
index 41bbaa6e99f..a5c889a6286 100644
--- a/components/media/media_thread.rs
+++ b/components/media/media_thread.rs
@@ -9,6 +9,7 @@ use crate::{GLPlayerMsg, GLPlayerMsgForward};
use fnv::FnvHashMap;
use std::sync::{Arc, Mutex};
use std::thread;
+use webrender_api::ExternalImageId;
use webrender_traits::{WebrenderExternalImageRegistry, WebrenderImageHandlerType};
/// A GLPlayerThread manages the life cycle and message demultiplexing of
@@ -69,7 +70,7 @@ impl GLPlayerThread {
self.external_images
.lock()
.unwrap()
- .remove(&webrender_api::ExternalImageId(id));
+ .remove(&ExternalImageId(id));
if self.players.remove(&id).is_none() {
warn!("Tried to remove an unknown player");
}