GtkScintilla::get_margin_right

int get_margin_right(void);