Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-08 23:15:33 +01:00
Code Issues Projects Releases Packages Wiki Activity

style: Rename pointing to inherited_ui.

Browse source 
And also merge values::*::pointing into values::*::ui.

Bug: 1460192
Reviewed-by: heycam
MozReview-Commit-ID: FM4gWEszahB
This commit is contained in:
Xidorn Quan 2018-05-09 16:07:36 +10:00 • committed by Emilio Cobos Álvarez
parent 4ab0e85ed5
commit db0134e697
No known key found for this signature in database
GPG key ID: 056B727BB9C1027C
12 changed files with 103 additions and 134 deletions
Download patch file Download diff file Expand all files Collapse all files

4
components/style/properties/longhand/pointing.mako.rs → components/style/properties/longhand/inherited_ui.mako.rs
View file

@ -4,7 +4,7 @@
<%namespace name="helpers" file="/helpers.mako.rs" />
<% data.new_style_struct("Pointing", inherited=True, gecko_name="UserInterface") %>
<% data.new_style_struct("InheritedUI", inherited=True, gecko_name="UserInterface") %>
${helpers.predefined_type("cursor",
"Cursor",
@ -44,7 +44,7 @@ ${helpers.single_keyword("-moz-user-focus",
${helpers.predefined_type(
"caret-color",
"CaretColor",
"generics::pointing::CaretColor::Auto",
"generics::ui::CaretColor::Auto",
spec="https://drafts.csswg.org/css-ui/#caret-color",
animation_value_type="AnimatedCaretColor",
ignored_when_colors_disabled=True,