gtk_widget_set_margin_end for whom has GTK 3.12
cleaning