diff options
| author | Mats Palmgren <mats@mozilla.com> | 2018-11-09 04:25:56 +0100 |
|---|---|---|
| committer | Emilio Cobos Álvarez <emilio@crisal.io> | 2018-11-10 21:11:01 +0100 |
| commit | 35c061179aff8a630853822a3e05213ce1b19ace (patch) | |
| tree | 9d3420a53109b80188e6c82333fc2e6d0aa046d0 | |
| parent | c194f42596c55e92066bc76c02093808c262ceca (diff) | |
| download | servo-35c061179aff8a630853822a3e05213ce1b19ace.tar.gz servo-35c061179aff8a630853822a3e05213ce1b19ace.zip | |
style: Add -webkit-appearance:progress-bar and make that the default for <progress> for compatibility with other UAs.
Keep our old 'progressbar' as an alias for now, but unship
'progresschunk' by restricting it to UA/chrome sheets only.
Unship 'progresschunk-vertical' by removing it since it's
not used internally for anything.
Bug: 1501506
Reviewed-by: jwatt
| -rw-r--r-- | components/style/values/specified/box.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/components/style/values/specified/box.rs b/components/style/values/specified/box.rs index 3c634df1ab6..da7b5d98eee 100644 --- a/components/style/values/specified/box.rs +++ b/components/style/values/specified/box.rs @@ -1047,13 +1047,13 @@ pub enum Appearance { /// For HTML's <input type=number> NumberInput, /// A horizontal progress bar. - Progressbar, + #[parse(aliases = "progressbar")] + ProgressBar, /// The progress bar's progress indicator + #[parse(condition = "in_ua_or_chrome_sheet")] Progresschunk, /// A vertical progress bar. ProgressbarVertical, - /// A vertical progress chunk. - ProgresschunkVertical, /// A checkbox element. Checkbox, /// A radio element within a radio group. |