gtk_widget_set_margin_end too new as highlighted in #commitcomment-7689638
\#commitcomment-7689638 gtk_widget_set_margin_end not supported by older versions of GTK

gtk_widget_set_margin_end  substitued with gtk_widget_set_margin_right