style: Fix grid line serialization to avoid redundant spacing.

This fixes https://bugzilla.mozilla.org/show_bug.cgi?id=1425227.
This commit is contained in:
Emilio Cobos Álvarez 2017-12-16 01:25:27 +01:00
parent dbfcb7bc39
commit de4dd638eb
No known key found for this signature in database
GPG key ID: 056B727BB9C1027C

View file

@ -59,12 +59,16 @@ where
} }
if let Some(ref i) = self.line_num { if let Some(ref i) = self.line_num {
dest.write_str(" ")?; if self.is_span {
dest.write_str(" ")?;
}
i.to_css(dest)?; i.to_css(dest)?;
} }
if let Some(ref s) = self.ident { if let Some(ref s) = self.ident {
dest.write_str(" ")?; if self.is_span || self.line_num.is_some() {
dest.write_str(" ")?;
}
s.to_css(dest)?; s.to_css(dest)?;
} }