diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2017-05-18 00:56:30 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-18 00:56:30 -0500 |
| commit | d1eef9d08a4dc3c7ff057797281d2b4f8d4f71c7 (patch) | |
| tree | 79fb1add70bcbb8c11cd1a3628bf146b71bc413d /components | |
| parent | 5d1e02760b9a247684a7b6959a732e0cf7c006ba (diff) | |
| parent | 0483fc61ef323e4072235333b49422061e93de6a (diff) | |
| download | servo-d1eef9d08a4dc3c7ff057797281d2b4f8d4f71c7.tar.gz servo-d1eef9d08a4dc3c7ff057797281d2b4f8d4f71c7.zip | |
Auto merge of #16904 - paulrouget:notHeadLess, r=metajack
Not headless by default
Without this, initializing Servo without using the command line (when embedded) requires to explicitly set `opts.headless = false`, which is weird as it's the only option that needs to be changed.
<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/16904)
<!-- Reviewable:end -->
Diffstat (limited to 'components')
| -rw-r--r-- | components/config/opts.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/components/config/opts.rs b/components/config/opts.rs index 9130fb4cb5d..1b0938a5e9c 100644 --- a/components/config/opts.rs +++ b/components/config/opts.rs @@ -485,7 +485,7 @@ pub fn default_opts() -> Opts { replace_surrogates: false, gc_profile: false, load_webfonts_synchronously: false, - headless: true, + headless: false, hard_fail: true, bubble_inline_sizes_separately: false, show_debug_fragment_borders: false, |