themingengine: Fix outline-width

It's a number, not an int.
This commit is contained in:
Benjamin Otte 2012-04-07 07:40:19 +02:00
parent ba7141b92e
commit 883c871be6

View File

@ -1828,7 +1828,7 @@ render_frame_internal (GtkThemingEngine *engine,
int offset;
border_style[1] = border_style[2] = border_style[3] = border_style[0];
border.top = _gtk_css_value_get_int (_gtk_theming_engine_peek_property (engine, GTK_CSS_PROPERTY_OUTLINE_WIDTH));
border.top = round (_gtk_css_number_value_get (_gtk_theming_engine_peek_property (engine, GTK_CSS_PROPERTY_OUTLINE_WIDTH), 100));
border.left = border.right = border.bottom = border.top;
colors[0] = *_gtk_css_rgba_value_get_rgba (_gtk_theming_engine_peek_property (engine, GTK_CSS_PROPERTY_OUTLINE_COLOR));
colors[3] = colors[2] = colors[1] = colors[0];