GtkSourceView::set_margin

void set_margin(margin);