Prev
GtkScintilla::get_margin_left
Next
GtkScintilla::get_margin_left
int get_margin_left(void);
Prev
Home
Next
GtkScintilla::set_margin_left
Up
GtkScintilla::set_margin_right