Anterior
GtkScintilla::get_margin_width_n
Siguiente
GtkScintilla::get_margin_width_n
int get_margin_width_n(int
margin
);