css: add properties for outline-radius

Both a shorthand and individual properties. This is not officially part
of the CSS standard, but there's precedence for it at least in Mozilla:
https://developer.mozilla.org/en-US/docs/Web/CSS/-moz-outline-radius
This commit is contained in:
Cosimo Cecchi
2014-05-01 18:11:23 +02:00
parent a60ba815d9
commit e8cbbedbb2
4 changed files with 53 additions and 0 deletions

View File

@ -277,6 +277,10 @@ gtk_css_value_array_transition (GtkCssValue *start,
case GTK_CSS_PROPERTY_OUTLINE_STYLE:
case GTK_CSS_PROPERTY_OUTLINE_WIDTH:
case GTK_CSS_PROPERTY_OUTLINE_OFFSET:
case GTK_CSS_PROPERTY_OUTLINE_TOP_LEFT_RADIUS:
case GTK_CSS_PROPERTY_OUTLINE_TOP_RIGHT_RADIUS:
case GTK_CSS_PROPERTY_OUTLINE_BOTTOM_RIGHT_RADIUS:
case GTK_CSS_PROPERTY_OUTLINE_BOTTOM_LEFT_RADIUS:
case GTK_CSS_PROPERTY_BORDER_TOP_COLOR:
case GTK_CSS_PROPERTY_BORDER_RIGHT_COLOR:
case GTK_CSS_PROPERTY_BORDER_BOTTOM_COLOR: