Anterior
GtkScintilla::set_margin_right
Siguiente
GtkScintilla::set_margin_right
void set_margin_right(int
pixel_width
);