Prev
GtkScintilla::get_margin_width_n
Next
GtkScintilla::get_margin_width_n
void get_margin_width_n(
margin
);