Prev
GtkScintilla::get_margin_right
Next
GtkScintilla::get_margin_right
void get_margin_right();