Skip to content
Permalink
Browse files

Fix simpleservo.

  • Loading branch information...
jdm committed Jul 12, 2019
1 parent 7d09862 commit 857eeb62e378ae9ffd582a18c4040eaf55bad77d
Showing with 2 additions and 1 deletion.
  1. +2 −1 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, FramebufferPixel};
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;

0 comments on commit 857eeb6

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