Skip to content

Add device-width/device-height media features. - #368

Merged
mrobinson merged 1 commit into
servo:mainfrom
jdm:device-feature
Jun 13, 2026
Merged

Add device-width/device-height media features.#368
mrobinson merged 1 commit into
servo:mainfrom
jdm:device-feature

Conversation

@jdm

@jdm jdm commented May 18, 2026

Copy link
Copy Markdown
Member

Servo PR: servo/servo#44978

@jdm
jdm force-pushed the device-feature branch from b5f111e to fc7c57c Compare May 18, 2026 03:03
Comment thread style/device/servo.rs Outdated
Signed-off-by: Josh Matthews <josh@joshmatthews.net>
@jdm
jdm force-pushed the device-feature branch from 5175b36 to 1078b7e Compare June 10, 2026 11:27
@mrobinson
mrobinson added this pull request to the merge queue Jun 13, 2026
Merged via the queue into servo:main with commit 9ed6469 Jun 13, 2026
5 checks passed
nicoburns pushed a commit to nicoburns/stylo that referenced this pull request Jun 15, 2026
Reverts servo#368

More work is required in Servo to integrate this.
pull Bot pushed a commit to AKJUS/servo that referenced this pull request Jun 27, 2026
)

This change propagates the embedder's screen geometry's width/height
down to the layout's device so it can be used to evaluate device-width
and device-height media queries.

Stylo PR: servo/stylo#368
Testing: Many new passing tests.
Fixes: Part of servo#39068
Fixes: servo#44940

---------

Signed-off-by: Josh Matthews <josh@joshmatthews.net>
Signed-off-by: Martin Robinson <martin@abandonedwig.info>
Co-authored-by: Martin Robinson <martin@abandonedwig.info>
Loirooriol pushed a commit that referenced this pull request Jul 1, 2026
Servo PR: servo/servo#44978

Signed-off-by: Josh Matthews <josh@joshmatthews.net>
Loirooriol pushed a commit that referenced this pull request Jul 1, 2026
Reverts #368

More work is required in Servo to integrate this.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

3 participants