Prev
GtkScintilla::set_margin_width_n
Next
GtkScintilla::set_margin_width_n
void set_margin_width_n(
margin
,
pixelWidth
);