mirror of
https://github.com/servo/servo.git
synced 2025-08-08 06:55:31 +01:00
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.
This commit is contained in:
parent
1543912589
commit
3230162fd0
39 changed files with 330 additions and 327 deletions
|
@ -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");
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue