mirror of
https://github.com/servo/servo.git
synced 2025-08-14 18:05:36 +01:00
WebVR API Implementation, r=larsbergstrom
This commit is contained in:
parent
13826970c4
commit
c5705bff50
70 changed files with 13044 additions and 20 deletions
|
@ -259,4 +259,8 @@ impl Preferences {
|
|||
pub fn extend(&self, extension: HashMap<String, Pref>) {
|
||||
self.0.write().unwrap().extend(extension);
|
||||
}
|
||||
|
||||
pub fn is_webvr_enabled(&self) -> bool {
|
||||
self.get("dom.webvr.enabled").as_boolean().unwrap_or(false)
|
||||
}
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue