New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Allow border radii to be set via preshints #16800
Conversation
Might be worth converting https://github.com/Manishearth/servo/blob/195e37954f6921e78fc9e7acdca2baa749e11778/ports/geckolib/glue.rs#L1458 into a panic now that we support all preshints |
r? @emilio |
@bors-servo r+ Yeah, converting it into a panic as a followup sounds good to me. |
📌 Commit 195e379 has been approved by |
It's one line, I'll just make it a panic here itself |
@bors-servo r+ |
📌 Commit 97ff764 has been approved by |
97ff764
to
d1c3021
Compare
@bors-servo r=emilio |
📌 Commit d1c3021 has been approved by |
Allow border radii to be set via preshints Fixes rendering of `<hr>` <!-- 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/16800) <!-- Reviewable:end -->
☀️ Test successful - android, arm32, arm64, linux-dev, linux-rel-css, linux-rel-wpt, mac-dev-unit, mac-rel-css, mac-rel-wpt1, mac-rel-wpt2, windows-msvc-dev |
servo/servo#16800 MozReview-Commit-ID: AmbCWZ6z0vf
servo/servo#16800 MozReview-Commit-ID: AmbCWZ6z0vf
servo/servo#16800 MozReview-Commit-ID: AmbCWZ6z0vf UltraBlame original commit: e956dc8d6b1dafb84f426addd9c1859abfbd5a99
servo/servo#16800 MozReview-Commit-ID: AmbCWZ6z0vf UltraBlame original commit: e956dc8d6b1dafb84f426addd9c1859abfbd5a99
servo/servo#16800 MozReview-Commit-ID: AmbCWZ6z0vf UltraBlame original commit: e956dc8d6b1dafb84f426addd9c1859abfbd5a99
Fixes rendering of
<hr>
This change is