css: Add <time> type to css number stuff

[~andy/gtk] / gtk / gtkcssparser.c

diff --git a/gtk/gtkcssparser.c b/gtk/gtkcssparser.c
index 1d2ec8f04bb321d217cacd81c79c40edd5435db0..c50a9bb75c98046db38b742bbb7cf19f5cc0aedd 100644 (file)
--- a/gtk/gtkcssparser.c
+++ b/gtk/gtkcssparser.c
@@ -572,7 +572,9 @@ _gtk_css_parser_read_number (GtkCssParser           *parser,
     { "rad",  GTK_CSS_RAD,     GTK_CSS_PARSE_ANGLE  },
     { "deg",  GTK_CSS_DEG,     GTK_CSS_PARSE_ANGLE  },
     { "grad", GTK_CSS_GRAD,    GTK_CSS_PARSE_ANGLE  },
-    { "turn", GTK_CSS_TURN,    GTK_CSS_PARSE_ANGLE  }
+    { "turn", GTK_CSS_TURN,    GTK_CSS_PARSE_ANGLE  },
+    { "s",    GTK_CSS_S,       GTK_CSS_PARSE_TIME   },
+    { "ms",   GTK_CSS_MS,      GTK_CSS_PARSE_TIME   }
   };
   char *end, *unit;