Prev
GtkSourceView::get_margin
Next
GtkSourceView::get_margin
void get_margin();