Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-06 06:00:15 +01:00
Code Issues Projects Releases Packages Wiki Activity

style: Simplify border-radius serialization.

Browse source 
Differential Revision: https://phabricator.services.mozilla.com/D20958
This commit is contained in:
Emilio Cobos Álvarez 2019-02-25 03:03:15 +00:00
parent e96a5ae37e
commit ebeb7b228f
1 changed files with 1 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

6
components/style/values/generics/border.rs
View file

@ -145,11 +145,7 @@ where
W: Write, W: Write,
{ {
widths.to_css(dest)?; widths.to_css(dest)?;
if widths.0 != heights.0 || if widths != heights {
widths.1 != heights.1 ||
widths.2 != heights.2 ||
widths.3 != heights.3
{
dest.write_str(" / ")?; dest.write_str(" / ")?;
heights.to_css(dest)?; heights.to_css(dest)?;
} }