Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.
Sign upFix page size when device-pixel-ratio is set manually #21302
Conversation
|
@bors-servo r+ |
|
|
Fix page size when device-pixel-ratio is set manually Fix #21277 We were using the user-define pixel ratio to get the device values of the winit coordinates. <!-- Reviewable:start --> --- This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/21302) <!-- Reviewable:end -->
|
|
|
android-x86 is failing: #21349 |
|
@bors-servo retry |
Fix page size when device-pixel-ratio is set manually Fix #21277 We were using the user-define pixel ratio to get the device values of the winit coordinates. <!-- Reviewable:start --> --- This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/21302) <!-- Reviewable:end -->
|
|
|
@bors-servo retry
|
|
|
|
|
paulrouget commentedAug 1, 2018
•
edited by SimonSapin
Fix #21277
We were using the user-define pixel ratio to get the device values of the winit coordinates.
This change is