@@ -5781,7 +5781,7 @@ gtk_widget_ensure_style_context (GtkWidget *widget) /* And some others out of the blue */ gtk_style_context_set_gtype (context, G_OBJECT_TYPE (widget)); - /* gtk_style_context_set_param_int (context, "radius", 5); */ + gtk_style_context_set_param_int (context, "radius", 7); } } gtk/gtkwidget.c 1e9588843e029d64f2373c7595c595d26c330bfd Carlos Garnacho carlosg@gnome.org http://github.com/garnacho/gtk-roles-and-siblings/commit/44ed9b3bea55a29d0bda408ec12b9f23f42fa3db 44ed9b3bea55a29d0bda408ec12b9f23f42fa3db 2009-02-19T07:11:35-08:00 2009-02-19T07:11:35-08:00 Add some radius now that rounded buttons look nicer. a1aadcbda30ad02edcd479f66c1895cfb886521f Carlos Garnacho carlosg@gnome.org