Prev GtkScintilla::set_margin_sensitive_n Next

GtkScintilla::set_margin_sensitive_n

void set_margin_sensitive_n(int margin, int sensitive);

Prev Home Next
GtkScintilla::get_margin_mask_n Up GtkScintilla::get_margin_sensitive_n