mirror of
https://github.com/servo/servo.git
synced 2025-08-06 06:00:15 +01:00
style: Don't pop too much in the bloom filter.
This is not a problem for Servo, because we recovered it without much problem a few lines below, and we never reached the pathological case where the filter has one element (the root), and we restyled another element with depth 1. Fixes bug 1321725.
This commit is contained in:
parent
a913815a4d
commit
e3a9637107
1 changed files with 1 additions and 1 deletions
|
@ -181,7 +181,7 @@ impl StyleBloom {
|
|||
|
||||
// If the filter represents an element too deep in the dom, we need to
|
||||
// pop ancestors.
|
||||
while current_depth >= element_depth - 1 {
|
||||
while current_depth > element_depth - 1 {
|
||||
self.pop::<E>().expect("Emilio is bad at math");
|
||||
current_depth -= 1;
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue