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 upstyle: Sync changes from mozilla-central #21724
Conversation
Differential Revision: https://phabricator.services.mozilla.com/D5337
Differential Revision: https://phabricator.services.mozilla.com/D5530
Differential Revision: https://phabricator.services.mozilla.com/D5106
Depends on D5106 Differential Revision: https://phabricator.services.mozilla.com/D5341
There are a few mentions of nsRuleNode left but they are mostly historical references so it makes sense to keep them. Differential Revision: https://phabricator.services.mozilla.com/D5505
https://drafts.csswg.org/mediaqueries-4/#hover https://drafts.csswg.org/mediaqueries-4/#pointer In this patch series, we don't introduce any-hover and any-pointer media features yet, but functionalities for them on each platform backends will be introduced in this patch series, so eIntID_AllPointerCapabilities and relevant stuff is added in this patch for the convenience that each platform backends can be reviewed at once. Differential Revision: https://phabricator.services.mozilla.com/D3296
Differential Revision: https://phabricator.services.mozilla.com/D3609
highfive
commented
Sep 15, 2018
|
@bors-servo r+ |
|
|
style: Sync changes from mozilla-central See each individual commit for details. <!-- 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/21724) <!-- Reviewable:end -->
|
|
|
@bors-servo retry #20734 |
|
|
|
|
emilio commentedSep 15, 2018
•
edited by SimonSapin
See each individual commit for details.
This change is