GtkScintilla::set_margin_right

void set_margin_right(pixelWidth);