diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2016-04-02 06:11:46 +0530 |
|---|---|---|
| committer | bors-servo <lbergstrom+bors@mozilla.com> | 2016-04-02 06:11:46 +0530 |
| commit | c4208e67b744b1d30f29c8ea1eb268f00b8e4ce7 (patch) | |
| tree | f03018a3e998194b08f933fa590b226b909f4b3f /components/script | |
| parent | 4e215177962a50f1cfd9f21d95ecfd3a76a31602 (diff) | |
| parent | e51a6309bfecc79246c8869ea853447b0681d622 (diff) | |
| download | servo-c4208e67b744b1d30f29c8ea1eb268f00b8e4ce7.tar.gz servo-c4208e67b744b1d30f29c8ea1eb268f00b8e4ce7.zip | |
Auto merge of #10336 - paulrouget:morePrefs, r=KiChjang
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 -->
Diffstat (limited to 'components/script')
0 files changed, 0 insertions, 0 deletions