Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-03 04:30:10 +01:00
Code Issues Projects Releases Packages Wiki Activity

Disable devtools for HoloLens.

Browse source
This commit is contained in:
Josh Matthews 2020-03-04 15:32:52 -05:00 • committed by GitHub
parent 3749eb5397
commit 1898b7c59f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
support/hololens/ServoApp/ServoControl/Servo.cpp
View file

@ -92,7 +92,7 @@ Servo::Servo(hstring url, hstring args, GLsizei width, GLsizei height,
: mWindowHeight(height), mWindowWidth(width), mDelegate(aDelegate) {
capi::CInitOptions o;
hstring defaultPrefs = L" --pref dom.webxr.enabled --devtools=6000";
hstring defaultPrefs = L" --pref dom.webxr.enabled";
o.args = *hstring2char(args + defaultPrefs);
o.url = *hstring2char(url);
o.width = mWindowWidth;