Nitpick:

    static void set_opacity(GtkWidget *window, VteTerminal *vte, double opacity);