Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-26 16:50:23 +01:00
Code Issues Projects Releases Packages Wiki Activity

browserhtml update

Browse source
This commit is contained in:
Paul Rouget 2016-05-23 06:22:19 +02:00
parent 6b039612ba
commit 3a05f387a0
4 changed files with 13 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

5
python/servo/post_build_commands.py
View file

@ -131,7 +131,10 @@ class PostBuildCommands(CommandBase):
if browserhtml_path is None:
print("Could not find browserhtml package; perhaps you haven't built Servo.")
return 1
args = args + ['-w', '-b', '--pref', 'dom.mozbrowser.enabled',
args = args + ['-w', '-b',
'--pref', 'dom.mozbrowser.enabled',
'--pref', 'dom.forcetouch.enabled',
'--pref', 'shell.quit-on-escape.enabled=false',
path.join(browserhtml_path, 'out', 'index.html')]
args = args + params
else: