Anterior
GtkScintilla::get_margin_right
Siguiente
GtkScintilla::get_margin_right
int get_margin_right(void);