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

style: Change experimental to servo_pref.

Browse source
This commit is contained in:
Emilio Cobos Álvarez 2017-11-15 23:58:45 +01:00
parent 24c4afa8d3
commit f4683d1718
No known key found for this signature in database
GPG key ID: 056B727BB9C1027C
6 changed files with 14 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

2
components/style/properties/build.py
View file

@ -81,7 +81,7 @@ def write(directory, filename, content):
def write_html(properties):
properties = dict(
(p.name, {
"flag": p.experimental,
"flag": p.servo_pref,
"shorthand": hasattr(p, "sub_properties")
})
for p in properties.longhands + properties.shorthands