Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-03 12:40:06 +01:00
Code Issues Projects Releases Packages Wiki Activity

style: Save some work if the origin is not dirty.

Browse source 
MozReview-Commit-ID: EGHztVLj9i3
This commit is contained in:
Emilio Cobos Álvarez 2018-02-08 12:29:11 +01:00
parent bbc6857c06
commit 4cc5717116
No known key found for this signature in database
GPG key ID: 056B727BB9C1027C
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
components/style/stylist.rs
View file

@ -240,6 +240,10 @@ impl DocumentCascadeData {
{ {
debug_assert_ne!(origin, Origin::UserAgent); debug_assert_ne!(origin, Origin::UserAgent);
if !flusher.origin_dirty(origin) {
return Ok(());
}
let validity = flusher.data_validity(origin); let validity = flusher.data_validity(origin);
match validity { match validity {