Bug 1367283 - Part 6: Implements xul related properties. r=hiro draft
authorDaisuke Akatsuka <dakatsuka@mozilla.com>
Mon, 29 May 2017 22:37:17 +0900
changeset 585971 59093730349c881dbc0ae26be753a0e19d0e634d
parent 585970 0132bfa5382cd4fc0ee63b9b5ff86aa3fd6080ee
child 585972 40235fc27da24c0eabfcf8076628801fa9099218
push id61246
push userbmo:dakatsuka@mozilla.com
push dateMon, 29 May 2017 13:44:07 +0000
reviewershiro
bugs1367283
milestone55.0a1
Bug 1367283 - Part 6: Implements xul related properties. r=hiro In this patch, implements following xul related properties that type is single keyword. * -moz-box-direction * -moz-box-orient * -moz-box-pack * -moz-stack-sizing MozReview-Commit-ID: LtdBt1sGWdv
servo/components/style/properties/longhand/xul.mako.rs
--- a/servo/components/style/properties/longhand/xul.mako.rs
+++ b/servo/components/style/properties/longhand/xul.mako.rs
@@ -14,45 +14,49 @@
                          gecko_inexhaustive=True,
                          animation_value_type="discrete",
                          alias="-webkit-box-align",
                          spec="Nonstandard (https://developer.mozilla.org/en-US/docs/Web/CSS/box-align)")}
 
 ${helpers.single_keyword("-moz-box-direction", "normal reverse",
                          products="gecko", gecko_ffi_name="mBoxDirection",
                          gecko_enum_prefix="StyleBoxDirection",
-                         animation_value_type="none",
+                         gecko_inexhaustive=True,
+                         animation_value_type="discrete",
                          alias="-webkit-box-direction",
                          spec="Nonstandard (https://developer.mozilla.org/en-US/docs/Web/CSS/box-direction)")}
 
 ${helpers.predefined_type("-moz-box-flex", "Number", "0.0", "parse_non_negative",
                           products="gecko", gecko_ffi_name="mBoxFlex",
                           animation_value_type="none",
                           alias="-webkit-box-flex",
                           spec="Nonstandard (https://developer.mozilla.org/en-US/docs/Web/CSS/box-flex)")}
 
 ${helpers.single_keyword("-moz-box-orient", "horizontal vertical",
                          products="gecko", gecko_ffi_name="mBoxOrient",
                          extra_gecko_aliases="inline-axis=horizontal block-axis=vertical",
                          gecko_enum_prefix="StyleBoxOrient",
-                         animation_value_type="none",
+                         gecko_inexhaustive=True,
+                         animation_value_type="discrete",
                          alias="-webkit-box-orient",
                          spec="Nonstandard (https://developer.mozilla.org/en-US/docs/Web/CSS/box-orient)")}
 
 ${helpers.single_keyword("-moz-box-pack", "start center end justify",
                          products="gecko", gecko_ffi_name="mBoxPack",
                          gecko_enum_prefix="StyleBoxPack",
-                         animation_value_type="none",
+                         gecko_inexhaustive=True,
+                         animation_value_type="discrete",
                          alias="-webkit-box-pack",
                          spec="Nonstandard (https://developer.mozilla.org/en-US/docs/Web/CSS/box-pack)")}
 
 ${helpers.single_keyword("-moz-stack-sizing", "stretch-to-fit ignore ignore-horizontal ignore-vertical",
                          products="gecko", gecko_ffi_name="mStackSizing",
                          gecko_enum_prefix="StyleStackSizing",
-                         animation_value_type="none",
+                         gecko_inexhaustive=True,
+                         animation_value_type="discrete",
                          spec="Nonstandard (https://developer.mozilla.org/en-US/docs/Web/CSS/-moz-stack-sizing)")}
 
 ${helpers.predefined_type("-moz-box-ordinal-group", "Integer", "0",
                           parse_method="parse_non_negative",
                           products="gecko",
                           alias="-webkit-box-ordinal-group",
                           gecko_ffi_name="mBoxOrdinal",
                           animation_value_type="none",