summaryrefslogtreecommitdiffstats
path: root/servo/components/style/properties/counted_unknown_properties.py
diff options
context:
space:
mode:
Diffstat (limited to 'servo/components/style/properties/counted_unknown_properties.py')
-rw-r--r--servo/components/style/properties/counted_unknown_properties.py120
1 files changed, 120 insertions, 0 deletions
diff --git a/servo/components/style/properties/counted_unknown_properties.py b/servo/components/style/properties/counted_unknown_properties.py
new file mode 100644
index 0000000000..4de688cf5f
--- /dev/null
+++ b/servo/components/style/properties/counted_unknown_properties.py
@@ -0,0 +1,120 @@
+# This Source Code Form is subject to the terms of the Mozilla Public
+# License, v. 2.0. If a copy of the MPL was not distributed with this
+# file, You can obtain one at http://mozilla.org/MPL/2.0/.
+
+# The following properties are under development, so they are not in this list.
+# FIXME: We should handle the developing properties properly by Bug 1577358:
+# "backdrop-filter",
+# "text-decoration-skip-ink",
+# "column-span",
+# "offset-distance",
+# "offset-path",
+# "offset-rotate",
+# "offset",
+# "text-underline-position",
+COUNTED_UNKNOWN_PROPERTIES = [
+ "-webkit-font-smoothing",
+ "-webkit-tap-highlight-color",
+ "speak",
+ "text-size-adjust",
+ "-webkit-font-feature-settings",
+ "-webkit-user-drag",
+ "orphans",
+ "widows",
+ "-webkit-user-modify",
+ "-webkit-margin-before",
+ "-webkit-margin-after",
+ "-webkit-margin-start",
+ "-webkit-column-break-inside",
+ "-webkit-padding-start",
+ "-webkit-margin-end",
+ "-webkit-box-reflect",
+ "-webkit-print-color-adjust",
+ "-webkit-mask-box-image",
+ "-webkit-line-break",
+ "alignment-baseline",
+ "-webkit-writing-mode",
+ "baseline-shift",
+ "-webkit-hyphenate-character",
+ "-webkit-highlight",
+ "background-repeat-x",
+ "-webkit-padding-end",
+ "background-repeat-y",
+ "-webkit-text-emphasis-color",
+ "-webkit-margin-top-collapse",
+ "-webkit-rtl-ordering",
+ "-webkit-padding-before",
+ "-webkit-text-decorations-in-effect",
+ "-webkit-border-vertical-spacing",
+ "-webkit-locale",
+ "-webkit-padding-after",
+ "-webkit-border-horizontal-spacing",
+ "color-rendering",
+ "-webkit-column-break-before",
+ "-webkit-transform-origin-x",
+ "-webkit-transform-origin-y",
+ "-webkit-text-emphasis-position",
+ "buffered-rendering",
+ "-webkit-text-orientation",
+ "-webkit-text-combine",
+ "-webkit-text-emphasis-style",
+ "-webkit-text-emphasis",
+ "-webkit-mask-box-image-width",
+ "-webkit-mask-box-image-source",
+ "-webkit-mask-box-image-outset",
+ "-webkit-mask-box-image-slice",
+ "-webkit-mask-box-image-repeat",
+ "-webkit-margin-after-collapse",
+ "-webkit-border-before-color",
+ "-webkit-border-before-width",
+ "-webkit-perspective-origin-x",
+ "-webkit-perspective-origin-y",
+ "-webkit-margin-before-collapse",
+ "-webkit-border-before-style",
+ "-webkit-margin-bottom-collapse",
+ "-webkit-ruby-position",
+ "-webkit-column-break-after",
+ "-webkit-margin-collapse",
+ "-webkit-border-before",
+ "-webkit-border-end",
+ "-webkit-border-after",
+ "-webkit-border-start",
+ "-webkit-min-logical-width",
+ "-webkit-logical-height",
+ "-webkit-transform-origin-z",
+ "-webkit-font-size-delta",
+ "-webkit-logical-width",
+ "-webkit-max-logical-width",
+ "-webkit-min-logical-height",
+ "-webkit-max-logical-height",
+ "-webkit-border-end-color",
+ "-webkit-border-end-width",
+ "-webkit-border-start-color",
+ "-webkit-border-start-width",
+ "-webkit-border-after-color",
+ "-webkit-border-after-width",
+ "-webkit-border-end-style",
+ "-webkit-border-after-style",
+ "-webkit-border-start-style",
+ "-webkit-mask-repeat-x",
+ "-webkit-mask-repeat-y",
+ "user-zoom",
+ "min-zoom",
+ "-webkit-box-decoration-break",
+ "orientation",
+ "max-zoom",
+ "-webkit-app-region",
+ "-webkit-column-rule",
+ "-webkit-column-span",
+ "-webkit-column-gap",
+ "-webkit-shape-outside",
+ "-webkit-column-rule-width",
+ "-webkit-column-count",
+ "-webkit-opacity",
+ "-webkit-column-width",
+ "-webkit-shape-image-threshold",
+ "-webkit-column-rule-style",
+ "-webkit-columns",
+ "-webkit-column-rule-color",
+ "-webkit-shape-margin",
+]