gtk_widget_set_margin_end too new as reported in #commitcomment-7689638

#commitcomment-7689638 gtk_widget_set_margin_end not supported by older versions of GTK