GtkScintilla::set_scroll_width

void set_scroll_width(pixelWidth);