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