Method GTK2.SourceView()->get_margin()

Method get_margin

int get_margin()

Description

Gets the position of the right margin.