[gtk+] themingengine: Fix outline-width

[Benjamin Otte <otte src gnome org>]

commit 883c871be649cb51e1ff5f907a07fd7dfa1cbaf9
Author: Benjamin Otte <otte redhat com>
Date:   Sat Apr 7 07:40:19 2012 +0200

    themingengine: Fix outline-width
    
    It's a number, not an int.

 gtk/gtkthemingengine.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/gtk/gtkthemingengine.c b/gtk/gtkthemingengine.c
index 3f37512..1d3bc12 100644
--- a/gtk/gtkthemingengine.c
+++ b/gtk/gtkthemingengine.c
@@ -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];