diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2017-09-17 15:12:46 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-09-17 15:12:46 -0500 |
commit | f95da332a388cc7a94ddfc363872f5c570c27885 (patch) | |
tree | 624bb7f5cff3c16d62a087dc8d153824ccd96a84 /components/script | |
parent | 14529da2a3c9a84cdec5735fca09d0bcb5995348 (diff) | |
parent | 7a265793c87d4d636453ffcc3c6842e627d51304 (diff) | |
download | servo-f95da332a388cc7a94ddfc363872f5c570c27885.tar.gz servo-f95da332a388cc7a94ddfc363872f5c570c27885.zip |
Auto merge of #18525 - emilio:border-spacing, r=nox
style: various serialization fixes
This should close https://github.com/servo/servo/pull/18458, and fix https://bugzilla.mozilla.org/show_bug.cgi?id=1397619.
<!-- 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/18525)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script')
-rw-r--r-- | components/script/dom/element.rs | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/components/script/dom/element.rs b/components/script/dom/element.rs index 60a237df618..ee2e1e7db0a 100644 --- a/components/script/dom/element.rs +++ b/components/script/dom/element.rs @@ -581,10 +581,12 @@ impl LayoutElementHelpers for LayoutJS<Element> { hints.push(from_declaration( shared_lock, PropertyDeclaration::BorderSpacing( - Box::new(border_spacing::SpecifiedValue { - horizontal: width_value.into(), - vertical: None, - })))); + Box::new(border_spacing::SpecifiedValue::new( + width_value.clone().into(), + width_value.into() + )) + ) + )); } |