Skip to content
Permalink
Browse files

Fix simpleservo.

  • Loading branch information...
jdm committed Jul 12, 2019
1 parent 7d09862 commit a839835bb4e7f22b1561e0c6847c03831833fe7d
Showing with 3 additions and 2 deletions.
  1. +3 −2 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<i32, DevicePixel>,
pub framebuffer: TypedSize2D<i32, FramebufferPixel>,
pub framebuffer: TypedSize2D<i32, DevicePixel>,
}

impl Coordinates {

0 comments on commit a839835

Please sign in to comment.
You can’t perform that action at this time.