Hi Jasper,
Nothing really important, I've added
GTK_WIDGET_SET_FLAGS ("gtk_button", GTK_CAN_DEFAULT);
for all "gtk_buttons" that should have it. W/out it, the buttons can
really look odd with some themes.
Cheers
--
Olivier Fourdan <fourdan at xfce.org>
http://www.xfce.org