[gtk+/wip/cssvalue] css: Add an enum for all the style properties



commit 6e3b469746ce76344af6a6eecdade84c66469a55
Author: Benjamin Otte <otte redhat com>
Date:   Sat Mar 31 05:28:58 2012 +0200

    css: Add an enum for all the style properties
    
    So instead of using
      _gtk_css_style_property_get_id (GTK_CSS_STYLE_PROPERTY
            (_gtk_style_property_lookup ("name")))
    one can now use
      GTK_CSS_PROPERTY_NAME
    
    Esaier, eh?

 gtk/gtkcssstylepropertyimpl.c |   54 +++++++++++++++++++++++++++++++++++++++++
 gtk/gtkcsstypesprivate.h      |   54 +++++++++++++++++++++++++++++++++++++++++
 2 files changed, 108 insertions(+), 0 deletions(-)
---
diff --git a/gtk/gtkcssstylepropertyimpl.c b/gtk/gtkcssstylepropertyimpl.c
index f15a7b7..314445b 100644
--- a/gtk/gtkcssstylepropertyimpl.c
+++ b/gtk/gtkcssstylepropertyimpl.c
@@ -58,6 +58,7 @@
 
 static void
 gtk_css_style_property_register (const char *                   name,
+                                 guint                          expected_id,
                                  GType                          value_type,
                                  GtkStylePropertyFlags          flags,
                                  GtkCssStylePropertyParseFunc   parse_value,
@@ -93,6 +94,8 @@ gtk_css_style_property_register (const char *                   name,
     node->equal_func = equal_func;
 
   _gtk_css_value_unref (initial_value);
+
+  g_assert (_gtk_css_style_property_get_id (node) == expected_id);
 }
 
 /*** IMPLEMENTATIONS ***/
@@ -1191,6 +1194,7 @@ _gtk_css_style_property_init_properties (void)
    * done first. That way, 'currentColor' and font
    * sizes in em can be looked up properly */
   gtk_css_style_property_register        ("color",
+                                          GTK_CSS_PROPERTY_COLOR,
                                           GDK_TYPE_RGBA,
                                           GTK_STYLE_PROPERTY_INHERIT,
                                           color_parse,
@@ -1202,6 +1206,7 @@ _gtk_css_style_property_init_properties (void)
                                           _gtk_css_value_new_take_symbolic_color (
                                             gtk_symbolic_color_new_rgba (1, 1, 1, 1)));
   gtk_css_style_property_register        ("font-size",
+                                          GTK_CSS_PROPERTY_FONT_SIZE,
                                           G_TYPE_DOUBLE,
                                           GTK_STYLE_PROPERTY_INHERIT,
                                           font_size_parse,
@@ -1216,6 +1221,7 @@ _gtk_css_style_property_init_properties (void)
   /* properties that aren't referenced when computing values
    * start here */
   gtk_css_style_property_register        ("background-color",
+                                          GTK_CSS_PROPERTY_BACKGROUND_COLOR,
                                           GDK_TYPE_RGBA,
                                           0,
                                           color_parse,
@@ -1229,6 +1235,7 @@ _gtk_css_style_property_init_properties (void)
 
   value = _gtk_css_string_value_new ("Sans");
   gtk_css_style_property_register        ("font-family",
+                                          GTK_CSS_PROPERTY_FONT_FAMILY,
                                           G_TYPE_STRV,
                                           GTK_STYLE_PROPERTY_INHERIT,
                                           font_family_parse,
@@ -1239,6 +1246,7 @@ _gtk_css_style_property_init_properties (void)
                                           NULL,
                                           _gtk_css_array_value_new (&value, 1));
   gtk_css_style_property_register        ("font-style",
+                                          GTK_CSS_PROPERTY_FONT_STYLE,
                                           PANGO_TYPE_STYLE,
                                           GTK_STYLE_PROPERTY_INHERIT,
                                           parse_pango_style,
@@ -1249,6 +1257,7 @@ _gtk_css_style_property_init_properties (void)
                                           NULL,
                                           _gtk_css_font_style_value_new (PANGO_STYLE_NORMAL));
   gtk_css_style_property_register        ("font-variant",
+                                          GTK_CSS_PROPERTY_FONT_VARIANT,
                                           PANGO_TYPE_VARIANT,
                                           GTK_STYLE_PROPERTY_INHERIT,
                                           parse_pango_variant,
@@ -1259,6 +1268,7 @@ _gtk_css_style_property_init_properties (void)
                                           NULL,
                                           _gtk_css_font_variant_value_new (PANGO_VARIANT_NORMAL));
   gtk_css_style_property_register        ("font-weight",
+                                          GTK_CSS_PROPERTY_FONT_WEIGHT,
                                           PANGO_TYPE_WEIGHT,
                                           GTK_STYLE_PROPERTY_INHERIT,
                                           parse_pango_weight,
@@ -1270,6 +1280,7 @@ _gtk_css_style_property_init_properties (void)
                                           _gtk_css_font_weight_value_new (PANGO_WEIGHT_NORMAL));
 
   gtk_css_style_property_register        ("text-shadow",
+                                          GTK_CSS_PROPERTY_TEXT_SHADOW,
                                           G_TYPE_NONE,
                                           GTK_STYLE_PROPERTY_INHERIT,
                                           shadow_value_parse,
@@ -1281,6 +1292,7 @@ _gtk_css_style_property_init_properties (void)
                                           _gtk_css_shadow_value_new_none ());
 
   gtk_css_style_property_register        ("icon-shadow",
+                                          GTK_CSS_PROPERTY_ICON_SHADOW,
                                           G_TYPE_NONE,
                                           GTK_STYLE_PROPERTY_INHERIT,
                                           shadow_value_parse,
@@ -1292,6 +1304,7 @@ _gtk_css_style_property_init_properties (void)
                                           _gtk_css_shadow_value_new_none ());
 
   gtk_css_style_property_register        ("box-shadow",
+                                          GTK_CSS_PROPERTY_BOX_SHADOW,
                                           G_TYPE_NONE,
                                           0,
                                           shadow_value_parse,
@@ -1303,6 +1316,7 @@ _gtk_css_style_property_init_properties (void)
                                           _gtk_css_shadow_value_new_none ());
 
   gtk_css_style_property_register        ("margin-top",
+                                          GTK_CSS_PROPERTY_MARGIN_TOP,
                                           G_TYPE_INT,
                                           0,
                                           parse_margin,
@@ -1313,6 +1327,7 @@ _gtk_css_style_property_init_properties (void)
                                           NULL,
                                           _gtk_css_number_value_new (0.0, GTK_CSS_PX));
   gtk_css_style_property_register        ("margin-left",
+                                          GTK_CSS_PROPERTY_MARGIN_LEFT,
                                           G_TYPE_INT,
                                           0,
                                           parse_margin,
@@ -1323,6 +1338,7 @@ _gtk_css_style_property_init_properties (void)
                                           NULL,
                                           _gtk_css_number_value_new (0.0, GTK_CSS_PX));
   gtk_css_style_property_register        ("margin-bottom",
+                                          GTK_CSS_PROPERTY_MARGIN_BOTTOM,
                                           G_TYPE_INT,
                                           0,
                                           parse_margin,
@@ -1333,6 +1349,7 @@ _gtk_css_style_property_init_properties (void)
                                           NULL,
                                           _gtk_css_number_value_new (0.0, GTK_CSS_PX));
   gtk_css_style_property_register        ("margin-right",
+                                          GTK_CSS_PROPERTY_MARGIN_RIGHT,
                                           G_TYPE_INT,
                                           0,
                                           parse_margin,
@@ -1343,6 +1360,7 @@ _gtk_css_style_property_init_properties (void)
                                           NULL,
                                           _gtk_css_number_value_new (0.0, GTK_CSS_PX));
   gtk_css_style_property_register        ("padding-top",
+                                          GTK_CSS_PROPERTY_PADDING_TOP,
                                           G_TYPE_INT,
                                           0,
                                           parse_padding,
@@ -1353,6 +1371,7 @@ _gtk_css_style_property_init_properties (void)
                                           NULL,
                                           _gtk_css_number_value_new (0.0, GTK_CSS_PX));
   gtk_css_style_property_register        ("padding-left",
+                                          GTK_CSS_PROPERTY_PADDING_LEFT,
                                           G_TYPE_INT,
                                           0,
                                           parse_padding,
@@ -1363,6 +1382,7 @@ _gtk_css_style_property_init_properties (void)
                                           NULL,
                                           _gtk_css_number_value_new (0.0, GTK_CSS_PX));
   gtk_css_style_property_register        ("padding-bottom",
+                                          GTK_CSS_PROPERTY_PADDING_BOTTOM,
                                           G_TYPE_INT,
                                           0,
                                           parse_padding,
@@ -1373,6 +1393,7 @@ _gtk_css_style_property_init_properties (void)
                                           NULL,
                                           _gtk_css_number_value_new (0.0, GTK_CSS_PX));
   gtk_css_style_property_register        ("padding-right",
+                                          GTK_CSS_PROPERTY_PADDING_RIGHT,
                                           G_TYPE_INT,
                                           0,
                                           parse_padding,
@@ -1386,6 +1407,7 @@ _gtk_css_style_property_init_properties (void)
    * properties be immeditaly followed by the border-style properties
    */
   gtk_css_style_property_register        ("border-top-style",
+                                          GTK_CSS_PROPERTY_BORDER_TOP_STYLE,
                                           GTK_TYPE_BORDER_STYLE,
                                           0,
                                           parse_border_style,
@@ -1396,6 +1418,7 @@ _gtk_css_style_property_init_properties (void)
                                           NULL,
                                           _gtk_css_border_style_value_new (GTK_BORDER_STYLE_NONE));
   gtk_css_style_property_register        ("border-top-width",
+                                          GTK_CSS_PROPERTY_BORDER_TOP_WIDTH,
                                           G_TYPE_INT,
                                           0,
                                           parse_border_width,
@@ -1406,6 +1429,7 @@ _gtk_css_style_property_init_properties (void)
                                           NULL,
                                           _gtk_css_number_value_new (0.0, GTK_CSS_PX));
   gtk_css_style_property_register        ("border-left-style",
+                                          GTK_CSS_PROPERTY_BORDER_LEFT_STYLE,
                                           GTK_TYPE_BORDER_STYLE,
                                           0,
                                           parse_border_style,
@@ -1416,6 +1440,7 @@ _gtk_css_style_property_init_properties (void)
                                           NULL,
                                           _gtk_css_border_style_value_new (GTK_BORDER_STYLE_NONE));
   gtk_css_style_property_register        ("border-left-width",
+                                          GTK_CSS_PROPERTY_BORDER_LEFT_WIDTH,
                                           G_TYPE_INT,
                                           0,
                                           parse_border_width,
@@ -1426,6 +1451,7 @@ _gtk_css_style_property_init_properties (void)
                                           NULL,
                                           _gtk_css_number_value_new (0.0, GTK_CSS_PX));
   gtk_css_style_property_register        ("border-bottom-style",
+                                          GTK_CSS_PROPERTY_BORDER_BOTTOM_STYLE,
                                           GTK_TYPE_BORDER_STYLE,
                                           0,
                                           parse_border_style,
@@ -1436,6 +1462,7 @@ _gtk_css_style_property_init_properties (void)
                                           NULL,
                                           _gtk_css_border_style_value_new (GTK_BORDER_STYLE_NONE));
   gtk_css_style_property_register        ("border-bottom-width",
+                                          GTK_CSS_PROPERTY_BORDER_BOTTOM_WIDTH,
                                           G_TYPE_INT,
                                           0,
                                           parse_border_width,
@@ -1446,6 +1473,7 @@ _gtk_css_style_property_init_properties (void)
                                           NULL,
                                           _gtk_css_number_value_new (0.0, GTK_CSS_PX));
   gtk_css_style_property_register        ("border-right-style",
+                                          GTK_CSS_PROPERTY_BORDER_RIGHT_STYLE,
                                           GTK_TYPE_BORDER_STYLE,
                                           0,
                                           parse_border_style,
@@ -1456,6 +1484,7 @@ _gtk_css_style_property_init_properties (void)
                                           NULL,
                                           _gtk_css_border_style_value_new (GTK_BORDER_STYLE_NONE));
   gtk_css_style_property_register        ("border-right-width",
+                                          GTK_CSS_PROPERTY_BORDER_RIGHT_WIDTH,
                                           G_TYPE_INT,
                                           0,
                                           parse_border_width,
@@ -1467,6 +1496,7 @@ _gtk_css_style_property_init_properties (void)
                                           _gtk_css_number_value_new (0.0, GTK_CSS_PX));
 
   gtk_css_style_property_register        ("border-top-left-radius",
+                                          GTK_CSS_PROPERTY_BORDER_TOP_LEFT_RADIUS,
                                           GTK_TYPE_CSS_BORDER_CORNER_RADIUS,
                                           0,
                                           border_corner_radius_value_parse,
@@ -1477,6 +1507,7 @@ _gtk_css_style_property_init_properties (void)
                                           NULL,
                                           _gtk_css_value_new_from_border_corner_radius (&no_corner_radius));
   gtk_css_style_property_register        ("border-top-right-radius",
+                                          GTK_CSS_PROPERTY_BORDER_TOP_RIGHT_RADIUS,
                                           GTK_TYPE_CSS_BORDER_CORNER_RADIUS,
                                           0,
                                           border_corner_radius_value_parse,
@@ -1487,6 +1518,7 @@ _gtk_css_style_property_init_properties (void)
                                           NULL,
                                           _gtk_css_value_new_from_border_corner_radius (&no_corner_radius));
   gtk_css_style_property_register        ("border-bottom-right-radius",
+                                          GTK_CSS_PROPERTY_BORDER_BOTTOM_RIGHT_RADIUS,
                                           GTK_TYPE_CSS_BORDER_CORNER_RADIUS,
                                           0,
                                           border_corner_radius_value_parse,
@@ -1497,6 +1529,7 @@ _gtk_css_style_property_init_properties (void)
                                           NULL,
                                           _gtk_css_value_new_from_border_corner_radius (&no_corner_radius));
   gtk_css_style_property_register        ("border-bottom-left-radius",
+                                          GTK_CSS_PROPERTY_BORDER_BOTTOM_LEFT_RADIUS,
                                           GTK_TYPE_CSS_BORDER_CORNER_RADIUS,
                                           0,
                                           border_corner_radius_value_parse,
@@ -1508,6 +1541,7 @@ _gtk_css_style_property_init_properties (void)
                                           _gtk_css_value_new_from_border_corner_radius (&no_corner_radius));
 
   gtk_css_style_property_register        ("outline-style",
+                                          GTK_CSS_PROPERTY_OUTLINE_STYLE,
                                           GTK_TYPE_BORDER_STYLE,
                                           0,
                                           parse_border_style,
@@ -1518,6 +1552,7 @@ _gtk_css_style_property_init_properties (void)
                                           NULL,
                                           _gtk_css_border_style_value_new (GTK_BORDER_STYLE_NONE));
   gtk_css_style_property_register        ("outline-width",
+                                          GTK_CSS_PROPERTY_OUTLINE_WIDTH,
                                           G_TYPE_INT,
                                           0,
                                           parse_border_width,
@@ -1528,6 +1563,7 @@ _gtk_css_style_property_init_properties (void)
                                           NULL,
                                           _gtk_css_number_value_new (0.0, GTK_CSS_PX));
   gtk_css_style_property_register        ("outline-offset",
+                                          GTK_CSS_PROPERTY_OUTLINE_OFFSET,
                                           G_TYPE_INT,
                                           0,
                                           outline_parse,
@@ -1539,6 +1575,7 @@ _gtk_css_style_property_init_properties (void)
                                           _gtk_css_value_new_from_int (0));
 
   gtk_css_style_property_register        ("background-clip",
+                                          GTK_CSS_PROPERTY_BACKGROUND_CLIP,
                                           G_TYPE_NONE,
                                           0,
                                           parse_css_area,
@@ -1549,6 +1586,7 @@ _gtk_css_style_property_init_properties (void)
                                           NULL,
                                           _gtk_css_area_value_new (GTK_CSS_AREA_BORDER_BOX));
   gtk_css_style_property_register        ("background-origin",
+                                          GTK_CSS_PROPERTY_BACKGROUND_ORIGIN,
                                           G_TYPE_NONE,
                                           0,
                                           parse_css_area,
@@ -1559,6 +1597,7 @@ _gtk_css_style_property_init_properties (void)
                                           NULL,
                                           _gtk_css_area_value_new (GTK_CSS_AREA_PADDING_BOX));
   gtk_css_style_property_register        ("background-size",
+                                          GTK_CSS_PROPERTY_BACKGROUND_SIZE,
                                           G_TYPE_NONE,
                                           0,
                                           background_size_parse,
@@ -1569,6 +1608,7 @@ _gtk_css_style_property_init_properties (void)
                                           NULL,
                                           _gtk_css_value_new_from_background_size (&default_background_size));
   gtk_css_style_property_register        ("background-position",
+                                          GTK_CSS_PROPERTY_BACKGROUND_POSITION,
                                           G_TYPE_NONE,
                                           0,
                                           background_position_parse,
@@ -1580,6 +1620,7 @@ _gtk_css_style_property_init_properties (void)
                                           _gtk_css_value_new_from_background_position (&default_background_position));
 
   gtk_css_style_property_register        ("border-top-color",
+                                          GTK_CSS_PROPERTY_BORDER_TOP_COLOR,
                                           GDK_TYPE_RGBA,
                                           0,
                                           color_parse,
@@ -1592,6 +1633,7 @@ _gtk_css_style_property_init_properties (void)
                                             gtk_symbolic_color_ref (
                                               _gtk_symbolic_color_get_current_color ())));
   gtk_css_style_property_register        ("border-right-color",
+                                          GTK_CSS_PROPERTY_BORDER_RIGHT_COLOR,
                                           GDK_TYPE_RGBA,
                                           0,
                                           color_parse,
@@ -1604,6 +1646,7 @@ _gtk_css_style_property_init_properties (void)
                                             gtk_symbolic_color_ref (
                                               _gtk_symbolic_color_get_current_color ())));
   gtk_css_style_property_register        ("border-bottom-color",
+                                          GTK_CSS_PROPERTY_BORDER_BOTTOM_COLOR,
                                           GDK_TYPE_RGBA,
                                           0,
                                           color_parse,
@@ -1616,6 +1659,7 @@ _gtk_css_style_property_init_properties (void)
                                             gtk_symbolic_color_ref (
                                               _gtk_symbolic_color_get_current_color ())));
   gtk_css_style_property_register        ("border-left-color",
+                                          GTK_CSS_PROPERTY_BORDER_LEFT_COLOR,
                                           GDK_TYPE_RGBA,
                                           0,
                                           color_parse,
@@ -1628,6 +1672,7 @@ _gtk_css_style_property_init_properties (void)
                                             gtk_symbolic_color_ref (
                                               _gtk_symbolic_color_get_current_color ())));
   gtk_css_style_property_register        ("outline-color",
+                                          GTK_CSS_PROPERTY_OUTLINE_COLOR,
                                           GDK_TYPE_RGBA,
                                           0,
                                           color_parse,
@@ -1641,6 +1686,7 @@ _gtk_css_style_property_init_properties (void)
                                               _gtk_symbolic_color_get_current_color ())));
 
   gtk_css_style_property_register        ("background-repeat",
+                                          GTK_CSS_PROPERTY_BACKGROUND_REPEAT,
                                           GTK_TYPE_CSS_BACKGROUND_REPEAT,
                                           0,
                                           background_repeat_value_parse,
@@ -1653,6 +1699,7 @@ _gtk_css_style_property_init_properties (void)
                                                                         GTK_CSS_BACKGROUND_REPEAT | 
                                                                         (GTK_CSS_BACKGROUND_REPEAT << GTK_CSS_BACKGROUND_REPEAT_SHIFT)));
   gtk_css_style_property_register        ("background-image",
+                                          GTK_CSS_PROPERTY_BACKGROUND_IMAGE,
                                           CAIRO_GOBJECT_TYPE_PATTERN,
                                           0,
                                           css_image_value_parse,
@@ -1664,6 +1711,7 @@ _gtk_css_style_property_init_properties (void)
                                           _gtk_css_image_value_new (NULL));
 
   gtk_css_style_property_register        ("border-image-source",
+                                          GTK_CSS_PROPERTY_BORDER_IMAGE_SOURCE,
                                           CAIRO_GOBJECT_TYPE_PATTERN,
                                           0,
                                           css_image_value_parse,
@@ -1674,6 +1722,7 @@ _gtk_css_style_property_init_properties (void)
                                           NULL,
                                           _gtk_css_image_value_new (NULL));
   gtk_css_style_property_register        ("border-image-repeat",
+                                          GTK_CSS_PROPERTY_BORDER_IMAGE_REPEAT,
                                           GTK_TYPE_CSS_BORDER_IMAGE_REPEAT,
                                           0,
                                           border_image_repeat_parse,
@@ -1686,6 +1735,7 @@ _gtk_css_style_property_init_properties (void)
 
   /* XXX: The initial value is wrong, it should be 100% */
   gtk_css_style_property_register        ("border-image-slice",
+                                          GTK_CSS_PROPERTY_BORDER_IMAGE_SLICE,
                                           GTK_TYPE_BORDER,
                                           0,
                                           border_image_slice_parse,
@@ -1696,6 +1746,7 @@ _gtk_css_style_property_init_properties (void)
                                           NULL,
                                           _gtk_css_value_new_from_boxed (GTK_TYPE_BORDER, &border_of_ones));
   gtk_css_style_property_register        ("border-image-width",
+                                          GTK_CSS_PROPERTY_BORDER_IMAGE_WIDTH,
                                           GTK_TYPE_BORDER,
                                           0,
                                           border_image_width_parse,
@@ -1706,6 +1757,7 @@ _gtk_css_style_property_init_properties (void)
                                           NULL,
                                           _gtk_css_value_new_from_boxed (GTK_TYPE_BORDER, NULL));
   gtk_css_style_property_register        ("engine",
+                                          GTK_CSS_PROPERTY_ENGINE,
                                           GTK_TYPE_THEMING_ENGINE,
                                           0,
                                           engine_parse,
@@ -1716,6 +1768,7 @@ _gtk_css_style_property_init_properties (void)
                                           NULL,
                                           _gtk_css_value_new_from_theming_engine (gtk_theming_engine_load (NULL)));
   gtk_css_style_property_register        ("transition",
+                                          GTK_CSS_PROPERTY_TRANSITION,
                                           GTK_TYPE_ANIMATION_DESCRIPTION,
                                           0,
                                           transition_parse,
@@ -1728,6 +1781,7 @@ _gtk_css_style_property_init_properties (void)
 
   /* Private property holding the binding sets */
   gtk_css_style_property_register        ("gtk-key-bindings",
+                                          GTK_CSS_PROPERTY_GTK_KEY_BINDINGS,
                                           G_TYPE_PTR_ARRAY,
                                           0,
                                           bindings_value_parse,
diff --git a/gtk/gtkcsstypesprivate.h b/gtk/gtkcsstypesprivate.h
index 6371c54..0295cb7 100644
--- a/gtk/gtkcsstypesprivate.h
+++ b/gtk/gtkcsstypesprivate.h
@@ -54,6 +54,60 @@ typedef enum { /*< skip >*/
                                    GTK_CSS_CHANGE_PARENT_POSITION | GTK_CSS_CHANGE_PARENT_SIBLING_POSITION | \
                                    GTK_CSS_CHANGE_PARENT_STATE | GTK_CSS_CHANGE_PARENT_SIBLING_STATE)
 
+enum { /*< skip >*/
+  GTK_CSS_PROPERTY_COLOR,
+  GTK_CSS_PROPERTY_FONT_SIZE,
+  GTK_CSS_PROPERTY_BACKGROUND_COLOR,
+  GTK_CSS_PROPERTY_FONT_FAMILY,
+  GTK_CSS_PROPERTY_FONT_STYLE,
+  GTK_CSS_PROPERTY_FONT_VARIANT,
+  GTK_CSS_PROPERTY_FONT_WEIGHT,
+  GTK_CSS_PROPERTY_TEXT_SHADOW,
+  GTK_CSS_PROPERTY_ICON_SHADOW,
+  GTK_CSS_PROPERTY_BOX_SHADOW,
+  GTK_CSS_PROPERTY_MARGIN_TOP,
+  GTK_CSS_PROPERTY_MARGIN_LEFT,
+  GTK_CSS_PROPERTY_MARGIN_BOTTOM,
+  GTK_CSS_PROPERTY_MARGIN_RIGHT,
+  GTK_CSS_PROPERTY_PADDING_TOP,
+  GTK_CSS_PROPERTY_PADDING_LEFT,
+  GTK_CSS_PROPERTY_PADDING_BOTTOM,
+  GTK_CSS_PROPERTY_PADDING_RIGHT,
+  GTK_CSS_PROPERTY_BORDER_TOP_STYLE,
+  GTK_CSS_PROPERTY_BORDER_TOP_WIDTH,
+  GTK_CSS_PROPERTY_BORDER_LEFT_STYLE,
+  GTK_CSS_PROPERTY_BORDER_LEFT_WIDTH,
+  GTK_CSS_PROPERTY_BORDER_BOTTOM_STYLE,
+  GTK_CSS_PROPERTY_BORDER_BOTTOM_WIDTH,
+  GTK_CSS_PROPERTY_BORDER_RIGHT_STYLE,
+  GTK_CSS_PROPERTY_BORDER_RIGHT_WIDTH,
+  GTK_CSS_PROPERTY_BORDER_TOP_LEFT_RADIUS,
+  GTK_CSS_PROPERTY_BORDER_TOP_RIGHT_RADIUS,
+  GTK_CSS_PROPERTY_BORDER_BOTTOM_RIGHT_RADIUS,
+  GTK_CSS_PROPERTY_BORDER_BOTTOM_LEFT_RADIUS,
+  GTK_CSS_PROPERTY_OUTLINE_STYLE,
+  GTK_CSS_PROPERTY_OUTLINE_WIDTH,
+  GTK_CSS_PROPERTY_OUTLINE_OFFSET,
+  GTK_CSS_PROPERTY_BACKGROUND_CLIP,
+  GTK_CSS_PROPERTY_BACKGROUND_ORIGIN,
+  GTK_CSS_PROPERTY_BACKGROUND_SIZE,
+  GTK_CSS_PROPERTY_BACKGROUND_POSITION,
+  GTK_CSS_PROPERTY_BORDER_TOP_COLOR,
+  GTK_CSS_PROPERTY_BORDER_RIGHT_COLOR,
+  GTK_CSS_PROPERTY_BORDER_BOTTOM_COLOR,
+  GTK_CSS_PROPERTY_BORDER_LEFT_COLOR,
+  GTK_CSS_PROPERTY_OUTLINE_COLOR,
+  GTK_CSS_PROPERTY_BACKGROUND_REPEAT,
+  GTK_CSS_PROPERTY_BACKGROUND_IMAGE,
+  GTK_CSS_PROPERTY_BORDER_IMAGE_SOURCE,
+  GTK_CSS_PROPERTY_BORDER_IMAGE_REPEAT,
+  GTK_CSS_PROPERTY_BORDER_IMAGE_SLICE,
+  GTK_CSS_PROPERTY_BORDER_IMAGE_WIDTH,
+  GTK_CSS_PROPERTY_ENGINE,
+  GTK_CSS_PROPERTY_TRANSITION,
+  GTK_CSS_PROPERTY_GTK_KEY_BINDINGS
+};
+
 /* We encode horizontal and vertical repeat in one enum value.
  * This eases parsing and storage, but you need to be aware that
  * you have to "unpack" this value.



[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]