Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-22 14:53:49 +01:00
Code Issues Projects Releases Packages Wiki Activity

Remove usage of opts::get() from style.

Browse source 
Part of #22854.
This commit is contained in:
Kitlith 2019-10-18 16:42:18 -07:00
parent 118a9ecdfe
commit 0a07a88904
3 changed files with 36 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

9
components/servo/lib.rs
View file

@ -310,6 +310,15 @@ where
// Global configuration options, parsed from the command line.
let opts = opts::get();
use std::sync::atomic::Ordering;
style::context::DEFAULT_DISABLE_STYLE_SHARING_CACHE
.store(opts.disable_share_style_cache, Ordering::Relaxed);
style::context::DEFAULT_DUMP_STYLE_STATISTICS
.store(opts.style_sharing_stats, Ordering::Relaxed);
style::traversal::IS_SERVO_NONINCREMENTAL_LAYOUT
.store(opts.nonincremental_layout, Ordering::Relaxed);
if !opts.multiprocess {
media_platform::init();
}