mirror of
https://github.com/servo/servo.git
synced 2025-08-05 05:30:08 +01:00
style: Flush parent document layout if needed for viewport dependent media queries
This is necessary to properly report changes in our document. The remaining failures are about change event scheduling, which is a pre-existing issue. Will fix, but in a separate bug. Differential Revision: https://phabricator.services.mozilla.com/D178917
This commit is contained in:
parent
ad81122fcf
commit
48f2f475c6
4 changed files with 19 additions and 5 deletions
|
@ -118,6 +118,8 @@ bitflags! {
|
|||
const CONTAINER_REQUIRES_WIDTH_AXIS = 1 << 4;
|
||||
/// The feature requires containment in the physical height axis.
|
||||
const CONTAINER_REQUIRES_HEIGHT_AXIS = 1 << 5;
|
||||
/// The feature evaluation depends on the viewport size.
|
||||
const VIEWPORT_DEPENDENT = 1 << 6;
|
||||
}
|
||||
}
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue