GtkScintilla::get_margin_right

void get_margin_right();