Adapt to the API change in inf_text_gtk_buffer_set_fade

This simplifies the code, since we do not need to determine the background
color anymore before we can set the alpha value.