css: Add <time> type to css number stuff

2012-04-01 04:02:34 +02:00
parent 68b7d3e410
commit 662d6787f3
4 changed files with 15 additions and 3 deletions
--- 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;