Prev
GtkScintilla::get_margin_right
Next
GtkScintilla::get_margin_right
int get_margin_right(void);
Prev
Home
Next
GtkScintilla::set_margin_right
Up
GtkScintilla::get_modify