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

style: Rename StyleUserInterface to StyleUI.

Browse source 
Differential Revision: https://phabricator.services.mozilla.com/D3276
This commit is contained in:
Xidorn Quan 2018-08-14 08:37:37 +00:00 • committed by Emilio Cobos Álvarez
parent e305b5a1f8
commit 916dc79dc9
No known key found for this signature in database
GPG key ID: 056B727BB9C1027C
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
components/style/properties/longhands/inherited_ui.mako.rs
View file

@ -4,7 +4,7 @@
<%namespace name="helpers" file="/helpers.mako.rs" /> <%namespace name="helpers" file="/helpers.mako.rs" />
<% data.new_style_struct("InheritedUI", inherited=True, gecko_name="UserInterface") %> <% data.new_style_struct("InheritedUI", inherited=True, gecko_name="UI") %>
${helpers.predefined_type("cursor", ${helpers.predefined_type("cursor",
"Cursor", "Cursor",