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