From 921d91f731d2db797312a17c3763134042176045 Mon Sep 17 00:00:00 2001 From: Josh Matthews Date: Thu, 11 Jul 2019 22:20:59 -0400 Subject: [PATCH] Fix simpleservo. --- ports/libsimpleservo/api/src/lib.rs | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/ports/libsimpleservo/api/src/lib.rs b/ports/libsimpleservo/api/src/lib.rs index 2935852ad86..213379c927d 100644 --- a/ports/libsimpleservo/api/src/lib.rs +++ b/ports/libsimpleservo/api/src/lib.rs @@ -22,7 +22,8 @@ use servo::script_traits::{TouchEventType, TouchId}; use servo::servo_config::opts; use servo::servo_config::{pref, set_pref}; use servo::servo_url::ServoUrl; -use servo::webrender_api::{DevicePixel, FramebufferPixel, ScrollLocation}; +use servo::webrender_api::units::DevicePixel; +use servo::webrender_api::ScrollLocation; use servo::webvr::{VRExternalShmemPtr, VRMainThreadHeartbeat, VRService, VRServiceManager}; use servo::{self, gl, BrowserId, Servo}; use servo_media::player::context as MediaPlayerContext; @@ -61,7 +62,7 @@ pub enum VRInitOptions { #[derive(Clone, Debug)] pub struct Coordinates { pub viewport: TypedRect, - pub framebuffer: TypedSize2D, + pub framebuffer: TypedSize2D, } impl Coordinates {