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

Auto merge of #10336 - paulrouget:morePrefs, r=KiChjang

Browse source 
Make it possible to use preferences to configure webrender and titlebar

It's getting tiring for browserhtml to run servo with so many options:

`servo -w -b --pref dom.mozbrowser.enabled --pref dom.forcetouch.enabled http://localhost:6060`.

We want to be able to control all of these with preferences (we have a custom pref file).

Only webrender and titlebar are not controllable via a pref. This PR makes it possible.

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="35" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/10336)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2016-04-02 06:11:46 +05:30
commit c4208e67b7
2 changed files with 10 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
resources/prefs.json
View file

@ -1,6 +1,7 @@
{
"dom.mouseevent.which.enabled": false,
"dom.mozbrowser.enabled": false,
"gfx.webrender.enabled": false,
"layout.columns.enabled": false,
"layout.column-width.enabled": false,
"layout.column-count.enabled": false,
@ -11,5 +12,6 @@
"layout.viewport.enabled": false,
"layout.writing-mode.enabled": false,
"net.mime.sniff": false,
"shell.native-titlebar.enabled": true,
"shell.homepage": "http://servo.org"
}