diff options
author | Cosimo Cecchi <cosimoc@gnome.org> | 2014-05-04 18:51:53 +0200 |
---|---|---|
committer | Cosimo Cecchi <cosimoc@gnome.org> | 2014-05-09 11:02:44 -0700 |
commit | 694b209094c8bff90eca7beae911982af822224e (patch) | |
tree | 751d59293d5aeba78a259246f176953c38bc86c5 | |
parent | bbadfbcd2a2e209e0b0f89f47a42a156cb484581 (diff) | |
download | gtk+-694b209094c8bff90eca7beae911982af822224e.tar.gz |
button: don't use focus-line-width
-rw-r--r-- | gtk/gtkbutton.c | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/gtk/gtkbutton.c b/gtk/gtkbutton.c index 52673d463c..75001c5380 100644 --- a/gtk/gtkbutton.c +++ b/gtk/gtkbutton.c @@ -1694,18 +1694,14 @@ gtk_button_get_full_border (GtkButton *button, GtkBorder *full_border) { GtkBorder default_border, padding, border; - int focus_width; gtk_button_get_props (button, &default_border, NULL, &padding, &border); - gtk_style_context_get_style (context, - "focus-line-width", &focus_width, - NULL); - full_border->left = padding.left + border.left + focus_width; - full_border->right = padding.right + border.right + focus_width; - full_border->top = padding.top + border.top + focus_width; - full_border->bottom = padding.bottom + border.bottom + focus_width; + full_border->left = padding.left + border.left; + full_border->right = padding.right + border.right; + full_border->top = padding.top + border.top; + full_border->bottom = padding.bottom + border.bottom; if (gtk_widget_get_can_default (GTK_WIDGET (button))) { |