a2cb38b382
gdk_cairo_set_source_rgba() is a convenience function which was added to GTK+-3.0 after the port to GtkStyleContext, so we ended up using cairo_set_source_rgba() instead. Save a couple of lines ...