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