servo: Merge #20056 - style: Remove -moz-user-input: enabled / disabled (from emilio:moz-user-input); r=bz

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

Bug: 1405087
Reviewed-by: bz
Source-Repo: https://github.com/servo/servo
Source-Revision: ff58cb0a3f19df7f0a12476a68407a65702f3c20

--HG--
extra : subtree_source : https%3A//hg.mozilla.org/projects/converted-servo-linear
extra : subtree_revision : 0316bcaa23cf3d1919f270dad75e83d748901b06
This commit is contained in:
Emilio Cobos Álvarez 2018-02-15 14:57:52 -05:00
parent bb7afb1c0b
commit 6e8bfc21aa
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)]
pub enum StyleUserInput {
None = 0,
Enabled = 1,
Disabled = 2,
Auto = 3,
Auto = 1,
}
#[repr(u8)]
#[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",
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",
gecko_enum_prefix="StyleUserInput",
animation_value_type="discrete",