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