GtkSourceView::get_margin

void get_margin();