Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-06 16:45:39 +00:00
Code Issues Projects Releases Packages Wiki Activity

Add preferences to enable/disable the JITs

Browse source 
When creating a runtime (script.rs), we check prefs and then enable or
disable the JITs (Baseline and Ion).
This commit is contained in:
Stjepan Glavina 2016-04-01 02:34:23 +02:00
parent f2b48d2764
commit 3ad7119b08
2 changed files with 13 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
resources/prefs.json
View file

@ -2,6 +2,8 @@
"dom.mouseevent.which.enabled": false,
"dom.mozbrowser.enabled": false,
"gfx.webrender.enabled": false,
"js.baseline.enabled": true,
"js.ion.enabled": true,
"layout.columns.enabled": false,
"layout.column-width.enabled": false,
"layout.column-count.enabled": false,