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