Prev GtkScintilla::get_margin_width_n Next

GtkScintilla::get_margin_width_n

int get_margin_width_n(int margin);

Prev Home Next
GtkScintilla::set_margin_width_n Up GtkScintilla::set_margin_mask_n