mirror of
https://github.com/servo/servo.git
synced 2025-07-23 07:13:52 +01:00
style: Remove unimplemented values of the user-select property.
Can't believe we literally had no code to handle them. Differential Revision: https://phabricator.services.mozilla.com/D11581
This commit is contained in:
parent
1aa6725f9a
commit
0c8b1a9004
1 changed files with 0 additions and 4 deletions
|
@ -163,11 +163,7 @@ pub enum UserSelect {
|
||||||
Text,
|
Text,
|
||||||
#[parse(aliases = "-moz-none")]
|
#[parse(aliases = "-moz-none")]
|
||||||
None,
|
None,
|
||||||
Element,
|
|
||||||
Elements,
|
|
||||||
All,
|
All,
|
||||||
Toggle,
|
|
||||||
TriState,
|
|
||||||
/// Force selection of all children, unless an ancestor has `none` set.
|
/// Force selection of all children, unless an ancestor has `none` set.
|
||||||
///
|
///
|
||||||
/// See bug 48096.
|
/// See bug 48096.
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue