Auto merge of #20056 - emilio:moz-user-input, r=bz

style: Remove -moz-user-input: enabled / disabled.

https://groups.google.com/d/msg/mozilla.dev.platform/E6tfP__wkwg/YVW6nPX9CQA

Bug: 1405087
Reviewed-by: bz

<!-- 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/20056)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2018-02-15 14:57:52 -05:00 committed by GitHub
commit ff58cb0a3f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 4 deletions

View file

@ -4973,9 +4973,7 @@ pub mod root {
#[derive(Debug, Copy, Clone, PartialEq, Eq, Hash)] #[derive(Debug, Copy, Clone, PartialEq, Eq, Hash)]
pub enum StyleUserInput { pub enum StyleUserInput {
None = 0, None = 0,
Enabled = 1, Auto = 1,
Disabled = 2,
Auto = 3,
} }
#[repr(u8)] #[repr(u8)]
#[derive(Debug, Copy, Clone, PartialEq, Eq, Hash)] #[derive(Debug, Copy, Clone, PartialEq, Eq, Hash)]

View file

@ -21,7 +21,7 @@ ${helpers.single_keyword("pointer-events", "auto none", animation_value_type="di
flags="APPLIES_TO_PLACEHOLDER", flags="APPLIES_TO_PLACEHOLDER",
spec="https://www.w3.org/TR/SVG11/interact.html#PointerEventsProperty")} spec="https://www.w3.org/TR/SVG11/interact.html#PointerEventsProperty")}
${helpers.single_keyword("-moz-user-input", "auto none enabled disabled", ${helpers.single_keyword("-moz-user-input", "auto none",
products="gecko", gecko_ffi_name="mUserInput", products="gecko", gecko_ffi_name="mUserInput",
gecko_enum_prefix="StyleUserInput", gecko_enum_prefix="StyleUserInput",
animation_value_type="discrete", animation_value_type="discrete",