diff options
author | Michael Howell <michael@notriddle.com> | 2016-01-01 17:11:10 -0700 |
---|---|---|
committer | Michael Howell <michael@notriddle.com> | 2016-03-24 11:18:54 -0700 |
commit | c9cb4839e42a63120f4fc165b8e569f62fb4be44 (patch) | |
tree | b0fbb76e5e546acb736a7c8df33f7361c5919299 /components/script/dom/htmlheadelement.rs | |
parent | f2f05869d6ccd445df9b73e2e8d038c6cfa9e687 (diff) | |
download | servo-c9cb4839e42a63120f4fc165b8e569f62fb4be44.tar.gz servo-c9cb4839e42a63120f4fc165b8e569f62fb4be44.zip |
No more headless compositor. Just the normal one.
This changes headless operation to strictly be a runtime option, rather
than a compile-time one. Note that the old headless version still relied
on a display server to support WebGL, while it now requires one all the
time.
Fixes #8573
Diffstat (limited to 'components/script/dom/htmlheadelement.rs')
0 files changed, 0 insertions, 0 deletions