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