Prev
GtkScintilla::set_margin_right
Next
GtkScintilla::set_margin_right
void set_margin_right(
pixelWidth
);