Anterior
GtkScintilla::set_margin_width_n
Siguiente
GtkScintilla::set_margin_width_n
void set_margin_width_n(int
margin
, int
pixel_width
);