diff options
| author | Benjamin Otte <otte@redhat.com> | 2012-04-07 07:40:19 +0200 |
|---|---|---|
| committer | Benjamin Otte <otte@redhat.com> | 2012-04-17 08:59:20 +0200 |
| commit | 883c871be649cb51e1ff5f907a07fd7dfa1cbaf9 (patch) | |
| tree | 031dc2ab8189ed8b5e25229a5028826ce6576f8e /gtk/gtkthemingengine.c | |
| parent | ba7141b92e47ffb75131d77f2fe5589d8e3010db (diff) | |
| download | gtk+-883c871be649cb51e1ff5f907a07fd7dfa1cbaf9.tar.gz | |
themingengine: Fix outline-width
It's a number, not an int.
Diffstat (limited to 'gtk/gtkthemingengine.c')
| -rw-r--r-- | gtk/gtkthemingengine.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gtk/gtkthemingengine.c b/gtk/gtkthemingengine.c index 3f3751284b..1d3bc129f5 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]; |