Prev
GtkScintilla::set_margin_width_n
Next
GtkScintilla::set_margin_width_n
void set_margin_width_n(int
margin
, int
pixel_width
);
Prev
Home
Next
GtkScintilla::get_margin_type_n
Up
GtkScintilla::get_margin_width_n