Prev GtkScintilla::set_margin_left Next

GtkScintilla::set_margin_left

void set_margin_left(int pixel_width);

Prev Home Next
GtkScintilla::get_line_count Up GtkScintilla::get_margin_left