mirror of
https://github.com/servo/servo
synced 2026-05-14 02:47:14 +02:00
Highlights from the devtools trigger reflows. Previously, incremental layout would notice that nothing about the box tree changed and skip generating a new display list. This caused the highlights to never be painted. Forcing a new DL in this case makes reflows that happen *while* there is a highlighted DOM node (which did not change since the last reflow) slightly less efficient. We could check if the highlighted node changed and only force a new display list if it did, but I'm not sure if `OpaqueNode`s can be compared like that. It also seems like a very niche issue. Testing: This is hard to test for, so there are no tests. Fixes https://github.com/servo/servo/issues/37500. Signed-off-by: Simon Wülker <simon.wuelker@arcor.de>