Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-29 17:18:23 +01:00
Code Issues Projects Releases Packages Wiki Activity

MediaSession Android bits

Browse source
This commit is contained in:
Fernando Jiménez Moreno 2019-10-10 17:09:55 +02:00
parent 7ca74d598c
commit 3f6569447d
4 changed files with 34 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
ports/libsimpleservo/jniapi/src/lib.rs
View file

@ -15,9 +15,7 @@ use jni::{errors, JNIEnv, JavaVM};
use libc::{dup2, pipe, read};
use log::Level;
use simpleservo::{self, gl_glue, ServoGlue, SERVO};
use simpleservo::{
Coordinates, EventLoopWaker, HostTrait, InitOptions, MediaSessionEvent, VRInitOptions,
};
use simpleservo::{Coordinates, EventLoopWaker, HostTrait, InitOptions, VRInitOptions};
use std::os::raw::{c_char, c_int, c_void};
use std::ptr::{null, null_mut};
use std::sync::Arc;